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