| 摘要 | 第1-5页 |
| Abstract | 第5-12页 |
| 第一章 绪论 | 第12-16页 |
| ·课题研究的背景、目的和意义 | 第12-13页 |
| ·国内外研究概况 | 第13-14页 |
| ·本文的主要研究内容 | 第14页 |
| ·本文的组织结构 | 第14-16页 |
| 第二章 课题相关技术 | 第16-24页 |
| ·逆向工程与程序理解 | 第16-17页 |
| ·程序输入域的确定方法 | 第17-19页 |
| ·基于程序规范的输入域确定 | 第18页 |
| ·基于程序分析的输入域确定 | 第18-19页 |
| ·基于约束传播的路径输入域确定 | 第19页 |
| ·软件测试 | 第19-21页 |
| ·测试自动化 | 第21-22页 |
| ·区间算术 | 第22-23页 |
| ·本章小结 | 第23-24页 |
| 第三章 程序输入域的自动确定方法研究 | 第24-38页 |
| ·路径输入域与程序输入域 | 第24-25页 |
| ·变量取值范围的区间表示及运算 | 第25-26页 |
| ·基于双约束传播的程序路径输入域确定 | 第26-36页 |
| ·程序理解与约束集生成 | 第27-28页 |
| ·双约束传播 | 第28-30页 |
| ·方法实现 | 第30-33页 |
| ·实例分析 | 第33-36页 |
| ·本章小结 | 第36-38页 |
| 第四章 输入域测试数据自动生成方法研究 | 第38-46页 |
| ·输入域测试数据自动生成原理及策略 | 第38-40页 |
| ·测试数据自动生成方法在代码覆盖率测试中的应用 | 第40页 |
| ·测试数据自动生成方法的实现 | 第40-43页 |
| ·实例分析 | 第43-44页 |
| ·本章小结 | 第44-46页 |
| 第五章 基于程序理解的输入域测试用例自动生成系统设计与实现 | 第46-50页 |
| ·系统概述 | 第46页 |
| ·自动测试系统设计 | 第46-47页 |
| ·自动测试系统实现 | 第47-49页 |
| ·本章小结 | 第49-50页 |
| 第六章 结论与展望 | 第50-51页 |
| ·本文的主要贡献 | 第50页 |
| ·进一步的工作 | 第50-51页 |
| 参考文献 | 第51-54页 |
| 附录A 边界策略生成的测试数据 | 第54-58页 |
| 已发表的论文和参与的项目 | 第58-59页 |
| 致谢 | 第59-60页 |
| 作者与导师介绍 | 第60-61页 |
| 附件 | 第61-62页 |