GB/T 26857.1-2011 信息技术 开放系统互连 测试方法和规范 (MTS) 测试和测试控制记法 第3版 第1部分：TTCN-3核心语言

　　ICS 35. 100 L 79

　　中 华 人 民 共 和 国 国 家 标 准

　　GB/T 26857. 1—2011

　　信息技术 开放系统互连 测试方法和

　　规范(MTS) 测试和测试控制记法

　　第 3版 第 1 部分 :TTCN-3核心语言

　　Information technology—Open systemsinterconnection—Methodsfortesting

　　and specification(MTS)—Thetesting and testcontrolnotation—

　　Version3—Part1:TTCN-3 corelanguage

　　2011-07-29发布 2011-11-01实施

　　中华人民共和国国家质量监督检验检疫总局中 国 国 家 标 准 化 管 理 委 员 会

　　

　　发

　　

　　布

　　GB/T 26857. 1—2011

　　目 次

　　前言 Ⅰ

　　1 范围 1

　　2 规范性引用文件 1

　　3 术语和定义 2

　　4 缩略语 5

　　5 引论 5

　　6 基本语言元素 7

　　7 类型和值 13

　　8 模块 28

　　9 测试配置 40

　　10 对常量的声明 48

　　11 对变量的声明 48

　　12 对定时器的声明 48

　　13 对消息的声明 49

　　14 声明特征标记 49

　　15 对模板的声明 50

　　16 运算符 58

　　17 函数和备选步 64

　　18 测试用例 69

　　19 程序语句和操作的概览 70

　　20 基本程序语句 72

　　21 行为性程序语句 77

　　22 默认处理 84

　　23 配置操作 87

　　24 通信操作 93

　　25 定时器操作 107

　　26 测试判定操作 110

　　27 外部动作 111

　　28 模块控制部分 112

　　29 规定的属性 114

　　附录 A (规范性附录) 巴克斯-诺尔形式(BNF)和静态语义 120

　　附录 B (规范性附录) 匹配入值 147

　　附录 C (规范性附录) TTCN-3预定义函数 154

　　附录 D (规范性附录) 其他类型与 TTCN-3一起使用 162

　　附录 E (资料性附录) 有用的类型库 171

　　参考文献 174

　　GB/T 26857. 1—2011

　　前 言

　　GB/T 26857《信息技术 开放系统互连 测试方法和规范(MTS) 测试和测试控制记法》由下列几部分组成 :

　　— 第 1部分 :TTCN-3核心语言 ;

　　— 第 2部分 :TTCN-3表格表示格式 ;

　　— 第 3部分 :TTCN-3图形表示格式 ;

　　— 第 4部分 :TTCN-3操作语义 ;

　　— 第 5部分 :TTCN-3运行时接 口 (TRI) ;

　　— 第 6部分 :TTCN-3控制接 口 (TCI) 。

　　本部分为 GB/T 26857的第 1部分 。

　　本部分参考了 ETSIES201873-1v2. 2. 1《测试方法和规范 测试和测试控制记法 第 3 版 第 1部分 :TTCN-3核心语言》。

　　本部分按照 GB/T 1. 1—2009给出的规则起草 。

　　请注意本文件的某些内容可能涉及专利 。本文件的发布机构不承担识别这些专利的责任 。

　　本部分由全国信息技术标准化技术委员会(SAC/TC28)归 口 。

　　本部分起草单位 : 中国电子技术标准化研究所 。

　　本部分主要起草人 :杨宏 、郝丹丹 、卓兰 、付晓宇 、张晖 、郭楠 、徐全平 、徐冬梅 、张翠 、董挺 、韩丽 。

　　Ⅰ

　　GB/T 26857. 1—2011

　　信息技术 开放系统互连 测试方法和

　　规范(MTS) 测试和测试控制记法

　　第 3版 第 1 部分 :TTCN-3核心语言

　　1 范围

　　本部分规定了 TTCN第 3 版(即 TTCN-3) 核心语言 。 TTCN-3可作为各种通信端口上全部类型的反应系统测试的规范 。典型的应用领域有协议测试(包括移动协议和互联网协议) 、服务测试(包括增补服务) 、模块测试 、基于 CORBA平台的测试 、API等 。TTCN-3不限于符合性测试 , 而能用于许多其他种类的测试 ,包括互操作性测试 、健壮性测试 、回归测试 、系统和集成测试 。对物理层协议的测试套规定不在本部分的范围之内 。

