GB T 18137.1-2000 信息技术 开放系统互连 ACSE协议一致性测试套 第1部分 测试套结构和测试目的.pdf

《GB T 18137.1-2000 信息技术 开放系统互连 ACSE协议一致性测试套 第1部分 测试套结构和测试目的.pdf》由会员分享，可在线阅读，更多相关《GB T 18137.1-2000 信息技术 开放系统互连 ACSE协议一致性测试套 第1部分 测试套结构和测试目的.pdf（19页珍藏版）》请在麦多课文档分享上搜索。

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、中的用户数据是 原语中的用户数据是 原语中的用户数据等待 状态测试组目标测试 对 原语上无效 的反映测试目的关联状态测试组目标测试 对 原语或 原语上无效的反映测试目的是 原语中的用户数据是 原语中的用户数据是 原语中的用户数据是 原语中的用户数据是 原语中的用户数据是 原语中的用户数据是 原语中的用户数据是 原语中的用户数据冲突 是联系发起者的状态测试组目标 测试 对 原语上无效 的反映测试目的冲突 是联系响应者的状态测试组目标 测试 对 原语或 原语上无效 的反映测试目的是 原语中的用户数据是 原语中的用户数据是 原语中的用户数据是 原语中的用户数据是 原语中的用户数据是 原语中的用户数据是 原语中的用户数据是 原语中的用户数据附录提示的附录与 的对照表