| 摘要 | 第1-7页 |
| Abstract | 第7-10页 |
| 第一章 引言 | 第10-13页 |
| ·贡献 | 第12页 |
| ·本文结构 | 第12-13页 |
| 第二章 背景 | 第13-19页 |
| ·程序正确性保障方法 | 第13-14页 |
| ·软件测试 | 第14-15页 |
| ·动态符号执行与测试数据自动生成 | 第15-18页 |
| ·约束求解技术 | 第18-19页 |
| 第三章 研究动机与方法示例 | 第19-24页 |
| 第四章 并行化测试数据自动生成 | 第24-41页 |
| ·程序执行模型 | 第24-27页 |
| ·并行路径搜索策略 | 第27-29页 |
| ·并行化测试数据自动生成 | 第29-41页 |
| ·并行化结构 | 第29页 |
| ·工作者节点 | 第29-31页 |
| ·调度器节点 | 第31-41页 |
| 第五章 方法实现、实验与评估 | 第41-48页 |
| ·方法实现 | 第41-44页 |
| ·总览 | 第41-42页 |
| ·待测程序源代码处理 | 第42-43页 |
| ·工作节点实现 | 第43页 |
| ·调度器实现 | 第43-44页 |
| ·实验准备 | 第44页 |
| ·实验计划与数据收集策略 | 第44-48页 |
| 第六章 总结 | 第48-49页 |
| 参考文献 | 第49-52页 |
| 研究生阶段论文发表情况 | 第52-53页 |
| 致谢 | 第53页 |