《TTCN3工具培训+++++》由会员分享，可在线阅读，更多相关《TTCN3工具培训+++++（58页珍藏版）》请在金锄头文库上搜索。
1、TTCN 3工具培训 1 简介 本胶片介绍了使用TTCN 3进行测试的系统架构 重点讲述了TTCN 3的语法和特性 最后介绍如何使用TTCN 3集成开发工具GTR进行TTCN 3测试套的开发 希望对准备在开发环境GTR下进行TTCN 3测试套开发的测试人员有所帮助 2 TTCN 3概述 3 TTCN 3 TTCN 3 测试与测试控制记法 TestingandTestControlNotation Version3 TTCN 3是由ETSI 欧盟通讯标准研究院 所设计 并公布成为ETSIES201873系列之标准文件 以及ITU T 国际通讯联盟 的ITU TRec Z 140系列之标准文件 标
2、准化的测试描述和测试实现语言 TTCN 3具有更精准的测试逻辑语法 可以描述更复杂的测试行为 TTCN 3可用于多种类型的测试 包括符合性测试 ConformanceTesting 互操作性测试 InteroperabilityTesting 健全性测试 RobustnessTesting 回归测试 RegressionTesting 系统和整合测试 SystemandIntegrationTesting 以及负载测试 Load StressTesting 4 TTCN发展 TTCN 1概念始于80年代中期 主要应用于OSI体系协议一致性测试 TTCN 2是树表结合记法 有完善的语法 语义 较
3、高的测试抽象性和重用性 不依赖于操作系统和测试平台 TTCN 3打破了TTCN 2在OSI体系一致性测试的局限性 适应于更灵活 更复杂的软件系统测试 5 TTCN 3主要特性 描述动态并发测试配置的能力 基于过程的操作和基于消息的通信 描述编码信息和其他属性 包括用户扩展性 的能力 描述数据和带有强有力的匹配机制的属性模板的能力 类型和值的参数化 赋值和测试判定的处理 测试套参数化和测试例选择机制 TTCN 3和ASN 1的结合良好定义的语法 格式的互换以及静态语义 不同的表示格式 如 表格和图形表示格式 目前暂不支持 6 TTCN 3语法介绍 7 基本概念 基本概念 测试组件 共有三种类型测
4、试组件 抽象测试系统接口 ATSI 也可以叫系统测试组件 STC 主测试组件 MTC 并行测试组件 PTC 8 基本概念 通信端口通过端口完成测试组件之间的通信每个通信端口被抽象成一个先入先出队列端口 port 具有方向性 in out inout 支持三种端口类型 基于消息通信的端口基于过程通信的端口混合型端口 9 基本概念 动态测试配置创建组件启动组件并发执行 10 基本概念 动态测试配置连接端口映射端口 11 基本概念 测试判决测试判决 none pass inconc fail error每一个测试组件可以设置 setverdict 或者获取 getverdict 自己的局部判决 测试
5、用例中止执行时 返回一个全局的判决 全局判决由各个测试组件的局部判决决定 12 TTCN 3测试套结构 模块 Module 是TTCN 3的基本构造块 一个模块由定义部分 可选的 和一个模块控制部分 可选的 组成 通常所说的一个测试套就是一个模块 模块可以参数化 跟TTCNRunner中的赋值一致 一个模块可以从其他模块中引入定义 模块可以定义属性 Attributes 13 模块定义部分 14 模块定义所有定义在整个模块中都是全局的 类型定义 DataTypes 都是基于预定义类型和结构类型 包括从其他非TTCN 3语言ASN 1定义中引入的类型 模板 Templates 和原型 Signa
6、ture 定义测试数据 端口 ports 和测试组件 Components 在动态测试配置过程中使用 函数 Functions 测试步 Altsteps 测试用例 testcase 用来定义测试行为 15 TTCN3数据类型定义 16 数据类型定义 整型 整型范围约束定义 typeintegerMyIntegerRange 1 100 typeintegerMyIntegerRange 0 infinity 整型列表约束定义 typeintegerMyIntegerList 1 2 3 4 混合约束定义 typeintegerMyIntegerListAndRange 1 5 7 9 17 数
7、据类型定义 结构类型 record结构类型定义typerecordMyMessageType integerfield1optional booleanfield2 record值定义varMyMessageTypeMyMessage field1 1 field2 true 单独的域赋值MyMessage field2 false 18 数据类型 与ASN 1类型兼容 19 数据定义 模板模板 Templates 用于传送一个特定值的集合或是测试接收的值的集合是否与模板说明匹配 模板具有以下特性 模板可继承 便于组织数据和重复利用数据模板能够被参数化模板允许定义匹配机制 经常被使用来定义可能
8、接收消息的值或者可能的远程调用过程响应模板同时支持基于消息的通信和基于过程的通信模板支持简单类型和复合类型 20 数据定义 模板匹配机制 21 数据定义 参数化模板 参数化模板templateMyMessageTypeMyMessage integerMyPar field1 MyPar field2 true field3 110011 B 模板调用P1 send MyMessage 1 22 数据定义 模板继承 templateMyMessageTypeMyMessage1 field1 123 field2 true templateMyMessageTypeMyMessage2modi
9、fiesMyMessage1 field2 false 等效下面的写法templateMyMessageTypeMyMessage3 field1 123 field2 false 23 动态测试配置 动态测试配置 测试组件测试组件 TestComponent 是测试行为执行的实体 并行 测试组件的声明都是局部的 测试组件必须包含一个通信端口列表 在测试执行过程中是通过create connect map等操作来完成动态测试配置的 TestComponent 24 动态测试配置 通信端口定义 基于消息的端口定义typeportMyMessagePortTypemessage inMsgType
10、1 MsgType2 outMsgType3 inoutinteger 基于过程的端口定义typeportMyProcedurePortTypeprocedure outProcedureSignature1 ProcedureSignature2 25 动态测试配置 测试组件定义 测试组件类型定义typecomponentMyComponentType 局部变量声明varintegerMyVar timerMyTimer 测试组件使用的端口列表MyMessagePortTypeP1 P2 MyProcedurePortTypeP3 26 测试行为描述 测试行为描述 函数函数是描述测试行为的基
11、本块 函数包含局部变量声明和程序部分 函数既可以只完成测试系统内部的任务 也可以通过send和receive与被测系统进行交互 支持外部函数 可扩展 支持部分类型转换的预定义函数 Function 27 预定义函数预定义函数提供了TTCN 3内部类型之间的转换功能以及字符串操作功能 28 函数可以带参数 参数具有几种属性 in out inout 默认属性是in functionMyFunction inintegerMyPar 函数可以带返回值 默认为voidfunctionMyFunctionreturninteger 29 纯功能函数 没有涉及到端口操作 functionMyFuncti
12、on 函数使用指定类型组件中的端口进行通信操作functionMyFunctionrunsonMyPTC PCO1 send 1 30 测试行为描述 测试用例测试用例可以认为是特殊的能够在模块控制部分执行的函数 接口部分 runson子句 指定了测试用例所运行的MTC的组件类型 系统部分 system子句 指定了测试用例中需要使用的测试系统接口组件类型 System部分可以省略 默认和MTC类型一致 TestCase 31 testcaseMyTestCase runsonMyMTCTypesystemMyTestSystemType 定义测试行为 该用例只有包含MTC 没有涉及系统接口操作t
13、estcaseMyTestCase runsonMyMTCType 定义测试行为 32 测试行为描述 基本编程语句 33 测试行为描述 动态测试配置 34 定义一个组件类型变量varMyComponentTypeMyPTC 创建指定类型的组件 返回组件引用MyPTC MycomponentType create connect连接操作用来完成测试系统内部组件之间的通信connect MyPTC P1 mtc P1 map映射操作用来完成测试组件与抽象测试接口之间的通信map MyPTC P2 system PCO 35 测试行为描述 选择性行为选择性行为由alt语句来完成 alt语句表示 由通
14、信的接收和处理或定时器事件以及并行测试成分终止引起的测试行为的分支 alt语句表示将与一个特定快照相匹配的可能的集合 S1 alt S3 S6 S2 alt S4 S7 S5 S8 alt S9 S10 36 测试行为描述 alt语句执行示意图每个alt分支包含三部分 布尔防卫表达式 可能为空 但是不能省略 可能触发的事件需要执行的操作语句每进入一个alt语句时 就会照一张快照 guard1 event1 alt 37 测试行为描述 可选步可选步 Altsteps 用来描述默认行为 或构造一个alt语句的选择对象 可选步可以调用函数和可选步 或作为默认来激活可选步 可选步的调用可以通过默认机制
15、隐式地完成 或是通过在alt的一个直接调用显式的完成 对于借助于默认机制的可选步的一个隐式调用 在到达调用位置之前 必须通过activate语句将该可选步激活为一个默认 独立的可选步的调用可以认为是仅带有一个描述显式调用该可选步的选择对象的alt语句的简写 38 AltstepMyAltstep inintegervar1 runsonMyComponentType MyPort receive MyMessage1 setverdict pass MyPort receive MyMessage2 repeat MyTimer timeout stop 39 在alt语句中可选步的显示调用
16、Alt MyPort receive MyMessage1 setverdict pass MyAltstep 1 MyTimer timeout stop 40 独立调用的可选步MyAltstep 1 等效于Alt MyAltstep 1 41 一个可选步激活为默认vardefaultMyDefVarTwo activate MySecondAltStep 该组件在此区间的所有alt语句都会在分支没有被选中的情况下会执行默认可选步 一个默认可选步去激活deactivate MyDefVarTwo 此后的所有alt语句都会在分支没有被选中的情况下不会执行默认可选步 42 测试行为描述 定时器 43 启动 停止 读取定时器MyTimer start 20E 3 默认的时间单位是sMyTimer stop MyVar MyTimer read 检查定时器是否还在运行if MyTimer running 定时器超时Alt MyTimer timeout 44 模块控制部分 45 模块控制部分测试例定义在模块定义部分 而模块控制部分管理它们的执行 在每个测试例启动时 测试配置将被重新设置 如果
