基于MSC的TTCN测试套自动生成方法研究

摘要

随着网络技术和测试技术的发展,协议测试技术越来越受到人们的重视.协议测试是用来保证协议实现的正确性和有效性的重要手段.作为协议测试的一种形式,协议一致性测试用于测试被测实现与协议规范要求的一致性,也是协议测试的基础.TTCN-3(测试和测试控制表示法第三版)是近年来备受业界关注的一种全新的测试描述语言,是协议一致性测试规范的基础构成要素之一,可以实现对网络协议的全方位测试. 本课题深入研究了TTCN-3的图形表示格式GFT,提出了一种基于形式化语言MSC的TTCN-3测试套生成方法.课题研究的目的是在测试套图形化表示形式的基础上进行测试套的开发,从而增强了测试套编写过程的可视性和可理解性,这在很大程度上减少了测试人员编写测试用例的工作量,提高了开发效率.课题在对TTCN-3核心语言和图形表示格式深入学习的基础上,实现了一个从TTCN-3的图形表示格式到核心语言的转换工具.通过这个工具,测试开发人员在测试例的开发过程中可以结合形式化描述语言,方便地实现对使用GFT图形格式表示的测试套的编辑操作,并在这个图形的基础上生成相应的测试例代码. 在课题研究的后期工作中,选用了诺基亚公司开发的一个手机游戏软件为例进行测试分析.通过测试可以得到结论:测试人员在测试过程中只需要了解测试工作的需求和简单的基于形式化描述语言消息序列图的GFI符号就可以得到测试例的基本流程.在测试流程代码生成之后,用户再添加相应的测试套定义部分就可以在测试平台上运行测试套,从而在一定程度上解决了测试套开发的繁琐和不直观,使测试套的编写工作更加方便快捷.

目录

文摘

英文文摘

声明

1引言

1.1课题研究背景

1.2课题研究内容与方法

1.3论文结构

2相关理论和技术介绍

2.1协议一致性测试

2.1.1协议测试的基本概念

2.1.2协议一致性测试技术

2.1.3抽象测试套和TTCN

2.2 TTCN-3 标准

2.2.1 TTCN-3的发展和应用

2.2.2 TTCN-3核心语言

2.2.3图形表示格式GFT

2.3消息序列图MSC

3基于MSC的TTCN-3测试套生成分析

3.1 GFT与核心语言的映射规则

3.1.1模块控制图表

3.1.2测试例图表

3.1.3函数图表

3.1.4可选步图表

3.2 GFT图形到TTCN-3测试套的转换

3.3 GFT测试套编辑生成工具

4测试套编辑生成工具的实现

4.1系统整体设计

4.2图形编辑模块的设计和实现

4.2.1图形编辑模块的结构设计

4.2.2图形编辑模块的实现

4.3图形/代码转换模块的设计和实现

4.4 GFT编辑环境的实现结果

5测试套编辑生成工具的测试

5.1测试步骤

5.2 GFT图形的生成

5.3测试代码的生成

6结论

参考文献

申请学位期间的研究成果及发表的学术论文

致谢