基于符号执行与遗传算法的单元测试研究与应用
| 致谢 | 第1-6页 |
| 摘要 | 第6-7页 |
| ABSTRACT | 第7-10页 |
| 1 引言 | 第10-16页 |
| ·研究背景 | 第10-11页 |
| ·目的和意义 | 第11页 |
| ·研究现状及发展趋势 | 第11-14页 |
| ·软件测试发展现状及其趋势 | 第11-13页 |
| ·符号执行研究现状和发展趋势 | 第13-14页 |
| ·论文的组织结构 | 第14-16页 |
| 2 软件测试概述 | 第16-25页 |
| ·软件测试的原则 | 第16-17页 |
| ·软件测试的分类 | 第17-22页 |
| ·黑盒测试和白盒测试 | 第17-19页 |
| ·动态测试和静态测试 | 第19-22页 |
| ·自动化测试技术的方法 | 第22-24页 |
| ·总结 | 第24-25页 |
| 3 基于符号执行的参数化单元测试 | 第25-45页 |
| ·符号执行基本原理 | 第25-33页 |
| ·控制流图和控制依赖分析 | 第26-27页 |
| ·符号执行基本原理 | 第27-30页 |
| ·符号执行树 | 第30-33页 |
| ·符号执行的应用 | 第33-34页 |
| ·自动化单元测试 | 第34-44页 |
| ·单元测试概述 | 第34-36页 |
| ·参数化单元测试的基本原理 | 第36-40页 |
| ·基于动态符号执行的参数化单元测试 | 第40-44页 |
| ·本章小结 | 第44-45页 |
| 4 基于遗传算法的搜索策略 | 第45-56页 |
| ·遗传算法 | 第45-49页 |
| ·遗传算法执行过程 | 第46-48页 |
| ·遗传算法存在的问题 | 第48-49页 |
| ·模拟退火算法 | 第49-50页 |
| ·模拟退火算法的思想 | 第49页 |
| ·模拟退火算法步骤描述 | 第49-50页 |
| ·退火遗传算法 | 第50-55页 |
| ·遗传算子的改进 | 第52页 |
| ·适应值函数的构造 | 第52-55页 |
| ·本章小结 | 第55-56页 |
| 5 实验和分析 | 第56-69页 |
| ·参数化单元测试工具实验分析 | 第56-61页 |
| ·遗传算法实验分析 | 第61-67页 |
| ·被测程序选择 | 第61-63页 |
| ·实验结果 | 第63-66页 |
| ·实验结果分析 | 第66-67页 |
| ·本章小结 | 第67-69页 |
| 6 总结与展望 | 第69-71页 |
| 参考文献 | 第71-74页 |
| 附录A | 第74-76页 |
| 附录B | 第76-78页 |
| 作者简历 | 第78-80页 |
| 学位论文数据集 | 第80页 |