　　TTCN-3 旨在用作独立于测试方法 、层和协议的测试套的规定 。TTCN-3定义了各种表示格式 ,如表格表示格式和图形表示格式 。这些表示格式的规定不在本部分范围之内 。

　　本部分定义了 ASN. 1使用的一个规定性方式 ,正如 GB/T 16262. 1—2006标准中定义的一样 。其他语言与 TTCN-3的协调使用不在本部分研究范围之内 。

　　TTCN-3的设计虽然已经考虑到 TTCN-3翻译器和编译器的最终实现 ,但从抽象测试套(ATS)到可执行测试套(ETS)的实现手段超出本部分的范围 。

　　2 规范性引用文件

　　下列文件对于本文件的应用是必不可少的 。凡是注 日期的引用文件 ,仅注 日期的版本适用于本文件 。凡是不注日期的引用文件 ,其最新版本(包括所有的修改单)适用于本文件 。

　　GB/T 1988—1998 信息技术 信息交换用七位编码字符集

　　GB/T 5261—1994 信息技术 七位和八位编码字符集的控制功能

　　GB/T

　　16262. 1—2006

　　信息技术

　　抽象语法记法一(ASN. 1) 第 1部分 :基本记法规定

　　GB/T

　　16262. 2—2006

　　信息技术

　　抽象语法记法一(ASN. 1) 第 2部分 :信息客体规定

　　GB/T

　　16262. 3—2006

　　信息技术

　　抽象语法记法一(ASN. 1) 第 3部分 :约束规定

　　GB/T

　　16262. 4—2006

　　信息技术

　　抽象语法记法一(ASN. 1) 第 4部分 :ASN. 1规定的参数化

　　GB/T

　　16263. 1—2006

　　信息技术

　　ASN. 1 编码规则 第 1部分 :基本编码规则(BER) 、正则编码

　　规则(CER)和非典型编码规则(DER)规定

　　GB/T 16263. 2—2006 信息技术 ASN. 1 编码规则 第 2部分 :紧缩编码规则(PER)规定

　　GB/T 17178. 1—1997 信息技术 开放系统互连 一致性测试方法和框架 第 1部分 :一般概念GB/T 17969. 1—2000 信息技术 开放系统互连 OSI登记机构的操作规程 第 1部分 :一般规程

　　ISO/IEC 9646-3:1998 信息技术 开放系统互连 一致性测试方法和框架 第 3部分 :数和表组合记法(TTCN)

　　ISO/IEC 10646 信息技术 通用多八位编码字符集(UCS)

　　ITU-T建议 T. 100(1988) 交互图文的国际信息交换

　　ITU-T建议 T. 101(1994) 交互服务的国际互通

　　ETSIES201 873-2(V2. 2. 1) 测试和规定方法(MTS) 测试和测试控制记法 第 3 版 第 2 部

　　1

　　GB/T 26857. 1—2011

　　分 :TTCN-3表格表示格式(TFT)

　　ETSITR 101 873-3(V1. 1. 2) 测试和规定方法(MTS) 树和表组合记法 第 3 版 第 3 部分 : TTCN-3图形表示格式(GFT)

　　3 术语和定义

　　GB/T 17178. 1—1997、ISO/IEC 9646-3 中界定的以及下列术语和定义适用于本文件 。 3. 1

　　实参 actualparameter

　　在调用处定义的 ,作为参数传递给被调用实体(函数 、测试用例 、备选步等) 的值 、模板或名称引用(标识符) 。

　　注 : 在单一的启用中所传递的所有实参的数目 、顺序和类型 ,应与被调用实体中定义的形参清单一致 。 3. 2

　　基本类型 basic types

　　本部分的 7. 2. 1 和 7. 2. 2 中所描述的预定义的 TTCN-3类型的集合 。

　　注 : 基本类型集通过其名称加以引用 。

　　3. 3

　　兼容类型 compatible type

