基于语言转换的TTCN-3测试系统的设计与实现

摘要

TTCN-3是被ETSI和ITU-T标准化的新一代协议和软件测试语言，有着广泛的应用前景。为了执行这种语言，需要设计专用的编译器或解释器，以及相关的测试平台。通过研究分布式测试系统的模型，在深入理解TTCN-3标准的基础上，分析了TTCN-3测试系统的实现模型，并以DCOM技术为基础，实现了TTCN-3分布式测试系统。 使用“编译-中间代码-编译”的编译器模式，完成了TTCN-3和ASN.1脚本到可执行代码的转换。分析和讨论了编译系统同时支持TTCN-3和ASN.1语言的各种编译方案，在编译架构中使用模块转换完成了对ASN.1和TTCN-3语言的编译支持。在研究其它翻译方案的基础上，提出并实现了TTCN-3到C++代码转换的两种方案。充分利用C++语言的多态特性，将TTCN-3和ASN.1中的各种类型信息静态化，将TTCN-3中的类型、值和模板整合到一个类型层次，简化了中间代码的复杂度，提高其编译效率；分析TTCN-3语言的类型系统继承规则，提出了削减其继承层次的方案，进一步简化中间代码的复杂度，提高其执行效率。 以DCOM技术为基础，分析了TTCN-3分布式测试的特点与不足，扩展了TTCN-3测试组件创建机制以及分布式同步机制，给出了一种TTCN-3分布式测试系统的实现。分析了TTCN-3测试系统执行机中ASN.1编解码的实现机制，并从透明性、分布性、安全性等方面讨论了在TTCN-3分布式测试系统中需要考虑的问题，并给出了解决方案。 通过对TTCN-3测试平台在防火墙测试中的应用，分析了分布式TTCN-3测试系统的测试流程，结果表明能够满足标准要求的并发执行语义，验证了平台的正确性和可用性。

目录

文摘

英文文摘

声明

第1章引言

1.1 研究背景

1.2 研究内容

1.3 本文组织结构

第2章TTCN测试系统

2.1 协议测试

2.1.1协议测试的概念

2.1.2协议测试的类型

2.1.3 协议一致性测试框架

2.2 分布式测试系统

2.2.1 C/S分布式架构

2.2.2分布式协议测试结构

2.3 基于TTCN-3方法的分布式测试系统

2.3.1 TTCN-3语言

2.3.2现有TTCN测试工具的研究

第3章TTCN-3测试系统总体设计

3.1 TTCN-3标准测试平台模型

3.2 测试系统架构设计

3.3 TTCN-3系统设计

第4章 编译器的设计与实现

4.1 TTCN-3与ASN.1比较

4.1.1 TTCN-3语言特点

4.1.2 ASN.1的语言特点

4.1.3 TTCN-3与ASN.1的联合使用

4.2 编译器架构设计

4.3 A2T转换器设计

4.3.1 A2T模块设计

4.3.2 A2T处理流程

4.4 翻译设计

4.4.1类型约束与优化

4.4.2类型系统翻译设计

第5章 执行器与组件管理

5.1 编译支持库

5.2 编解码支持

5.3 分布式执行器设计

5.3.1节点标识与透明性

5.3.2测试例执行与并发性

5.3.3安全性

5.3.4其它问题

第6章TTCN-3测试平台的应用

6.1 引言

6.2 被测对象

6.3 测试环境构建

6.4 抽象测试套

6.5 测试流程分析

6.6 分布式与非分布式测试对比

6.7 结果说明

6.8 小结

第7章 结束语

参考文献

致谢

在读期间发表的学术论文与取得的其他研究成果