| 摘要 | 第6-8页 |
| ABSTRACT | 第8-9页 |
| 第一章 绪论 | 第12-30页 |
| 1.1 现有的自动化测试用例生成方法 | 第15-20页 |
| 1.2 基于覆盖准则测试的相关工作 | 第20-22页 |
| 1.3 现有问题 | 第22-26页 |
| 1.4 本文的主要工作和创新点 | 第26-28页 |
| 1.5 本文的结构 | 第28-30页 |
| 第二章 测试用例自动化生成技术 | 第30-40页 |
| 2.1 符号执行 | 第32-36页 |
| 2.2 基于模型的测试 | 第36-40页 |
| 第三章 基于控制流覆盖准则的测试用例自动化生成方法 | 第40-62页 |
| 3.1 基于覆盖结构的自动化测试框架 | 第41-46页 |
| 3.2 覆盖驱动测试的优化技术 | 第46-53页 |
| 3.3 实验方法与验证 | 第53-59页 |
| 3.4 本章小结和相关工作 | 第59-62页 |
| 第四章 基于数据流覆盖准则的测试用例自动化生成方法 | 第62-86页 |
| 4.1 基于符号执行的数据流测试方法 | 第63-71页 |
| 4.2 基于模型检查的数据流测试方法 | 第71-73页 |
| 4.3 混合的数据流测试方法 | 第73-74页 |
| 4.4 实验方法与验证 | 第74-84页 |
| 4.5 本章小结和相关工作 | 第84-86页 |
| 第五章 基于混合覆盖准则的GUI测试用例自动化生成方法 | 第86-108页 |
| 5.1 基于模型的GUI测试方法 | 第87-88页 |
| 5.2 Android应用程序的模型构建方法 | 第88-94页 |
| 5.3 混合覆盖准则导向的GUI测试用例生成方法 | 第94-100页 |
| 5.4 实验方法与验证 | 第100-107页 |
| 5.5 本章小结和相关工作 | 第107-108页 |
| 第六章 工具实现 | 第108-114页 |
| 6.1 CAUT 工具的实现 | 第108-111页 |
| 6.2 FSMdroid工具的实现 | 第111-112页 |
| 6.3 本章小结 | 第112-114页 |
| 第七章 总结与展望 | 第114-118页 |
| 7.1 全文小结 | 第114-116页 |
| 7.2 未来工作展望 | 第116-118页 |
| 附录A | 第118-126页 |
| 参考文献 | 第126-149页 |
| 致谢 | 第149-151页 |
| 攻读博士学位期间发表论文和参与科研情况 | 第151-153页 |
