此外，测试系统元模型还包括了TTCN-3测试语言中所特有的的测试特性，主要是一些枚举值的定义。主要包括通信的原子操作AtomAction、测试判定结果Verdict、测试通信类型CommunicateType、测试构件类型ComponentType、测试通信方向类型DirectType、测试函数类型BehaviorType等。

　　5、TTCN-3静态分析器的设计与实现

　　5.1 三种静态分析器的比较

　　为了便于定制需要的逆向分析工具，本文主要调研了开源的TTCN-3静态分析器。目前，主要有三种开源的面向TTCN-3的静态分析器可用，下面是对这三种静态分析器的对比分析：

　　ttthreeparser：由德国Testing Technologies公司早期开发的分析器，目前只支持TTCN-3v1.1.2版本，这是TTCN-3最早的一个版本，目前的测试脚本都是基于TTCN-3v3.1.1，在语法上进行了较大的调整，所以对本文的研究价值不大；

　　ttcn3parser：由Debian开源组织提供的基于Python的静态分析器，支持TTCN-3v3.1.1，但由于没有提供合适的接口和文档，因此需要重新改写里面的大部分文法，工作量太大；

　　TRex：由Motorola和德国的Gottingen大学合作开发，用于TTCN-3测试集的评估和重构，其中包括对TTCN-3v3.1.1的静态分析，并且定义了明确的接口和数据结构。

　　通过对上面工具的调研，本课题选用了TRex作为静态分析的工具，并在开源工具TRex静态分析器的基础上实现相应的接口、定义相应的数据结构，通过静态的逆向分析获取TTCN-3测试系统的基本信息和模型定义。TRex对TTCN-3的现有标准支持较好，同时还是一个开放源代码的研究性工程。另外，TRex以Eclipse插件的形式出现，这对于系统的扩展和集成非常有利。

　　5.2 TRex介绍

　　TRex是基于Eclipse插件机制实现的TTCN-3度量和重构工具，由Motorola公司和德国的哥廷根大学合作开发了这套系统。正向的TTCN-3工具一般都专注于核心编译器与测试执行器的开发，TRex属于逆向工程支持工具，其目标是分析和优化测试系统代码。Motorola公司发现，TTCN-3的编辑和执行固然需要工具支持，同样TTCN-3测试系统的维护和评估也需要有工具辅助。TRex的出现，使得TTCN-3测试代码的自动化度量和重构变为现实，同时也为评估测试系统设计的好坏提供了有力的依据。然而TRex无法帮助测试人员从更高层次上把握测试系统的设计，无法检验测试设计和测试实现之间的一致性。随着TTCN-3的发展，必将有更多的遗产测试系统需要被维护和升级，测试人员如何在最短时间内理解和掌握已有的测试系统，以及如何检验测试设计和测试实现之间的一致性，必将作为一个重大的问题受到人们的关注。本文的研究工作很好的满足了TTCN-3发展中的这种要求，同时结合TRex工具，必将为TTCN-3测试系统的管理和维护提供强有力的支持。

　　TRex主要用于TTCN-3测试系统的度量和重构，它主要分为三个模块，如图3：

　　● 将TTCN-3测试集作为输入，通过静态分析获得抽象语法树和符号表，即测试集的元数据；

　　● 将测试集的元数据作为输入，通过计算获取测试集的度量值，为测试集的好坏提供数据上的依据；

　　● 将测试集的元数据和度量值作为输入，通过变换语法树完成测试代码的重构。

　　通过静态分析、度量和重构，为测试集的维护提供了依据，同时输出质量更高的TTCN-3测试集。

图3  TRex体系结构