TTCN-3 behavior之函数
- 函数可以返回值,在函数头中用关键字return加上返回类型来表示。如过函数头中定义了返回值,则函数体重必须有返回相应类型的return语句
- 函数可以运行在component上,函数头中使用关键字run on。如果运行在component上,那么函数可以使用component中定义的常量,变量 ,定时器或者端口
- component操作start启动的函数总是带有run on 子句。
- pre-defined function
TTCN-3 behavior 之alsteps
TTCN-3 behavior之test case
- test case 是一种特殊的function
- test case 运行在一个且仅一个MTC上,test case 实体中描述的行为是MTC的行为
- test case中描述了test configuration,即component的创建,port之间的connect或者map