| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 图目录 | 第8-9页 |
| 第1章 前言 | 第9-14页 |
| ·研究背景和现状 | 第9-10页 |
| ·研究内容和意义 | 第10-11页 |
| ·本文工作 | 第11-12页 |
| ·术语和缩写 | 第12页 |
| ·本文章节组织 | 第12-13页 |
| ·小结 | 第13-14页 |
| 第2章 TTCN-3 测试语言和测试系统 | 第14-26页 |
| ·TTCN-3 测试语言发展 | 第14-18页 |
| ·TTCN-3 测试系统概述 | 第15页 |
| ·测试系统结构 | 第15-16页 |
| ·编解码器、测试适配器 | 第16-18页 |
| ·TTCN-3 语言组织 | 第18-24页 |
| ·类型和值定义 | 第19-20页 |
| ·约束、模版定义 | 第20-22页 |
| ·执行语句定义 | 第22-23页 |
| ·模块、测试例、函数、可选步定义 | 第23-24页 |
| ·TTCN-3 应用 | 第24-25页 |
| ·小结 | 第25-26页 |
| 第3章 通用编解码器需求分析 | 第26-31页 |
| ·使用TTCN-3 测试面临的挑战 | 第26-28页 |
| ·通用编解码器方案的提出及分析 | 第28-30页 |
| ·小结 | 第30-31页 |
| 第4章 通用编解码器设计实现 | 第31-45页 |
| ·系统结构设计 | 第31-32页 |
| ·模块结构设计 | 第32-42页 |
| ·总体模块设计 | 第32-33页 |
| ·类型和值模块设计 | 第33-37页 |
| ·编解码实现模块设计 | 第37-42页 |
| ·对外接口模块设计 | 第42页 |
| ·与现有TTCN-3 测试平台的集成 | 第42-44页 |
| ·小结 | 第44-45页 |
| 第5章 XML Schema 与 XML DTD 到 TTCN-3 转换 | 第45-56页 |
| ·XML Schema&DTD 介绍 | 第45-48页 |
| ·转换方案设计实现 | 第48-55页 |
| ·方案设计 | 第48-53页 |
| ·转换方案实现 | 第53-55页 |
| ·小结 | 第55-56页 |
| 第6章 程序依赖子图表示的软件漏洞模式及 SBF 工具的实现 | 第56-60页 |
| ·目前漏洞模式描述中存在的问题 | 第56页 |
| ·上下文相关的漏洞模式描述 | 第56-58页 |
| ·相似漏洞自动查找 | 第58页 |
| ·SBF 工具的实现 | 第58-59页 |
| ·小结 | 第59-60页 |
| 第7章 实验及分析 | 第60-68页 |
| ·手机支付业务的测试 | 第60-67页 |
| ·测试环境介绍 | 第60-62页 |
| ·测试设计方案 | 第62-65页 |
| ·测试结果分析 | 第65-67页 |
| ·小结 | 第67-68页 |
| 第8章 结束语 | 第68-69页 |
| 参考文献 | 第69-71页 |
| 附录 1 XML Schema 数据到 TTCN-3 数据转换实例 | 第71-74页 |
| 附录 2 使用通用编解码器的测试脚本实例 | 第74-76页 |
| 致谢 | 第76-77页 |
| 在读期间发表的学术论文与取得的研究成果 | 第77页 |
