| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-11页 |
| 图目录 | 第11-13页 |
| 表目录 | 第13-14页 |
| 第1章 绪论 | 第14-24页 |
| ·研究背景与现状 | 第14-18页 |
| ·软件测试 | 第14页 |
| ·TTCN-3 | 第14-16页 |
| ·TTCN-3与测试 | 第16-18页 |
| ·研究内容 | 第18-19页 |
| ·TTCN-3建模技术 | 第18页 |
| ·TTCN-3编译器及符号执行方法的设计与实现 | 第18页 |
| ·TTCN-3执行器框架的设计与实现 | 第18页 |
| ·Web测试协议测试中的典型应用 | 第18-19页 |
| ·相关工作 | 第19页 |
| ·研究贡献 | 第19-20页 |
| ·论文结构 | 第20页 |
| ·术语与缩写 | 第20-24页 |
| 第2章 基于TTCN-3的测试建模 | 第24-40页 |
| ·测试的共有特征 | 第24-25页 |
| ·TTCN-3与测试模型的关系 | 第25-27页 |
| ·测试配置 | 第25页 |
| ·测试例 | 第25页 |
| ·测试执行及结果 | 第25-26页 |
| ·测试数据 | 第26页 |
| ·测试规范 | 第26-27页 |
| ·GUI测试建模 | 第27-36页 |
| ·GUI测试模型定义 | 第29-32页 |
| ·TTCN-3定义GUI测试 | 第32-36页 |
| ·测试执行 | 第36页 |
| ·相关理论 | 第36-39页 |
| ·有限状态机 | 第36-38页 |
| ·模型驱动测试 | 第38-39页 |
| ·本章小结 | 第39-40页 |
| 第3章 TTCN-3编译器及符号执行方法的设计与实现 | 第40-68页 |
| ·符号执行介绍 | 第40-41页 |
| ·TTCN-3解析 | 第41-42页 |
| ·TTCN-3语义表示 | 第42-46页 |
| ·通用元素 | 第43页 |
| ·符号表 | 第43-45页 |
| ·数据类型 | 第45页 |
| ·声明 | 第45页 |
| ·表达式和语句 | 第45-46页 |
| ·TTCN-3分析技术 | 第46-57页 |
| ·符号执行示例 | 第46-49页 |
| ·概念定义 | 第49页 |
| ·符号执行框架 | 第49-51页 |
| ·结构体 | 第51-53页 |
| ·函数调用 | 第53-54页 |
| ·计时器 | 第54-56页 |
| ·约束求解 | 第56-57页 |
| ·分析示例 | 第57-67页 |
| ·形式化验证与测试 | 第57-65页 |
| ·测试脚本正确性分析 | 第65-67页 |
| ·本章小结 | 第67-68页 |
| 第4章 TTCN-3执行器框架的设计与实现 | 第68-92页 |
| ·理论背景 | 第68-70页 |
| ·解释器 | 第69-70页 |
| ·抽象语法树解释器 | 第70页 |
| ·执行框架 | 第70-79页 |
| ·执行器流程 | 第71-72页 |
| ·执行器实现难点 | 第72-74页 |
| ·CCE方法 | 第74-75页 |
| ·VMP方法 | 第75-77页 |
| ·综合执行框架 | 第77-79页 |
| ·执行性能评测 | 第79-91页 |
| ·基准测试 | 第79-87页 |
| ·测试结果 | 第87-91页 |
| ·本章小结 | 第91-92页 |
| 第5章 Web测试协议测试中的典型应用 | 第92-108页 |
| ·Web测试 | 第92-100页 |
| ·背景 | 第92-93页 |
| ·分析建模 | 第93-94页 |
| ·测试执行 | 第94-98页 |
| ·相关工具 | 第98-100页 |
| ·协议一致性测试 | 第100-101页 |
| ·NFC系统测试 | 第101-107页 |
| ·分析建模 | 第103-105页 |
| ·测试执行 | 第105-106页 |
| ·测试结果 | 第106-107页 |
| ·本章小结 | 第107-108页 |
| 第6章 结束语 | 第108-109页 |
| ·本文的主要工作 | 第108页 |
| ·本文的贡献 | 第108页 |
| ·未来的工作 | 第108-109页 |
| 参考文献 | 第109-116页 |
| 致谢 | 第116-117页 |
| 在读期间发表的学术论文与取得的研究成果 | 第117-118页 |
| 在读期间参加的科研项目 | 第118页 |