　　与 TTCN-3类型兼容的类型 。TTCN-3虽不是强制类型的 ,但确实要求类型兼容性 。

　　注 : 当 7. 8 中的条件得到满足时 ,变量 、常量 、模板等即具有兼容类型的特征 。

　　3. 4

　　通信端口 communication port

　　便于测试组件之间通信的抽象机制 。

　　注 : 通信端口在接收方向建模化为一个先进先出(FIFO)队列 。端口可基于消息的 、基于过程的或这二者的混合 。 3. 5

　　数据类型 data types

　　单一的基本类型 、基本串类型 、结构化类型 、专用数据类型以及基于以上类型而由用户定义的全部类型的统称(见表 3) 。

　　3. 6

　　已定义的(TTCN-3)类型 defined(TTCN-3)types

　　TTCN-3预定义的全部类型(基本类型 、所有结构化类型 、任何类型(anytype)类型 、地址类型 、端 口类型 、组件类型和默认类型)以及在所用模块中声明的或从另 一 TTCN-3模块中引入的用户定义的全部类型的集合 。

　　3. 7

　　动态参数化 dynamicparameterization

　　其中实参依赖于运行时事件的一种参数化 。例如实参的值是在运行期间接收的值或依赖于通过逻辑关系接收的值 。

　　3. 8

　　异常 exception

　　在基于过程的通信的情况下 , 当一个回复实体对远程过程调用出现不能以正常期望的响应来回答时的条件(如果已经定义) 。

　　3. 9

　　形(式)参(数) formalparameter

　　不是在定义一个实体(函数 、测试用例 、备选步等)时 ,而是在对其启用时进行解析的值或模板的名

　　2

　　GB/T 26857. 1—2011

　　称引用(标识符) 。

　　注 : 从启用该实体处传递在形参的位置所用的实际的值或模板(或其名称) 。

　　3. 10

　　全局可见 globalvisibility

　　实体(模块参数 、常量 、模板等)的属性 ,可以在定义实体的模块中任意位置引用该实体的标识符 ,包括所有函数 、测试例以及定义在相同模块的备选步和该模块的控制部分 。

　　3. 11

　　实现一致性声明 Implementation ConformanceStatement

　　ICS

　　由声称与所给规范一致的实现或系统的提供者所做的声明 , 陈述已实现了哪些能力 。 ICS可有以下诸表 :协议 ICS、轮廓 ICS、轮廓特定 ICS和信息客体 ICS。

　　3. 12

　　测试实现附加信息 Implementation eXtra Information forTesting

　　IXIT

　　由 IUT 的 提 供 者 或 实 现 者 所 做 的 陈 述 , 它 包 含 或 引 用 了 与 IUT 及 其 测 试 环 境 有 关 的 全 部 信 息(ICS给出的信息除外) ,该陈述使测试实验室能对 IUT 运行适当的测试套 。 一份 IXIT 可以有以下诸表 :协议 IXIT、轮廓 IXIT、轮廓特定 IXIT 和信息课题 IXIT、TMP实现声明 。

　　3. 13

　　被测实现 Implementation UnderTest

　　IUT

　　具有相邻用户/提供者关系的一个或多个 OSI协议的一种实现 ,这种实现将作为开放式系统的 一部分通过测试进行研究 。

　　3. 14

　　已知类型 known types

　　已定义类型集 ,引入了 ASN. 1 和其他外部类型 。

　　3. 15

　　本地可见 localvisibility

　　实体(常量 ,变量等)的属性 ,实体标识符仅能在其被定义的函数 ,测试例或备选步内部被引用 。

　　3. 16

　　主测试组件 Main TestComponent

　　MTC

　　测试组件配置中单个测试组件负责建立和控制并行测试组件并计算和分配测试判定 。

　　3. 17

　　按值引用 passingparameterby value

　　在可参数化的实体进入之前变量被评估的传参方式 。

　　注 : 仅变量值被传递且被调用实体内的变量的变化在调用方看来对实际变量无影响 。

　　3. 18

　　按引用传参 passingparameterby reference

　　传参方式 ,变量在函数 、备选步等进入之前未被评估 ,且对参数的引用通过调用程序向被调用程序传递 。

