TTCN-3 Core Language总结.ppt

TTCN-3 Core Language TTCN-3 功能简介 功能强大的基于响应系统的黑箱测试标准 用做多种通信端口上的各种响应系统测试的 描述语言。典型的应用领域是协议测试、服务测试（包括增补服务）、模块测试、基于平台、APIs等的CORBA测试。TTCN-3并不仅仅局限于一致性测试，它可用于多种类型的测试，如互操作性测试、健壮性测试、回归测试、系统和集成测试。 TTCN-3意在用做独立于测试方法、层和协议的测试套的描述。 CL简介 核心语言有三个目的： a) 作为广义的基于文本的TTCN-3测试语言； b) 作为TTCN工具之间TTCN测试套的标准化互换格式； c) 作为各种表示格式的语义基础（如相关，也是语法基础） TTCN概要 TTCN概要 TTCN语言元素 基本语言元素 TTCN-3的顶层单元是模块 定义部分：定义测试成分、通信端口等 控制部分：调用测试例并控制执行。 模板：它为发送和接收的测试数据提供参数化和匹配机制 测试例：表达动态测试行为 定时器，可选步，过程特征……等等 基本语言元素 静态参数化和动态参数化 不能参数化的语言元素有：const、var、timer、control、group和import； 参数传递 传值调用 function MyFunction(in integer Parameter){ … }; //只能使用参数parameter 传参调用 function MyFunction(inout/out boolean Parameter){ … }; //可以使用并修改parameter 范围规则 TTCN-3类型 基本类型：integer，char，universal char， float，boolean，objid，verdicttype 串类型： bitstring，hexstring，octetstring， charstring，universalstring 结构类型：record(of),set (of),union,enumerate 任意类型：anytype 配置类型：port，address，component 默认类型：default TTCN中特殊类型 universal char 根据ISO/IEC 10646 [6]由一个四元组给出. char (0, 0, 1, 113)表示匈牙利字符“?”）。 objid 对象标识符类型 Verdicttype类型的值应该使用pass、fail、inconc、none和error表示。 结构化的类型和值 关键字type描述结构化的类型: 如记录类型（record）、record of类型 集合类型（set）、set of类型、 枚举类型（enumerated）和联合类型（union）。 记录类型（record）和值 有序的结构化类型，即记录类型record。 type record MyRecordType // 定义一个record { bitstring field1, boolean field2 } const MyRecordType RecordValue:= //为其字段赋值 { field1 := 11001B, field2 := true } 集合（Set）类型和值 无序的结构化类型，即集合类型（set）。 type set MySetType // 定义一个Set { bitstring field1, boolean field2 } const MySetType SetValue:= //为其字段赋值 { //不可以用值列表的方式 field1 := 11001B, field2 := true } 单一类型的记录和集合类型 of type record of integer MyRecordOf; var MyRecordOf MyRecordVar := { 0, 1, 2, 3 }; var integer MyVar; MyVar := MyRecordVar[0]; // record of类型值中的第一个元素赋值给了MyVar 枚举类和值 TTCN-3支持枚举类型（enumerated）。type enumerated MyFirstEnumType { Monday, Tuesday, Wednesday, Thursday, Friday }; 联合类型 Union type union