当前位置 >首页 > 标准信息

全文阅读 全文下载 章节阅读

基本信息

【标准号】: GJB 2765.3-98
【中文名称】: 数据网协议一致性测试树表组合表示法
【英文名称】: Protocol conformance testing for networks The tree and tabular combined notation(TTCN)
【发布时间】: 1996-10-03
【实施时间】: 1997-05-01
【有效性】: 有效
【起草人】: 程天德;尹浩;李影;韩颖;李勇;顾晓呜;徐启建;李腊元;曹金文;吴承荣;臧云峰;鲍珞;
【起草单位】: 总参谋部第六十一研究所
【提出单位】: 总参谋部通信部
【归口单位】: 总参谋部第六十一研究所
【批准单位】: 国防科学技术工业委员会
【分类】
【备案号】
【自动关键词】: 测试例;静态语义;测试套;测试步;计时器

【范围】

本标准为一致性测试套定义了一个非形式的测试标记法，叫做树表组合表示法(TTCN)。它独立于测试方法、层次及协议，并反映了在C.JB 2765.1—96与C.J-B 2765.2—96中定义的抽象测试方法学。本标准也规定了在一个或多个OSI标准并独立于系统的一致性测试套规范中使用TTCH 的要求，并提供了指南。规定了两种标记形式：一种是供人阅读的形式，适用于为OSI协议产生一致性测试套标准；另一种是机器可处理形式，适用于计算机系统中及计算机系统之间的处理。本标准适用于一致性测试例的规范，这些测试例可用控制和观察协议数据单元及抽象服务原语抽象地表达出来，然而，对一些协议，可能需要用一些无法用这些方法表达的测试例。这种测试例的规范超出了本标准的范围，虽然那些测试例可能需要被包括在一个一致性测试套标准中。注1-例如，一些关于一个应用服务的静态一致性要求可能需要指定应用专有的测试技术。本标准说明了测试套标准可以根据已规定的关于测试套的一致性实现的要求包括TTCN 测试套操作语义。注：2-GJB 2765.1—96—CJB2765.5—96规定了包括ETS导出在内的测试实现的要求。下述内容不在本标准范围内： a) 多对等体或物理层协议的一致性测试套规范。 b) TTCN与形式描述技术之间的关系。 c) 有多于一个的行为描述要并发运行的测试例的规范。注：3-并行树的使用及它们之间的同步将被本标准的进一步修改版所覆盖。 d) 从抽象测试套中产生可执行测试套(ETS)的实现手段。

【与前一版的变化】

包含术语