　　注 : 被调用程序内部的变量的变化在调用方看来对实际参数有影响 。

　　3. 19

　　并行测试组件 ParallelTestComponent

　　PTC

　　主测试组件创建的测试组件 。

　　3

　　GB/T 26857. 1—2011

　　3. 20

　　根类型 roottype

　　可被追溯的用户定义的 TTCN-3类型那个基本类型 ,结构化类型 ,特殊数据类型 ,特殊配置类型或特殊默认类型 。

　　注 : 考虑到基于引入的 ASN. 1类型的类型 ,跟类型有相关的 TTCN-3类型来决定(见 D. 1. 3) 。

　　3. 21

　　静态参数化 staticparameterization

　　参数化的种类 ,其中实际参数独立于运行时时间 ;如在编译时得知或以防在测试套执行开始得知模块参数(如 ,从测试套规范中得知 ,此处计算引入的定义 ,或测试系统在执行时间之前得知其值) 。

　　3. 22

　　强分类 strongtyping

　　通过类型名严格实施无异常的类型兼容 。

　　3. 23

　　被测系统 System UnderTest

　　SUT

　　IUT所在的开放实系统 。

　　注 : 所有的类型在编译时被得知 ,如静态绑定 。

　　3. 24

　　模板 template

　　TTCN-3模板时测试的特定数据结构 ;用于发送不同值的集合或检查接收到的值的集合是否匹配模板规范 。

　　3. 25

　　测试例 testcase

　　抽象或可执行的测试例 。

　　注 : 一般来讲 ,本部分的 “测试 ”一词只表示一般的意义 ,有时也可以作为抽象测试例或可执行测试例的简称 。上下文应使意思明确 。

　　3. 26

　　测试例错误 testcaseerror

　　用于描述在测试例自身发现错误时测试例执行结果 。

　　3. 27

　　测试套 testsuite

　　引入完整规定所有定义和必要的完整定义测试例集合的行为描述的声明的显示或隐式的 TTCN-3模块 。

　　3. 28

　　测试系统 testsystem

　　包括下测试器实现的实系统 。

　　注 : 统一测试系统可用作多个测试工具的一部分 。

　　3. 29

　　测试系统接口 testsystem interface

　　提供在(抽象)TTCN-3测试系统中可用端口到实测试系统提供的端口的映射的测试组件 。

　　3. 30

　　测试兼容性

　　语言特征 ,允许使用给定类型的值或模板为另一类型的实际值(如 ,在分配时 ,作为在调用函数时的

　　4

　　GB/T 26857. 1—2011

　　实际参数 ,参考模板等 ,或作为函数返回值) 。

　　注 : 值或模板的类型和当前值应与其他类型兼容 。

　　3. 31

　　值参数化

　　作为实际参数的对象值或模板传递到参数化对象的能力 。

　　注 : 该实际值参数然后完成该对象的规范 。

　　3. 32

　　用户定义的类型

　　基本类型的图表类型定义的类型 ,声明一个结构化的类型或用点符号限制任意类型为单类型 。注 : 用户定义的类型被其标识符(名称)所引用 。

　　3. 33

　　值符号 valuenotation

　　标识符与给定值或特定类型范围相关联所用的符号 。

　　注 : 值可为常量或变量 。

　　4 缩略语

　　API

　　应用程序接 口

　　(Application Programming Interface)

　　ASN. 1

　　抽象语法记法一

　　(AbstractSyntax Notation One)

　　ASP

　　抽象服务原语

　　(AbstractService Primitive)

　　ATS

　　抽象测试套

　　(AbstractTestSuite)

　　BNF

　　巴科斯-诺尔范式

　　(Backus-Nauer Form)

　　CORBA

　　公用对象请求代理程序体系结构

　　(Common ObjectRequestBroker Architecture)

　　ETS

　　可执行的测试套

　　(Executable TestSuite)

　　FIFO

　　先进先出

　　(FirstIn FirstOut)

　　IDL

　　接口描述语言

　　(Interface Description Language)

　　IUT

　　在测实现

　　(Implementation Under Test)

　　MTC

　　主测试组件

　　(Master TestComponent)

　　PDU

　　协议数据单元

