一种基于TTCN―3工具的简单设计与实现.docVIP

一种基于TTCN―3工具的简单设计与实现 　　摘 要：TTCN-3语言是近年来应用比较广泛的一致性测试描述语言，本文分析了TTCN-3语法中的特点：作用域、结构化、import机制等内容，并根据一致性测试的一般方法设计了一个基于TTCN-3的测试工具，并给出了基本的实现原理。 　　关键词：TTCN-3；一致性测试；测试工具 　　中图分类号：TP311.52 　　TTCN-3，简称测试及测试控制表达法（Testing and Test Control Notation），是国际标准化的测试准用开发编程语言，用于描述在多种通信端口上的各种响应系统测试。它典型的应用领域包括：移动通信、宽带技术、中间件平台、互联网协议等。 　　本文描述了一种简单的TTCN-3编译器和执行器的设计和实现，能够提供完整的TTCN-3运行环境。将其命名为ATR――A TTCN-3 Runner。 　　ATR使用的主要开发工具：JDK 5.0、Eclipse 3.4、Antlr3+StringTemplate3.2+AntlrWorks、SVN 　　1 编译器 　　ATR选择ANTLR3作为编译器生成器，实现将TTCN-3脚本翻译为JAVA代码。同时，为了更好地控制代码生成，ATR使用了stringtemplate3.2作为代码生成模板引擎，由于TTCN3允许类型的超前引用，因此ATR采用两遍扫描来实现语法/词法分析、语义分析及代码生成。 　　语法/词法分析：MiniTTCN.g中实现 　　语义分析：MiniTTCNtree.g中实现 　　代码生成：MiniTTCNtree.g与MiniTTCN.stg中实现 　　1.1 MiniTTCN.g 　　首先对TTCN3代码进行第一遍扫描（输入为xxx.ttcn源码文件），分析源文件的语法并指出语法错误，构造符号表（第一遍扫描只生成type类定义如module/compnent/function/testcase/record…的符号表项），对于function、testcase和control部分定义的局部变量，延迟到第二遍扫描时再加入符号表。同时，MiniTTCN.g根据输入构造抽象语法树（AST），在MiniTTCNtree.g中进行的第二遍扫描即在该语法树的基础上进行。 　　1.2 MiniTTCNtree.g 　　该文件根据MiniTTCN.g写成，具体编写规则可参考antlr3相关文档，实现对MiniTTCN.g中生成的AST进行处理，并对TTCN3语义进行检查，最终调用MiniTTCN.stg中定义的规则生成代码。在该文件中，继续完善第一遍扫描时生成的符号表。 　　1.3 符号表 　　符号表保存了ATR编译器在编译TTCN-3文件的过程中，所有标识符的信息，如代码片断： 　　module m1{ 　　type component Mtype{ var integer i；const boolean b：=2；} 　　function f1（integer v1） runs on Mtype return integer{ 　　log（“Hello yatr！＼n”，“v1=“，v1）； 　　return 55+i； 　　} 　　} 　　表1 符号表 　　m_name=m1 m_attrib=MODULE m_name=i m_attrib=VALUE 　　m_subAttrib=null m_subAttrib=VAR 　　m_type=null m_type=（IntegerValueATR） 　　m_subTable=null m_subTable=null 　　m_subTypelist=null m_subTypelist=null 　　m_name=Mtype m_attrib=TYPE m_name=b m_attrib=VALUE 　　m_subAttrib=COMPONENT m_subAttrib=CONST 　　m_type=null m_type=（BooleanValueATR） 　　m_subTable=（i，b） m_subTable=null 　　m_subTypelist=null m_subTypelist=null 　　m_name=f1 m_attrib=FUNCTION 　　m_subAttrib=null 　　m_type=（IntegerValueATR） 　　m_subTable=（v1） 　　m_subTypelist=null 　　runsOnComp=Mtype 　　主符号表示例 子表示例 　　主符号表是贯穿整个编译过程的主要符号的符号表，比如函数名、组件名