| 摘要 | 第1-5页 |
| Abstract | 第5-7页 |
| 目录 | 第7-10页 |
| 图目录 | 第10-11页 |
| 表目录 | 第11-12页 |
| 第1章 绪论 | 第12-24页 |
| ·研究意义 | 第12页 |
| ·研究内容 | 第12-13页 |
| ·软件测试的研究与发展 | 第13-16页 |
| ·软件测试概述 | 第13-14页 |
| ·软件测试的基本方法 | 第14-16页 |
| ·变异测试的研究与发展 | 第16-21页 |
| ·国内研究现状 | 第17-18页 |
| ·国外研究现状 | 第18-21页 |
| ·组织结构 | 第21-22页 |
| ·本章小结 | 第22-24页 |
| 第2章 基础理论 | 第24-38页 |
| ·JUnit 单元测试框架 | 第24-29页 |
| ·单元测试基本概念 | 第24-25页 |
| ·单元测试的基本方法 | 第25-26页 |
| ·JUnit 单元测试框架简介 | 第26-27页 |
| ·面向Java 语言自动化单元测试工具 | 第27-29页 |
| ·变异测试技术 | 第29-34页 |
| ·变异测试基本概念 | 第29-30页 |
| ·变异测试优化技术 | 第30-31页 |
| ·基于变异测试的测试覆盖准则和测试工具评估 | 第31页 |
| ·变异测试工具介绍 | 第31-34页 |
| ·整数溢出简介 | 第34-35页 |
| ·不变量技术 | 第35-36页 |
| ·不变量基本概念 | 第35页 |
| ·不变量检测工具 | 第35-36页 |
| ·本章小结 | 第36-38页 |
| 第3章 基于变异测试的整数溢出漏洞检测 | 第38-46页 |
| ·整数溢出及其变异因子的构造 | 第38-42页 |
| ·宽度溢出（widthness overflow）及其变异因子设计 | 第38-39页 |
| ·算术溢出（arithmetic overflow）及其变异因子的设计 | 第39-40页 |
| ·符号缺陷（signedness bugs）及其变异因子的设计 | 第40-42页 |
| ·实验结果及分析 | 第42-43页 |
| ·本章小节 | 第43-46页 |
| 第4章 基于不变量技术的测试用例约简 | 第46-58页 |
| ·Daikon 提取动态不变量 | 第46-50页 |
| ·基于不变量的测试用例约简 | 第50-56页 |
| ·本章小结 | 第56-58页 |
| 第5章 基于变异测试的不变量约简测试用例评估 | 第58-74页 |
| ·实验程序简介 | 第58页 |
| ·实验环境 | 第58页 |
| ·实验步骤 | 第58-60页 |
| ·基于Randoop 的自动化单元测试用例生成 | 第60-63页 |
| ·Randoop 生成测试用例 | 第61-63页 |
| ·修正自动生成测试用例 | 第63页 |
| ·MuClipse 运行约简前后的测试用例 | 第63-66页 |
| ·实验结果及分析 | 第66-71页 |
| ·不变量约简测试用例的变异分析 | 第66-68页 |
| ·优化算法及其执行时间结果分析 | 第68-71页 |
| ·结果有效性分析(Threats to Validity) | 第71-72页 |
| ·本章小结 | 第72-74页 |
| 第6章 总结和未来工作 | 第74-76页 |
| ·全文总结 | 第74页 |
| ·进一步研究展望 | 第74-76页 |
| 致谢 | 第76-77页 |
| 在读期间发表的学术论文与取得的研究成果 | 第77-78页 |
| 参考文献 | 第78-81页 |