　　(ProtocolData Unit)

　　PTC

　　并行测试组件

　　(ParallelTestComponent)

　　(P)ICS

　　(协议)实现符合性声明

　　((Protocol)Implementation ConformanceStatement)

　　(P)IXIT

　　测试用(协议)实现附加信息

　　((Protocol)Implementation eXtraInformationforTesting)

　　SUT

　　在测系统

　　(System Under Test)

　　TTCN

　　测试和测试控制记法

　　(Testing and TestControlNotation)

　　5 引论

　　5. 1 概述

　　TTCN-3核心语言是一种灵活和强有力的语言 ,适用于各种通信接口上的全部类型的反应的系统测试的规定 。所适用的典型领域有协议测试(包括移动和互联网协议) 、服务测试(包括补充服务) 、模块测试 、基于 CORBA平台的测试 、API测试等 。TTCN-3并不仅限于符合性测试 , 而能用于许多其他种类的测试 ,包括互操作性测试 、健壮性测试 、回归测试 、系统和集成测试 。

　　从句法的角度看 ,TTCN-3与在 ISO/IEC 9646-3 中 定 义 的 该 语 言 的 早 期 各 版 本 有 很 大 区 别 。 不

　　5

　　GB/T 26857. 1—2011

　　过 ,TTCN 的业已证实的基本功能系统大多予以保留 ,并在某些方面得到增强改进 。 TTCN-3包括以下重要特性 :

　　a) 规定动态并发测试配置的能力 ;

　　b) 基于过程和基于消息的通信的操作 ;

　　c) 规定编码信息和其他属性(包括用户可扩展性)的能力 ;

　　d) 规定带有强有力匹配机制的数据和特征标记模板的能力 ;

　　e) 类型和值的参数化 ;

　　f) 测试判定的赋值和处理 ;

　　g) 测试套参数化和测试用例选择机制 ;

　　h) TTCN-3与 ASN. 1 的结合使用(以及与其他语言例如 IDL 的潜在使用) ;

　　i) 良好定义的句法 ,互换格式以及静态语义 ;

　　j) 不同的表示格式(如 :表格的和图形的表示格式) ;

　　k) 精确的执行算法(操作语义) 。

　　5. 2 核心语言和表示格式

　　TTCN 通常和符合性测试关联在一起 。 为了在标准和行业两个领域都把该语言的应用范围扩展到更为广泛的测试应用范围 ,本部分将 TTCN-3 的 规 定 分 为 以 下 几 个 部 分 : 本 部 分 为 第 1 部 分 , 定 义TTCN-3核心语言 ;第 2部分是 TTCN-3表格表示格式 ,在外观和功能系统两方面都与 TTCN 的早期版本相似 ;第 3 部 分 是 TTCN-3 图 形 表 示 格 式 ; 第 4 部 分 包 含 了 TTCN-3 的 操 作 语 义 ; 第 5 部 分 为TTCN-3运行时接口(TRI) ;第 6部分为 TTCN-3控制接 口 (TCI) 。其中核心语言及各种标识格式的视图如图 1所示 。

　　图 1 对核心语言和各种表示格式的视图

　　本核心语言有 3个目的 :

　　a) 作为广义的基于文本的测试语言 ;

　　b) 作为 TTCN 工具之间 TTCN测试套的标准化互换格式 ;

　　c) 作为各种表示格式的语义基础(如果适合 ,也是句法基础) 。

　　本核心语言可独立于表示格式使用 。但是 ,表格格式和图形格式均不能脱离核心语言使用 。这些表示格式的使用和实现均应以本核心语言为基础 。

　　在不同表示格式预期集合中 ,表格格式和图形格式是首要的 ,其他格式可以是标准化的表示格式 ,也可以是由 TTCN-3用户 自行定义的专有表示格式 。本部分中不定义这些附加格式 。

　　TTCN-3 与 ASN. 1 完全协调 ,后者可以与 TTCN-3模块可选地一起使用 ,作为一种替换的数据类型和值句法 。在 TTCN-3模块中采用 ASN. 1 在本部分的附录 D 中定义 。将 TTCN-3与 ASN. 1相结合的办法有可能应用于支持其他类型的和值的系统与 TTCN-3 的一起使用 。然而 ,本部分并不定义后

