GB T 18138.2-2000 信息技术 开放系统互连 表示层一致性测试套 第2部分 ASN.1基本编码测试套结构和测试目的.pdf

《GB T 18138.2-2000 信息技术 开放系统互连 表示层一致性测试套 第2部分 ASN.1基本编码测试套结构和测试目的.pdf》由会员分享，可在线阅读，更多相关《GB T 18138.2-2000 信息技术 开放系统互连 表示层一致性测试套 第2部分 ASN.1基本编码测试套结构和测试目的.pdf（33页珍藏版）》请在麦多课文档分享上搜索。

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、上溢内容域下溢无内容结束标志长度规则错误无效标记测试组目标检查带无效标记的子组第二个标记的八位位组是非期望标记第二个标记的八位位组是测试组目标检查包含长格式标记的值 该标记的第二个八位位组以十六进制表示为 标记必须用可能的最少八位位组编码非期望标记测试组目标检查 该 最外层的标记未在 规范中定义标记域上溢测试组目标检查带标记域的 该标记域在该 中没有结束长度域上溢测试组目标检查带长度域的 该长度域在该 中没有结束内容域上溢测试组目标检查包含构造成员的 该构造成员各子项的长度之和超过了该构造成员的长度值子组位串八位位组串序列集合位串测试组目标检查其位串值上溢的内容域八位位组串测试组目标检查其八位

38、位组串值上溢的内容域序列测试组目标检查其序列值上溢的内容域测试组目标检查其 值上溢的内容域集合测试组目标检查其集合值上溢的内容域测试组目标检查其 值上溢的内容域内容域下溢测试组目标检查包含构造成员的 该构造成员各子项的长度之和小于该构造成员的长度值子组位串八位位组串序列集合位串测试组目标检查其位串值下溢的内容域八位位组串测试组目标检查其八位位组串值下溢的内容域序列测试组目标检查其序列值下溢的内容域测试组目标检查其 值下溢的内容域集合测试组目标检查其集合值下溢的内容域测试组目标检查其 值下溢的内容域无内容结束标志测试组目标检查包含以不定长度编码的成员但该成员没有相应的内容结束标志的子组位串八位位

39、组串序列集合位串测试组目标检查位串八位位组串测试组目标检查八位位组串序列测试组目标检查序列测试组目标检查集合测试组目标检查集合测试组目标检查长度规则错误测试组目标检查 对 的反应该 包含与长度八位位组编码规则相抵触的长度编码子组原语长度不定布尔值长度不为原语长度不定测试组目标检查对原语使用不定长度编码的情况布尔值长度不为测试组目标检查布尔值长度不为 的情况无效的 结构测试组目标 检查 对 的反应该 尽管是依据 基本编码规则编写的但其的结构却是无效的子组成员未定义成员缺失成员重复类型未定义成员未定义测试组目标检查 该 包含未定义成员的结构例如成员未在抽象语法定义子组序列集合枚举类型序列测试组目标

40、检查包含未定义成员的序列注 这也包括成员顺序有错的情况集合测试组目标检查包含未定义成员的集合枚举类型测试组目标检查包含未定义成员的枚举类型成员缺失测试组目标检查 该 的必要成员缺失子组序列集合序列测试组目标检查必要成员缺失的序列集合测试组目标检查必要成员缺失的集合成员重复测试组目标检查 该 包含重复定义的成员子组序列集合序列测试组目标检查包含重复成员的序列集合测试组目标检查包含重复成员的集合类型未定义测试组目标检查 该 包含未定义 类型的结构例如包含未在 中定义的通用标记子组序列集合序列测试组目标检查包含未定义 类型的序列集合测试组目标检查包含未定义 类型的集合无效的 内容测试组目标检查 对

41、的反应 该 包含的值超出了 或相关抽象语法中指定的该类型的范围注 对于 本组仅与第 章和第 章中指定的类型有关子组测试组目标检查字符串 其值不是 的值测试组目标检查字符串 其值不是 的值测试组目标检查字符串 其值不是 的值测试组目标检查字符串 其值不是 的值测试组目标检查字符串 其值不是 的值测试组目标检查字符串 其值不是 的值测试组目标检查字符串 其值不是 的值测试组目标检查字符串 其值不是 的值测试组目标检查字符串 其值不是 的值测试组目标检查字符串 其值不是 的值无效类型编码测试组目标检查 对 的反应该 包含无效的类型编码子组整型无效位串无效客体标识符无效标记的 类型长度为标记的 类型长

42、度为整型无效测试组目标检查 对无效的整型编码的反应子组正值负值最少数目的八位位组正值测试组目标检查整数值 其前 位为全 该整数值必须用可能的最少数目的八位位组编码负值测试组目标检查整数值 其前 位为全 该整数值必须用可能的最小数目的八位位组编码最少数目的八位位组测试组目标检查 对 的反应该 中包含的整数没有用最小数目的八位位组编码位串无效测试组目标检查 对 的反应该 包含不符合特定编码规则的位串编码子组未使用位超过 位空位串后跟八位位组未使用位超过 位测试组目标检查有超过 位未使用位的位串空位串后跟八位位组测试组目标检查后跟八位位组的空位串客体标识符无效测试组目标检查 对客体标识符值的反应 该客体标识符中有一个子标识符其前八位为十六进制的 该子标识符必须用可能的最少的八位位组编码标记的 类型长度为测试组目标检查 对标记的 类型的反应该类型的外在标记后跟的长度值为标记的 类型长度为测试组目标检查 对标记的 类型的反应 该类型的外在标记后跟的长度值为