TTCN-3简介讲义课件.ppt

// 纯功能函数，没有涉及到端口操作。 function MyFunction { : } // 函数使用指定类型组件中的端口进行通信操作 function MyFunction runs on MyPTC { PCO1.send(1); } 测试行为描述－测试用例 测试用例可以认为是特殊的能够在模块控制部分执行的函数。 接口部分（runs on子句）指定了测试用例所运行的MTC的组件类型。 系统部分（system子句）指定了测试用例中需要使用的测试系统接口组件类型。 System部分可以省略，默认和MTC类型一致 Test Case ( . . . ) Behaviour Part System Part Interface Part testcase MyTestCase() runs on MyMTCType system MyTestSystemType { : // 定义测试行为 } // 该用例只有包含MTC，没有涉及系统接口操作 testcase MyTestCase()runs on MyMTCType { : // 定义测试行为 } 测试行为描述－基本编程语句 测试行为描述－动态测试配置 // 定义一个组件类型变量 var MyComponentType MyPTC; // 创建指定类型的组件，返回组件引用 MyPTC:= MycomponentType.create // connect连接操作用来完成测试系统内部组件之间的通信 connect(MyPTC:P1, mtc:P1) // map映射操作用来完成测试组件与抽象测试接口之间的通信 map(MyPTC:P2, system:PCO) 测试行为描述－选择性行为 选择性行为由alt语句来完成。 alt语句表示，由通信的接收和处理或定时器事件以及并行测试成分终止引起的测试行为的分支。 alt语句表示将与一个特定快照相匹配的可能的集合。 S1; alt {[ ] S3; S6; [ ] S2; alt { [ ] S4; S7; [ ] S5; S8; alt { [ ] S9; [ ] S10; } } } S1 S3 S6 S2 S4 S7 S5 S8 S9 S10 测试行为描述－alt语句执行示意图 每个alt分支包含三部分： 布尔防卫表达式（可能为空，但是不能省略） 可能触发的事件 需要执行的操作语句 每进入一个alt语句时，就会照一张快照 guard1 event1 actions1 guard2 event2 actions2 guardn eventn actionsn alt 测试行为描述－可选步 可选步（Altsteps）用来描述默认行为，或构造一个alt语句的选择对象。 可选步可以调用函数和可选步，或作为默认来激活可选步。 可选步的调用可以通过默认机制隐式地完成，或是通过在alt的一个直接调用显式的完成。 对于借助于默认机制的可选步的一个隐式调用，在到达调用位置之前，必须通过activate语句将该可选步激活为一个默认。 独立的可选步的调用可以认为是仅带有一个描述显式调用该可选步的选择对象的alt语句的简写。 Altstep MyAltstep (in integer var1) runs on MyComponentType { [] MyPort.receive(MyMessage1) { setverdict(pass); } [] MyPort.receive(MyMessage2) { repeat; } [] MyTimer.timeout { stop; } } //在alt语句中可选步的显示调用。 Alt { [] MyPort.receive(MyMessage1) { setverdict(pass); } [] MyAltstep(1) ; [] MyTimer.timeout { stop; } } //独立调用的可选步 MyAltstep(1) ; //等效于 Alt { [] MyAltstep(1) ; } // 一个可选步激活为默认 var default MyDefVarTwo := activate(MySecondAltStep()); // 该组件在此区间的所有alt语句都会