　　6

　　GB/T 26857. 1—2011

　　者的细节 。

　　TTCN-3核心语言由一种完全的句法(见附录 A)和操作语义(见第 4部分)定义 。 出于一些基础性应用领域或方法体 系 上 的 考 虑 , 它 包 含 不 限 制 本 语 言 使 用 的 最 低 限 度 静 态 语 义(本 部 分 正 文 部 分 及附录 A 中 给 出) 。 使 用 专 有 工 具 所 能 获 得 的 测 试 套 索 引 等 TTCN 以 前 各 版 本 的 功 能 系 统 , 不 属 于TTCN-3的组成部分 。

　　5. 3 规范的一致性

　　本语言借助于当前版本主体中的文本性描述(第 6 章至第 29章) 以及附录 A 中的形式化方法 ,从句法上和语义上加以规定 。每当文本性描述未穷举时 ,均以形式化描述完成 。 当文本规定和形式规定发生矛盾时 ,应以形式化规定为准 。

　　5. 4 符合性

　　本部分对本语言的实现级别未作规定 。但是 ,对一个声称符合 TTCN-3语言的实现来说 ,本部分所有已实现的特征均应与本部分给出的要求一致 。

　　注 : 这不妨碍添加在当前版本规定中未规定的额外特征的具有符合性实现 。

　　6 基本语言元素

　　6. 1 概述

　　TTCN-3的顶层单元是模块 。模块中不能构造成子模块 ,但能从其他模块中移入定义 。模块可具有参数清单以便给出测试套参数化的形式 ,这与 TTCN-2 的 PICS 和 PIXIT 参数化机制相似 。

　　模块由定义部分和控制部分组成 。模块的定义部分定义测试组件 、通信端口 、数据类型 、常量 、测试数据模板 、函数 、端口上过程调用的特征标记 、测试用例等 。TTCN-3语言元素的情况如表 1所示 。

　　模块的控制部分调用测试用例并控制其执行 。 控制部分也可以声明(局部) 变量等 , 程序语句(如if-else和 do-while)能用于规定各个测试用例的选择和执行顺序 。TTCN-3不支持全局变量的概念 。

　　TTCN-3有许多预定义的基本数据类型和结构化类型 ,如记录 、集合 、联合 、枚举类型和数组 。移入的 ASN. 1类型和值可与 TTCN-3一起使用 。

　　一种称为模板的特定的数据结构为规定在测试端口上发送的或接收的测试数据提供参数化和匹配机制 。在这些端口上的操作提供基于消息的和基于过程的两种通信能力 。过程调用可用于不基于消息的测试实现 。

　　动态测试行为表达为测试用例 。TTCN-3程序语句包括强有力的行为描述机制 ,如通信和定时器事件的替换性接收 、交叉和默认行为 。TTCN-3也支持测试判定赋值和 日志机制 。

　　最后 ,可以为 TTCN-3语言元素指派诸如编码信息和显示属性等属性 。也可能规定(非标准化的)用户定义的属性 。

　　表 1 TTCN-3语言元素概览

　　语 言 元 素

　　关联的关键字

　　是否是在模块定义中规定的

　　是否是在模块控制中规定的

　　是否是在函数/

　　备选步/测试用

　　例中规定的

　　是否是在测

　　试组件中

　　规定的

　　TTCN-3模块定义

　　module

　　从其他模块移入定义

　　import

　　是

　　定义分组

　　group

　　是

　　7

　　GB/T 26857. 1—2011

　　表 1 (续)

　　语 言 元 素

　　关联的关键字

　　是否是在模块定义中规定的

　　是否是在模块控制中规定的

　　是否是在函数/

　　备选步/测试用

　　例中规定的

　　是否是在测

　　试组件中

　　规定的

　　数据类型定义

　　type

　　是

　　通信端口定义

　　port

　　是

　　测试组件定义

　　component

　　是

　　特征标记定义

　　signature

　　是

　　外部函数/常量定义

　　external

　　是

　　常量定义

　　const

　　是

　　是

　　是

　　是

　　数据/特征标记模板定义

　　template