基于GFT的测试环境的研究与实现

论文摘要

TTCN-3语言越来越多地被应用于协议一致性测试中,TTCN-3的图形化表示给用户提供了友好的图形化描述手段。标准的GFT标准只能够描述测试逻辑对应的图形化表示,自动生成的测试脚本也仅包含测试逻辑部分。本文对GFT标准进行了扩展,使其不但定义了测试逻辑的图形化表示,而且也定义了测试数据的图形化表示,为自动生成完整的测试脚本提供了坚实的基础。根据扩展后的GFT标准开发的GFT建模工具,可以在其上进行TTCN-3脚本的图形化建模,并支持将建模后的图形转换成对应的TTCN-3核心语言脚本。为了对已有的TTCN-3测试脚本进行图形化呈现以查看或修改,该工具利用已有的LoongTesting编译前端,可以将已有的TTCN-3测试套转换为对应的GFT表示。不仅如此,对可执行测试套执行日志的解析,可以将ETS的执行路径图形化地呈现出来,有助于理解程序执行逻辑和错误定位等。本研究实现的图形化建模工具已经应用在BookStore测试中,完整生成了需要的测试套,共110个测试用例,代码有2万多行,该测试套被成功使用在上海新思公司的科技项目中,与我们实验室开发的中国移动NFC测试套对比,测试效率提高了将近50%。将开源的SIP协议测试脚本（含528个测试用例,共计6万余行代码）转换成了其对应的GFT表示,使得对复杂SIP脚本的理解难度大大降低,工具的功能性和鲁棒性也都得到了很好的验证,使得测试效率得到了很大的提高。

论文目录

• 摘要
• ABSTRACT
• 图目录
• 表目录
• 第一章 引言
• 1.1 研究背景与意义
• 1.2 国内外研究现状
• 1.3 研究内容
• 1.4 论文结构
• 1.5 术语和缩写
• 第二章 协议一致性测试与 TTCN-3
• 2.1 协议一致性测试简介
• 2.2 TTCN-3 发展历史
• 2.3 TTCN-3 核心语言
• 2.3.1 类型和值定义
• 2.3.2 子类型定义
• 2.3.3 模板定义
• 2.3.4 执行语句定义
• 2.3.5 模块，函数，测试例，可选步定义
• 2.4 TTCN-3 测试系统
• 2.5 TTCN-3 图形化格式GFT
• 2.6 小结
• 第三章 TTCN-3 语言协议一致性测试平台
• 3.1 TTCN-3 测试平台总体框架
• 3.2 编译子系统
• 3.2.1 词法分析与语法分析
• 3.2.2 静态语义检查
• 3.2.3 代码生成
• 3.3 执行子系统
• 3.4 小结
• 第四章 映射规则及 GFT 扩展分析
• 4.1 GFT 与核心语言的映射规则
• 4.1.1 控制图表
• 4.1.2 函数图表
• 4.1.3 测试例图表
• 4.1.4 可选步图表
• 4.1.5 GFT 符号元素
• 4.2 GFT 扩展分析
• 4.2.1 GFT 标准及需求分析
• 4.2.2 扩展方法
• 4.2.3 映射规则
• 4.3 小结
• 第五章 基于 GFT 的测试环境的研究与实现
• 5.1 系统设计
• 5.2 图形化建模模块的设计与实现
• 5.2.1 图形化建模模块的设计
• 5.2.2 图形化建模模块的实现
• 5.3 图形/代码转换模块的实现
• 5.4 代码/图形转换模块的实现
• 5.5 测试执行图形化显示
• 5.6 效果展示
• 5.7 与已有测试系统的集成
• 5.8 小结
• 第六章 应用实例分析
• 6.1 BookStore 测试
• 6.1.1 BookStore 测试用例
• 6.1.2 BookStore 测试脚本生成
• 6.2 SIP 测试
• 6.2.1 SIP 简介
• 6.2.2 SIP 测试脚本数据统计
• 6.2.3 SIP 测试脚本图形化效果
• 6.3 小结
• 结束语
• 参考文献
• 附录
• 附录一 TTCN-3 测试工具发展方向
• 致谢
• 在读期间发表的学术论文与取得的研究成果
• 1. 已发表论文
• 2. 参加的课题
• 3. 专利