TTCN3关键字介绍.docxVIP

ListModule模块定义，类似于class，模块不能包含子模块，但是可以从其他模块引入定义。定义部分：定义测试成分、通信端口、数据类型、常数、测试数据模板、函数、测试端口上调用的过程特征（signatures）、测试例等等。控制部分：分调用测试例并控制它们的执行。控制部分也可以声明（局部）变量等，程序语句（如ifelse和do-while）可以用于各个测试例的选择和执行顺序。TTCN-3不支持全局变量的概念。module MyModule{ const integer A := 1;function MyBehaviourA{ }}Type用户自定义数据类型type floatpi (3.1415926);type set MySetType{ integer field1,charstring field2}Template模板（Templates）用于传送一个特定值的集合或是测试接收的值的集合是否与模板说明匹配。a) 模板提供了一种组织和重复使用测试数据的方法b) 模板能够被参数化；c) 模板允许匹配机制；d) 模板既能够用于基于消息的通信，也能用于基于过程的通信Component The component type defines which ports are associated with a component.It is also possible to declare constants, variables and timers local to a particular component type.These declarations are visible to all testcases, functions and altsteps that run on an instance of the given component type. This shall be explicitly stated using the runs on keyword (see clause 16) in the testcase, function or altstep header.Port messagePort:端口可以基于消息(message标识)，和基于过程(procedure)的，甚至是二者混合(mixed)的。端口类型定义中可以声明进出的数据类型type port MyMessagePortType message{//message说明基于消息的?in MsgType1,MsgType2;?out MsgType3;?inout integer;//该端口允许接受MsgType1和MsgType2类型，发送MsgType3类型，并且可发送和接收任何整形值}消息通信方法有：send（）The send operation is used to place a message on an outgoing message port.Receive（）The receive operation is used to receive a message from an incoming message port queue.RecordTTCN-3支持有序的结构化类型，即记录类型（record）。一个record类型元素可以是基本类型或用户定义数据类型（如其它记录、集合或数组类型）的任一种.type record MyRecordType{integer field1,MyOtherRecordType field2 optional,charstring field3}Function 用于函数定义，当函数使用了component中的port或者参数时，需要用runs on指定function MyFunction() runs onMyComponentreturn integer{ return 7;}VerdictMTC collect local verdicts from the PTC:s and gives the final verdictThe verdict can have five different values: pass, fail, inconc, none and errorAltstepsTTCN-3使用可选步（Altsteps）来描述默认行为，或构造一个alt语句的选择对象（Alternatives）.它是与函数相似的范围单位，可以对一些对象进行操作，当操作的对象涉及到component时，需要用runs on指定可选步的调用分显示和隐式。隐式调用之前必须通过activate（）激活。var default MyDefVarTwo := activate(