| 摘要 | 第1-5页 |
| ABSTRACT | 第5-9页 |
| 第1章 前言 | 第9-12页 |
| ·本文的研究内容及意义 | 第10页 |
| ·文章的组织结构 | 第10-11页 |
| ·本章小结 | 第11-12页 |
| 第2章 编译器测试技术研究 | 第12-19页 |
| ·编译器测试技术简介 | 第12-17页 |
| ·编译器基本原理 | 第12-13页 |
| ·编译器测试的特点及难点 | 第13-15页 |
| ·编译器测试方法 | 第15-17页 |
| ·国内外研究现状及发展趋势 | 第17-18页 |
| ·本章小结 | 第18-19页 |
| 第3章 TTCN-3 编译器测试 | 第19-30页 |
| ·TTCN-3 测试语言 | 第19-23页 |
| ·TTCN-3 测试系统开发项目简介 | 第23-24页 |
| ·TTCN-3 测试系统整体架构 | 第23-24页 |
| ·TTTDS2 测试工作介绍 | 第24-26页 |
| ·TTCN-3 编译器测试概况 | 第26-29页 |
| ·TTCN-3 编译器测试目前采用的方法 | 第26-27页 |
| ·TTCN-3 编译器测试中存在的问题 | 第27-28页 |
| ·解决方法 | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 第4章 测试覆盖算法研究 | 第30-41页 |
| ·测试覆盖度量方法 | 第30-33页 |
| ·测试覆盖度量在软件测试中的重要性 | 第30页 |
| ·常用测试覆盖度量方法 | 第30-33页 |
| ·文法测试覆盖算法分析 | 第33-40页 |
| ·文法测试定义 | 第33-35页 |
| ·相关定义 | 第35-36页 |
| ·规则覆盖算法——Purdom 算法 | 第36-39页 |
| ·上下文依赖规则覆盖算法 | 第39-40页 |
| ·本章小结 | 第40-41页 |
| 第5章 语义覆盖算法 | 第41-49页 |
| ·属性文法理论 | 第41-43页 |
| ·语义覆盖算法 | 第43-47页 |
| ·相关定义 | 第43页 |
| ·测试覆盖度量准则定义 | 第43-44页 |
| ·算法基本思想 | 第44-45页 |
| ·算法流程 | 第45-47页 |
| ·测试用例生成方法分析 | 第47-48页 |
| ·本章小结 | 第48-49页 |
| 第6章 TTCN-3 编译器测试用例自动生成与扩展 | 第49-57页 |
| ·系统框架 | 第49-50页 |
| ·异常测试数据的生成 | 第50-51页 |
| ·测试用例的扩展 | 第51-56页 |
| ·语义覆盖算法生成的黑盒测试用例输入 | 第52页 |
| ·收集并求解被测编译器实现判定条件 | 第52-54页 |
| ·扩展生成新的测试用例 | 第54-55页 |
| ·实例分析 | 第55-56页 |
| ·本章小结 | 第56-57页 |
| 第7章 结束语 | 第57-58页 |
| 参考文献 | 第58-60页 |
| 附录 | 第60-65页 |
| 附录1:相关缩略语(按在文中出现的先后顺序排列) | 第60-61页 |
| 附录2:上下文无关规则覆盖算法的伪代码描述(Purdom 算法) | 第61-65页 |
| 致谢 | 第65-66页 |
| 在读期间发表的学术论文与取得的研究成果 | 第66页 |