1、中华人民共和国国家标准信息技术开放系统互连表示层一致性测试套第 部分表示协议测试套结构和测试目的发布 实施国家质量技术监督局 发布前言本标准等同采用国际标准 信息技术开放系统互连表示层一致性测试套第 部分表示协议测试套结构和测试目的由于 中正文与附录的表号是连续编号 而等同采用为我国国标 中正文与附录的表号是分别编号即 的表 表 分别变为 的表 表 所以 本标准所引用的上述表号按 作了相应更改在 信息技术开放系统互连表示层一致性测试套 总标题下目前包括以下两个部分第 部分 即 表示协议测试套结构和测试目的第 部分 即 基本编码测试套结构和测试目的本标准由中华人民共和国信息产业部提出本标准由信息
2、产业部电子标准化研究所归口本标准起草单位清华大学电子标准化研究所本标准主要起草人徐明伟陈立宇夏宜吴建平 郑洪仁前言国际标准化组织 和 国际电工委员会 是世界性的标准化专门机构 国家成员体 它们都是 或 的成员国通过国际组织建立的各个技术委员会参与制定针对特定技术范围的国际标准 和 的各技术委员会在共同感兴趣的领域内进行合作 与 和 有联系的其他官方和非官方国际组织也可以参与国际标准的制定工作对于信息技术 和 建立了一个联合技术委员会 即 由联合技术委员会提出的国际标准草案需分发给国家成员体进行表决 发布一项国际标准 至少需要 的参与表决的国家成员体投票赞成国际标准 是由 信息技术 联合技术委员
3、会的 开放系统互连数据管理和开放分布式处理 分委员会制定的在 信息技术开放系统互连表示层一致性测试套总标题下目前包括以下两个部分第 部分 表示协议测试套结构和测试目的第 部分 基本编码测试套结构和测试目的引言一致性测试的目的是增加不同协议实现之间相互工作的可能性尽管单独依靠一致性测试并不能保证相互工作 一致性测试通过确定某实现具有的所需功能以及在典型通信实例中与协议规范相一致的行为 来增加每一个实现与协议规范相符的可信度相关的标准化一致性测试的基本目的是根据相关的协议标准建立统一的一致性测试和无歧义的评价规程来检查协议实现的操作能力 这些测试套的标准化将使不同测试实验室得出的测试结果具有可比性
4、并能够被普遍地接受 从而减少对同一个表示协议实现所进行的重复测试本标准规定了一个测试套结构和一组测试目的供测试套的规定者使用作为所有已标准化的一致性测试套的基础来评价与 即面向连接的表示协议规范 的一致性基于本标准的一致性测试套是由以下人员设计的提供对表示协议一致性测试服务的测试实验室为上述测试实验室提供测试手段的测试实现者表示协议的实现者中华人民共和国国家标准信息技术开放系统互连表示层一致性测试套第 部分 表示协议测试套结构和测试目的国家质量技术监督局 批准 实施范围本标准根据 为除 方式以外的表示层协议规定了测试套结构和测试目的 本标准并不规定这些一致性测试是如何实现或使用的也不规定测试结
5、果是如何表示或使用的注 不同测试方法的选择可能会限制测试目的的实现本标准适用于测试表示层协议实现的一致性测试套 这些表示层协议实现对面向连接的会话服务进行操作并声称符合本标准不包括对相关协议实现的一个通用的性能可靠性或健壮性的评价 也不包括对协议设计本身的评价引用标准下列标准所包含的条文 通过在本标准中引用而构成为本标准的条文 本标准出版时所示版本均为有效 所有标准都会被修订使用本标准的各方应探讨使用下列标准最新版本的可能性信息技术开放系统互连基本参考模型 第 部分基本模型信息处理系统开放系统互连 面向连接的基本会话服务定义信息处理系统开放系统互连 服务约定信息处理系统开放系统互连 面向连接的
6、表示服务定义信息处理系统开放系统互连 面向连接的表示协议规范信息处理系统开放系统互连 抽象语法记法一 规范信息处理系统开放系统互连 抽象语法记法一 基本编码规则规范信息技术开放系统互连一致性测试方法和框架 第 部分 基本概念信息技术开放系统互连一致性测试方法和结构第部分抽象测试套规范定义本标准采用下列定义参考模型的定义本标准采用 中定义的下列术语具体语法表示连接表示层表示协议控制信息表示协议数据单元表示服务表示服务访问点表示服务数据单元会话连接会话层会话服务会话服务访问点会话服务数据单元会话服务提供者传送语法服务约定 常规 定义本标准采用 中定义的下列术语证实原语指示原语原语请求 原语响应 原
7、语服务提供者服务用户会话服务定义本标准采用 中定义的下列术语接受者接受 用户被呼 用户主呼 用户有条件的参数建议参数接收 用户请求者请求 用户选定参数发送 用户令牌表示服务定义本标准采用 中定义的下列术语抽象语法抽象语法名缺省上下文已定义上下文集合破坏型扰乱功能单元活动间已定义上下文集合非破坏型常规方式表示上下文表示上下文标识表示数据值传送语法名方式表示协议定义本标准采用 中定义的下列术语接受者无效的表示协议数据单元发起者本地事态原始活动标识符表示上下文标识符协议差错请求者响应者自定界同步点标识符有效表示协议数据单元一致性测试方法和框架定义本标准采用 中定义的以下术语基本互连测试行为测试的能力
8、能力测试一致性测试一致性测试套动态一致性要求被测实现不合适测试事件下测试器形式表协议实现一致性声明语义无效测试事件静态一致性要求语法无效测试事件被测系统测试组测试目的缩略语本标准采用 的表 表 表 中定义的下列缩略语数据单元表示协议数据单元表示服务数据单元会话服务数据单元表现协议数据单元的类型变更上下文变更上下文确认异常释放提供者异常释放用户连接表示连接表示接受连接表示拒绝重新同步重新同步确认能力数据能力数据确认表示数据加速数据表示特权数据其他缩略语抽象语法记法一 见已定义上下文集合功能单元被测实现下测试器开放式系统互连协议实现一致性声明表示协议控制信息表示协议机表示服务表示服务访问点用户 表
9、示服务用户会话服务会话服务访问点被测系统测试套结构及测试目的一致性遵从本标准的一般或抽象测试套应该由一组测试例组成 该组测试例与第 章到第 章规定的测试目的集合或子集相对应明确地表明所使用的测试目的覆盖所有在第 章到第 章中规定的相关测试目的 并适用于该测试套所选择的覆盖范围和测试方法使用一个测试套结构该结构是第 章规定的测试套结构的适当子集 或全集使用第 章中规定的命名约定来命名其测试组和测试例 这种命名约定使第 章到第 章中使用的测试组和测试例的名字在具有相关性时也能够被使用对于第 章到第 章如果在选中的测试目的和用于测试例选择的 形式表之间存在一定关系的话 必须保持规定的关系遵从测试方法
10、引言本标准使用的测试方法遵从 的要求和 与抽象测试套之间的关系本标准中的测试目的来源于 即表示协议标准 这个来源重点为测试协议的一致性方面标识测试目的然而对于使用何种测试方法这些测试目的应如何实现 以及在测试时需注意的实践或经济约束未加以考虑应注意本标准的意图是表示协议的所有测试套都应包括对本标准中提到的所有测试目的的测试然而抽象测试套的制定者也可按照 第 章的要求将本标准的测试目的划分成子集测试选择测试套的结构是经过组织的 这样才有可能根据 的内容选择适当的测试例注 如果 表示忽略某项必备的特性 那么与该特性相关的测试例将不被执行在一致性测试报告中将明确指出该实例的不一致性判决每个抽象测试例
11、的判决是根据 的能力与表示协议要求的行为的一致性 以及对 中所列功能和参数值的支持来确定的 一致性评价是基于各个判决表示协议标准 以及的 的测试套的覆盖范围测试目的是根据 中 测试组结构 和 测试目的 来规定和组织的从而可获取对可能状态事件 参数值有效 语法无效 不合适变化的恰当的覆盖范围测试套结构表示协议的测试套由测试组和测试例组成 每个测试例有一个精确定义的目的 在测试套中 使用了嵌套测试组以提供按逻辑排序的测试例 测试组可以按任意深度嵌套 它们可用于帮助规划 开发理解或执行测试套本测试套主要包括三个测试组能力测试 它用于验证表示协议实现的可观察能力在 表示协议规范的 中陈述的静态一致性要
12、求和 方面的有效性有效行为测试应与 的一致当测试器工作在有效方式下时它测试协议实现与表示协议规范的 中规定的动态一致性要求相符的程度 这些测试提供了对 中的支持的特性的精确评价无效行为测试 当测试器发送的测试事件违反 中至少一条一致性要求时它测试该协议实现与 表示协议规范的 中规定的动态一致性要求相符的程度 这些测试组可以划分成以下几个子组语法错误测试这里测试器发送的测试事件中包含 不允许的 定义语义错误测试这里测试器发送的测试事件的语义与 所允许的不一致不合适测试 这里测试器生成的测试事件在 不允许的时刻发生每个测试组都可进一步分成许多更低级的测试子组 主要测试组的完整结构在图 和图 中给出
13、注 在测试例树中每一项后面括号中的数字指示该测试组及其测试目的可在本标准中的相应章条中找到表示测试套有效行为测试 见图无效行为测试语法无效测试语义无效测试不合适测试 参数变化变化状态 事件交点能力测试 上下文管理功能单元上下文恢复功能单元核心功能单元图 表示测试套结构有效行为测试参数变化接收者发送者变化编码变化 内容编码用户数据长度编码事件状态交点数据传送令牌处理同步活动管理和异常处理重新同步上下文管理连接释放夭折连接释放正常连接建立图 表示有效行为测试命名约定本章描述了测试组目标和测试目的中所用到的形式表 两种用到的形式表描述如下第一种形式表用于含嵌套测试组的测试组 它描述了该测试组的目标并
14、列出了它下面的测试子组 该形式如下第 项 是必备的 它是该测试组在本标准中的正式章条号第 项 是必备的 它是该测试组的符号名 注意该名字的最后一项是以全称给出的后面接着一个缩写第 项是可选的引用它指向基本标准中的相关章条 如果对于该测试组没有合适的引用 该项可省略第 项是必备的它是该测试组目标的自然语言陈述第 项由该测试组所包含的下一级测试子组的引用组成第二种形式表用于在其下只有测试目的的测试组 它描述该测试组目标并列出组成该测试组的测试目的 该形式如下第 项 是必备的它是该测试组在本标准中的正式章条号第 项 是必备的它是该测试组的符号名 注意该名字的最后一项是以全称给出的 后面接着一个缩写第
15、 项是可选的引用 它指向基本标准中的相关章条 如果对于该测试组没有合适的引用 该项可省略第 项是必备的它是该测试组目标的自然语言陈述第 项是一个用自然语言表示的该测试组的测试目的列表优先级本标准定义了表示协议 的测试目的 本标准并不打算与 抵触或对其提供解释 如果存在本标准与 相抵触的情况那么认为本标准是错的 具有高优先级注 任何人在使用标准时 若遇到不准确或模棱两可的情况应该立即通知我国的标准化主管部门以便使该情况得到调查并采取适当的措施基本互连测试提供对 的有限测试以决定是否存在足够的一致性使互连成为可能如果要求基本互连测试可以使用下面的能力测试测试组目标为每个静态一致性要求提供有限的测试
16、以检查 的什么能力可以被观察并检查这些可观察到的能力相对于静态一致性需求和 是否有效子组核心功能单元上下文管理功能单元上下文恢复功能单元核心功能单元测试组目标检查表示核心功能单元中的规程子组连接建立连接夭折连接建立测试组目标检查连接建立规程子组发起者响应者发起者测试组目标检查 的作为连接发起者的能力测试目的检查 能够产生一个有效的 收到一个有效的 时不使连接夭折 并且建立起连接检查 能够产生一个有效的 收到一个有效的 时不使连接夭折 并且未建立连接响应者测试组目标试图建立一个与 的连接来检查它作为连接响应方的能力测试目的检查 用一个有效的 响应一个有效的并且建立起连接检查 用一个有效的 响应一
17、个有效的并且未建立连接连接夭折测试组目标检查 实现了基本标准中指出的事件的连接夭折规程测试目的检查 在和 建立的表示连接上对无效的 的响应 并且在此之后释放连接检查 在已建立的表示连接上能够生成一个有效的 并且在此之后释放连接上下文管理功能单元测试组目标检查当上下文管理功能单元被选择 但是上下文恢复功能单元没有被选择时 的规程子组上下文变更重新同步上下文变更测试组目标检查上下文变更规程子组发起者响应者发起者测试组目标 检查 作为连接发起者 在上下文附加列表或者上下文删除列表中所有的表示上下文标识符为奇数时 产生有效的 以及在这些上下文标识符为偶数时正确响应有效的它还应该有相应的 集合测试目的检
18、查 能产生一个有效的检查 用一个有效的 响应一个有效的响应者测试组目标 检查 作为连接响应者 在上下文附加列表或者上下文删除列表中所有的表示上下文标识符为奇数时 产生有效的 以及在这些上下文标识符为偶数时正确响应有效的它还应该有相应的 集合测试目的检查 能产生一个有效的检查 用一个有效的 响应一个有效的重新同步测试组目标检查在已定义的上下文集合上 的影响测试目的检查 能够产生一个带有合适的表示上下文标识符列表参数的有效的 并且具有对应于该参数值的 集合检查 以一个有效的 响应一个有效的 并且具有对应于的表示上下文标识符列表参数的 集合上下文恢复功能单元测试组目标检查 能够建立一个带有协商上下文
19、恢复功单元的表示连接注 上下文恢复功单元不涉及任何附加 的使用 但是它影响 的设置 因为这个行为不能被外部观察所以它在重新同步和活动管理中被详细检查子组作为发起者作为响应者作为发起者测试组目标检查 发起表示连接的能力测试目的检查 请求一个连接的能力 该连接带有被选择的表示上下文恢复 会话同步 主或次和会话重新同步功能单元检查 请求一个连接的能力 该连接带有被选择的表示上下文恢复和会话活动管理功能单元作为响应者测试组目标检查 接受表示连接的能力测试目的检查 接受一个连接的能力 该连接带有被选择的表示上下文恢复 会话同步 主或次和会话重新同步功能单元检查 接受一个连接的能力 该连接带有被选择的表示
20、上下文恢复和会话活动管理功能单元有效行为测试测试组目标行为测试在标准规定的动态一致性要求的整个范围内 应尽可能完全地测试一个实现 因为事件 事件时序和参数变化的可能组合是无穷的 所以这些测试不可能是无遗漏的 但是可以测试可能组合中一个有代表性的样本测试包括了检查 在对实际测试器的有效行为进行响应时 其行为是否有效子组状态 事件交点参数变化变化状态事件交点参考 附录 的表 到表 状态 谓词外入和外出事件分别在表和 中描述测试组目标测试在每个状态 事件交点的有效的协议行为 检查 执行 附录中为给出的状态事件交点定义的行为序列子组连接建立连接释放正常连接释放夭折上下文管理数据传送令牌处理同步活动管理
21、和异常处理重新同步连接建立参考 附录 的表测试组目标测试连接建立规程在以下状态子组参考 附录 的表测试组目标测试 对下列外入事件的反应测试目的和和和和和参考 附录 的表测试组目标测试 对下列外入事件的反应测试目的和和参考 附录 的表测试组目标测试 对下列外入事件的反应测试目的和和连接释放参考 附录 的表注 状态 不能被外部观察状态 在外部不能与状态 相区别 状态 的状态事件的交点并不导致产生外部观察的行为 因此 没有这三个状态的有效行为测试子组存在 倘若和表示上下文相关的必要判决能够令测试者满意的话 那么无论状态如何一个给定事件的外部行为是相同的 所以没有为每个状态规定独立的测试组测试组目标测
22、试状态的连接释放组的有效协议行为 测试 对下列外入事件的反应测试目的连接释放夭折参考 附录 的表测试组目标测试状态的连接释放终止组的有效协议行为 测试 对下列外入事件的反应注 倘若和表示上下文相关的必要判决能够令测试者满意的话 那么无论状态如何一个给定事件的外部行为是相同的 所以没有为每个状态规定独立的测试组测试目的上下文管理参考 附录 的表测试组目标测试上下文管理组的状态的有效协议行为子组等待等待等待 或已连接数据传送等待测试组目标测试 对以下外入事件的反应注 作为有效行为测试对 改变记录的测试仅涉及增加 的表示上下文 对记录的删除的测试仅能够从无效行为组中获得测试目的和和等待测试组目标测试
23、 对以下外入事件的反应测试目的和和等待 或测试组目标测试 对以下外入事件的反应测试目的和和已连接数据传送测试组目标测试 对以下外入事件的反应测试目的和和数据传送参考 附录 的表测试组目标测试数据传送组的状态的有效协议行为注 状态 不能被外部观察状态 在外部不能与状态 相区别 因此 没有这些状态的有效行为测试子组存在子组等待已连接数据传送等待测试组目标测试 对以下外入事件的反应测试目的和和和和和和和和和和已连接数据传送测试组目标测试 对以下外入事件的反应测试目的和和和和和和和和和和令牌处理参考 附录 的表测试组目标测试令牌处理组的状态的有效协议行为注 状态 不能被外部观察状态 在外部不能与状态
24、相区别 因此 没有这些状态的有效行为测试子组存在子组等待已连接数据传送等待测试组目标测试 对以下外入事件的反应测试目的和和有连接数据传送测试组目标测试 对以下外入事件的反应测试目的和和同步参考 附录 的表测试组目标测试同步组的状态的有效协议行为注 和一个特定同步点序列号的联系是不能被外部观察的是否存在该联系只有在测试重新同步时才能被反映出来注 状态 不能被外部观察 状态 在外部不能与状态 相区别因此 没有这些状态的有效行为测试子组存在子组等待已连接数据传送同步 等待测试组目标测试 对以下外入事件的反应测试目的和和和和和和和和同步 已连接数据传送测试组目标测试 对以下外入事件的反应测试目的和和和
25、和和和和和活动管理和异常处理参考 附录 的表测试组目标测试活动管理和异常处理组的状态的有效协议行为 以保证在状态事件交互行为后被正确设置注 状态 不能被外部观察状态 在外部不能与状态 相区别 因此 没有这些状态的有效行为测试子组存在子组等待已连接数据传送等待测试组目标测试 对以下外入事件的反应子组和和和和和和和和 或 或和和和已连接数据传送测试组目标测试 对以下外入事件的反应子组和和和和和和和 或 或和和 或 或和和和重新同步参考 附录 的表测试组目标测试重新同步组的状态的有效协议行为以保证在状态事件交互行为后 被正确设置注 状态 不能被外部观察状态 在外部不能与状态 相区别 因此 没有这些状
26、态的有效行为测试子组存在子组等待已连接数据传送等待测试组目标测试 对以下外入事件的反应测试目的和和和和和和和和已连接数据传送测试组目标测试 对以下外入事件的反应测试目的和和和和和和和和和和和和和和和和和和和和参数变化测试组目标检查 正确处理有参数变化的子组作为发送者作为接收者发送者测试组目标测试发送参数变化时 的行为子组全部可选参数部分可选参数无可选参数表示上下文定义表用户数据全部可选参数测试组目标测试当发送带有全部可选参数的 时 的行为测试目的部分可选参数测试组目标测试当发送带有部分而非全部可选参数的 时 的行为测试目的无可选参数测试组目标测试当发送不带有可选参数的 时 的行为测试目的表示上
27、下文定义表测试组目标测试当发送有表示上下文定义结果 表变化的 或者有表示上下文定义 结果表的合适参数的 时 的行为测试目的用户数据测试组目标测试当发送用户数据参数变化的 时 的行为测试目的接收者测试组目标测试 作为 接受者的行为子组全部可选参数部分可选参数无可选参数缺省参数出现缺省参数不出现表示上下文定义表简化的需求用户数据全部可选参数测试组目标测试当接收带有全部可选参数的 时 的行为测试目的部分可选参数测试组目标测试当接收带有部分而非全部可选参数的 时 的行为测试目的无可选参数测试组目标测试当接收不带有可选参数的 时 的行为测试目的缺省参数出现测试组目标测试当接收带有缺省参数的 时 的行为测
28、试目的缺省参数不出现测试组目标测试当接收不带有缺省参数的 时 的行为测试目的表示上下文表测试组目标测试当接收有表示上下文定义结果 表变化的 或有表示上下文定义 结果表的合适参数的 时 的行为测试目的简化的需求测试组目标测试当它接收比 中规定的需求少的 时 的行为测试目的用户数据测试组目标测试当它接收用户数据参数变化 时 的行为测试目的变化测试组目标测试 变化注 没有标识测试 该条只是为完整性而包括进来的编码变化测试组目标检查 接受全部有效表示协议编码子组长度编码内容编码用户数据类型编码多种编码长度编码测试组目标检查 八位位组长度的格式变化子组短格式不定格式长格式冗余长格式双格式 限定的或不定的
29、短格式测试组目标当可能时在以下 中使用短格式 不使用冗余八位位组长格式也不使用不定格式测试目的不定格式测试组目标为以下 的所有结构类型使用不定格式 当可能并且不使用冗余八位位组长格式时为全部基本类型使用短格式测试目的长格式测试组目标对于一些可以使用短格式编码的参数 在以下 中使用非冗余八位位组长格式测试目的冗余长格式测试组目标在以下 中使用冗余八位位组长格式测试目的双格式测试组目标在以下 结构类型中使用限定和非限定格式测试目的内容编码测试组目标检查八进制内容的有效编码变化子组缺省编码布尔型比特串编码八位位组串编码集合编码缺省编码测试组目标检查缺省参数协议版本的编码变化子组省略编码省略测试组目标
30、在以下 中省略参数协议版本 检查 假设数值版本测试目的编码测试组目标在以下 中编码参数协议版本的数值为版本测试目的布尔型注 没有适用的测试 该条只是为完整性而包括进来的比特串编码测试组目标检查比特串类型参数协议版本表示需求用户会话需求的编码变化子组测试组目标检查 收到 的反应测试目的基本格式最后标志位置最后标志位置比 定义长的比特串 多出的位置无零长度数据值的结构格式包括零长度数据值嵌套结构格式测试组目标检查 收到 的反应测试目的基本格式最后标志位置最后标志位置比 定义长的比特串 多出的位置无零长度数据值的结构格式包括零长度数据值嵌套结构格式测试组目标检查 收到 的反应测试目的基本格式最后标志
31、位置最后标志位置比 定义长的比特串 多出的位置无零长度数据值的结构格式包括零长度数据值嵌套结构格式八位位组串编码测试组目标检查八位位组串类型参数的编码变化 这些参数为表示选择因子简单编码数据只有当它作为一个编码 的一个参数和 表中表示数据值成员的八位位组位置变化子组基本格式构造格式零长度构造格式基本格式测试组目标检查收到下列使用基本格式的 时 的反应测试目的直接映射用户数据构造格式测试组目标检查收到下列使用结构格式的 时 的反应测试目的直接映射用户数据零长度结构格式测试组目标检查收到下列使用零长度结构格式的 时 的反应测试目的直接映射用户数据集合编码测试组目标检查集合数值 和 的编码变化子组测
32、试组目标检查收到 时 的反应测试目的按定义顺序编码集合成员按相反顺序编码集合成员测试组目标检查收到 时 的反应测试目的按定义顺序编码集合成员按相反顺序编码集合成员用户数据类型编码测试组目标检查 接受全部用户数据包的格式子组简单编码全编码简单编码测试组目标检查采用简单编码时 的反应测试目的直接映射用户数据全编码测试组目标检查采用全编码时 的反应子组单全编码多全编码单 表连续单 表连续多 表单全编码测试组目标检查接收带有全编码数据值的一个单独 列表值的 时 的反应测试目的直接映射用户数据多全编码测试组目标检查接收带有全编码数据值的多个 列表值的 时 的反应测试目的直接映射用户数据单 表测试组目标检
33、查接收 列表只有一个 值的 时 的反应测试目的直接映射用户数据连续单 表测试组目标检查接收到带有单独 列表值的相同表示上下文中全部连续 的 时的反应测试目的直接映射用户数据连续多 表测试组目标检查接收到带有多 列表值的相同表示上下文中连续 的 时 的反应其数目少于 的数目测试目的直接映射用户数据无效行为测试测试组目标行为测试在标准规定的动态一致性要求的整个范围内 应尽可能完全地测试一个实现 因为事件 事件时序和参数变化的可能组合是无穷的 所以这些测试不可能是无遗漏的 但是可以测试可能组合中一个有代表性的样本测试包括了检查 在对实际测试器的无效行为进行响应时其行为是否有效子组不合适语法无效语义无
34、效不合适测试组目标检查 响应实际测试器的不合适行为的有效行为子组状态事件交点参数变化变化状态事件交点参考 附录 的表 到测试组目标测试 对每个状态事件交点的不合适协议行为的反应子组上下文管理重新同步上下文管理参考 附录 的表测试组目标测试上下文管理中不合适协议行为子组在状态在状态在状态在状态测试组目标测试状态 不合适协议行为测试目的证实 在状态 时检测到 的到来并释放表示连接证实 在状态 时检测到 的到来并释放表示连接在状态测试组目标测试状态 不合适协议行为测试目的证实 在状态 时检测到 的到来并释放表示连接在状态测试组目标测试状态 不合适协议行为测试目的证实 在状态 时检测到 的到来并释放表
35、示连接重新同步参考 附录 的表测试组目标测试重新同步中不合适协议行为子组在状态在状态在状态在状态测试组目标测试状态 不合适协议行为测试目的证实 在状态 时检测到 的到来并释放表示连接在状态测试组目标测试状态 不合适协议行为测试目的证实 在状态 时检测到 的到来并释放表示连接在状态测试组目标测试状态 不合适协议行为测试目的证实 在状态 时检测到 的到来并释放表示连接参数变化注 没有定义测试 该条只是为完整性而包括进来的变化测试组目标测试 对一个 或会话服务的响应 其中包括了从当前 或缺省上下文中来的表示数据的值子组状态 的状态 的状态 的状态 的状态 的状态 的在状态测试组目标测试 在状态 响应
36、以下 和会话服务原语测试目的在状态测试组目标测试 在状态 响应以下 和会话服务原语测试目的在状态测试组目标测试 在状态 响应以下 和会话服务原语测试目的在状态测试组目标测试 在状态 响应以下 和会话服务原语测试目的在状态测试组目标测试 在状态 响应以下 和会话服务原语测试目的在状态测试组目标测试 在状态 响应以下 和会话服务原语测试目的语法无效测试组目标测试被包括用来检查 响应实际测试器语法无效行为的有效行为 一个 如果不符合 关于基本标准的规定和 的基本编码规则则它是语法无效的该条只是为完整而被包括进来 为语法无效测试事件的测试目的应该是源于使用中的测试目的语义无效测试组目标行为测试在标准规
37、定的动态一致性要求的整个范围内 应尽可能完全地测试一个实现 因为事件事件时序参数变化的可能组合是无穷的所以这些测试不可能是无遗漏的 但是可以测试可能组合中一个有代表性的样本测试包括检查 响应真正测试者的语义无效行为的有效行为子组连接建立语义连接释放夭折连接建立测试组目标测试 在连接建立中的反应测试目的检查 对一个 的正确反应这个 计划一个 并且包含不来自于这个有 的 的表示数据值检查 对一个 的正确反应这个 并不计划一个 并且包含不来自于这个有 的缺省上下文的表示数据值语义测试组目标测试 对不正确 语义的 的反应测试目的检查 拒绝以一个 用户数据参数传送的不来自缺省上下文的表示数据值检查 拒绝以一个非 的 当 不空时用缺省上下文 用户数据参数传送的表示数据值连接释放夭折测试组目标测试当连接释放夭折时 的反应注 没有定义测试目的 该条只是为完整性而包括进来的
