GBT18138.1-2000

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