摘要 | 第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页 |