抽象服务原语：
抽象测试方法学：
抽象测试例：
抽象测试方法：
抽象测试套：
一致性记录：
一致性测试套：
协调测试法：
分布式测试法：
可执行测试例：
可执行测试例错误：
可执行测试套：
失败裁决：
空闲测试状态：
被测实现：
不确定裁决：
非法测试事件：
局部测试方法：
下测试器：
测试手段：
通过裁决：
PICS书写形式：
PIXIT书写形式：
协议实现_致性申明：
协议实现的测试附加信息(PIXIT)：
控制观察点：
远程测试方法：
稳定测试状态：
标准化抽象测试套：
静态-致性要求：
语法上的非法测试事件：
被测系统：
测试体：
测试例：
测试例错误：
测试协调规程：
测试事件：
测试组：
测试组目标：
测试实验室：
测试管理协议：
测试结果：
(测试)后序：
(测试)前序：
测试目的：
测试实现：
测试实现者：
测试步：
测试套：
测试系统：
上测试器：
(测试)裁决：
测试状态：
应用层：
协议数据单元：
服务访问点：
会话层：
子网：
传送语法：
运输层：
位串类型：
字符串类型：
枚举类型：
外部类型：
对象标识符：
八位串类型：
实数类型：
选择类型：
序列类型：
SEQRENCE-OF类型：
集合类型：
SET-OF类型：
子类型：
编码：
附加机构：	一种TTCN语句，以使一个测试步附加在一个调用树上。
基本约束：	为ASP或PDU类型定义中的每个域说明了-组缺省值。
基本类型：	一个类型,在测试套中定义的另一个类型可以从它导出。
行为行：	动态行为表中的一个条目，代表一个测试事件或其它TTEN语句连同相应的标号，裁决，约束参照及注释。
行为树：	一组测试事件序列集以及其它TTCN语句的说明。
空条目：	在一个修正的精简约束表中，一个约束的参数或域为空条目表示该约束值将是继承的。
调用树：	一个带有附加测试步的行为树。
精简约束表：	关于ASP、PDU或结构化类型的一组约束的说明，组织成一个单一表。
精简测试例表：	关于给定的测试组的一套测试例的说明，组织成一个单一表。
约束部分：	这部分的TTCN测试套是关于送给IUT的ASP参数与PDU域的值，及从IUT收到的ASP 参数与PDU域的条件。
约束参照：	一个相于约束的参照，在行为行中给出。
说明部分：	这部分的TTCN测试套是关于所有测试套中用到的非预定义的成分的定义和／或说明。
缺省行为：	事件与其它TTCN语句，它们可能在相应树的任何层次上发生，并在缺省行为表示中指出。
缺省组：	一个命名的缺省行为集。
缺省组参照：	说明-个缺省在缺省库中逻辑位置的路径。
缺省标识符：	唯-标识-个缺省的名字。
缺省库：	在一个测试套中的缺省行为集合。
缺省参照：	在一个测试例或测试步表中对缺省库中的一个缺省的参照。
导出路径：	一个标识符，包含一个基本约束标识符再连一个或多个修正约束的标识符，这些标识符以点号分隔，并以点号结束。
动态链：	从一个ASP参数或PDU域的约束说明到另一个PDU的约束说明的链接，用参数化手段实现链接上的PDU将写在-个行为行的约束参照栏中。
动态部分：	这部分的TTCN测试套是关于测试例,测试步与缺省动态行为描述的规范。
隐含发送事件：	一个用于远程测试方法的机制，用以说明该IUT。应当发起一个特定的PDU或ASP,，
缩进层次：	指示一个行为描述的树结构。通过一个行为描述中的缩进格数能反映该树结构。
局部树：	一个定义在与它的调用树同-表格中的行为树
修正约束：	一个为ASP或PDU定义的约束，它是在原来已有的基本约束中做一些修改而得到的。
操作语义：	解释-个TIEN行为树执行的语义。
否则事件：	以可控的方式处理非预见的测试事件的TTCN机制。
概述部分：	这部分的ITCN测试套是关于测试套的结构的概述，还包括测试步库(如果有)结构，缺省库结构(如果有)，及相关的测试例和／或测试组的选择表达式(如果有)的组合。这部分也提供测试例，测试步及缺小的索引。
预备结果：	一个在测试例结束之前记录的结果，表示测试例相关部分是否通过，失败或无法确定。
伪事件：	一个伪事件是一个TTCN表达式或计时器操作，它出现在行为描述的语句行中，但没有任何相联系的事件。
限定事件：	一个带有相联系的布尔表达式的事件。
接收事件：	在一个命名或隐含的PCO上接收到一个ASP或PDU的事件。
根树：	一个测试例的主行为树，产生在进入测试例的层次上。
发送事件：	在-个命名的或隐含的PCO上发送ASP或PDU。
供选集：	在同一缩进层上并属于同一前辈结点的TTCN语句。它们代表在测试例执行中相关点上可能的事件，伪事件及机构。
单一约束表：	一个给定类型的单一ASP或PDU的约束声明，组织在一个表中。
快照语义：	一个排除测试例运行时间影响的语义模型，它用测试环境的快照定义，在期间环境相当于被冻结在一个指定的阶段。
特定值：	一个TTCN值，不包括任何匹配机制或未定值变量。
静态链：	从一个ASP参数或PDU域的约束说明到另一个PDU的约束说明的链接，通过显式地引用一个约束作为它的值的方法实现。
静态语义：	限定TTCN语法使用的语义规则。
结构化类型：	一个或多个ASP参数或PDU域组成的集合。这些ASP参数或PDU域可能出现在一个或多个ASP或PDU类型定义中。这些定义是在一个单独的说明中的，并可用来规定ASP或PDU 中的平板结构或子结构的一部分。
测试例标识：	一个测试例的唯一标识名。
测试例变量：	在测试套中全局定义的一组变量，但它们的值只在一个测试例运行时才保持。
测试组参照：	说明测试例在ATS结构中逻辑位置的-个路径。
测试步组：	-个命名的测试步集合。
测试步组参照：	说明-测试步在测试步库中的逻辑位置的-个路径。
测试步标识：	一个测试步的唯一名。
测试步库：	一个在测试套中的测试步动态行为描述的集合，它们不是本地测试步。
测试步目的：	一个非形式的解说，以说明该测试步解决什么。
测试套常量：	一个常量集中的一个，它不是从PICS或PIXIT导出的，它的值在整个测试套中恒定。
测试套参数：	一套从PICS与PIXTT中导出的常量中的一个，它们对测试套全局地参数化。
测试套变量：	在测试套中全局说明的变量之一，它们在测试例间保持值。
超时事件：	一个用在行为树内的事件以检查特定的计时器到期。
树附加：	一种方法，以表示一个在别处(无论在当前表格任一点上，或作为测试步放于测试步库中) 定义的行为树被包括在当前行为树中。
树头：	一个局部树的标识，后随-张此树的可选形参并列表。
树标识：	一个局部树的唯一名。
树叶：	一个行为树或测试步中的TTCN语句，它没有已说明的跟随行为。
树结点：	单个TTCN语句。
树标记法：	用于TTCN中以树来表示测试例的标记法。
TTCN语句和 TTCN：	一个事件，一个假事件或在行为描述中说明的机构。
非预见测试事件：	在测试套中，一个未作为测试事件识别在预见测试结果中的测试事件。通常用OTHER— WISE事件来处理。
非限定事件：	一个不带相联系的布尔表达式的事件。

包含缩略语

ATS：	抽象测试套
ASP：	抽象服务原语
ETS：	可执行测试套
IUT：	被测实现
LT：	下层测试器
MOT：	测试手段
PCO：	控制观察点
PICS：	协议实现-致性申明
PIXIT：	协议实现的测试附加信息
SUT：	被测系统
TMP：	测试管理协议
UT：	上测试器
DS：	分布式单层(测试方法)
IS：	局部单层(测试方法)
RS：	远程单层(测试方法)。
TICN：	树表结合表示法
ASN.1：	抽象语法标记法1
BNF：	TTCN中用的扩展巴科斯范式
FDT：	形式描述技术
FIFO：	先进先出
OSI：	开放系统互连
PDU：	协议数据单元
SAP：	服务访问点
TCP：	测试协调规程
TTCN.GR：	树表组合表示法，图表形式
TTCCN.MP：	树表组合表示法，机器处理形式