基于动态符号执行的测试用例生成技术研究
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-8页 |
| 目录 | 第8-11页 |
| 图目录 | 第11-12页 |
| 表目录 | 第12-13页 |
| 第1章 绪论 | 第13-29页 |
| ·研究背景及意义 | 第13-14页 |
| ·测试用例的自动生成 | 第14-18页 |
| ·软件测试 | 第14-16页 |
| ·测试用例生成的发展 | 第16-17页 |
| ·测试生成的分类 | 第17-18页 |
| ·测试生成的发展与现状 | 第18-23页 |
| ·随机生成方法的发展与现状 | 第18-20页 |
| ·基于搜索的生成方法的发展与现状 | 第20-22页 |
| ·基于约束求解的生成方法的发展与现状 | 第22页 |
| ·测试生成存在的问题 | 第22-23页 |
| ·相关工作研究现状 | 第23-26页 |
| ·动态符号执行技术研究现状 | 第23-25页 |
| ·约束求解研究现状 | 第25-26页 |
| ·本文工作 | 第26-27页 |
| ·启发式搜索算法 | 第26页 |
| ·优化约束求解过程 | 第26-27页 |
| ·实验评估 | 第27页 |
| ·本文的组织结构 | 第27-28页 |
| ·小结 | 第28-29页 |
| 第2章 研究基础 | 第29-39页 |
| ·符号执行 | 第29-32页 |
| ·符号执行的思想 | 第29-32页 |
| ·符号执行的应用 | 第32页 |
| ·动态符号执行 | 第32-35页 |
| ·动态符号执行的思想 | 第33-34页 |
| ·动态符号执行工具 | 第34-35页 |
| ·约束求解 | 第35-37页 |
| ·约束求解技术 | 第35-36页 |
| ·约束求解技术的应用 | 第36页 |
| ·非线性约束求解技术 | 第36-37页 |
| ·小结 | 第37-39页 |
| 第3章 未覆盖分支数指导的搜索策略 | 第39-49页 |
| ·动态符号执行中的搜索策略 | 第39-40页 |
| ·未覆盖分支数指导搜索过程的启发策略 | 第40-46页 |
| ·动机与示例 | 第40-43页 |
| ·过程间控制流图 | 第43-44页 |
| ·基于UBE的分支权值 | 第44-46页 |
| ·计算分支权值的算法 | 第46-47页 |
| ·本章小结 | 第47-49页 |
| 第4章 优化约束求解过程 | 第49-57页 |
| ·动态符号执行中的约束求解过程 | 第49-50页 |
| ·约束求解过程中的问题 | 第50-52页 |
| ·改进动态符号执行中非线性约束的求解过程 | 第52-55页 |
| ·非线性约束中符号变量的表示 | 第52-54页 |
| ·非线性约束求解算法 | 第54-55页 |
| ·本章小结 | 第55-57页 |
| 第5章 实验与评估 | 第57-69页 |
| ·原型工具实现 | 第57页 |
| ·未覆盖分支数指导的搜索策略 | 第57-65页 |
| ·实验设计 | 第57-58页 |
| ·实验结果与分析 | 第58-65页 |
| ·优化约束求解过程 | 第65-67页 |
| ·实验设计 | 第65页 |
| ·实验结果与分析 | 第65-67页 |
| ·本章小结 | 第67-69页 |
| 第6章 总结与未来工作 | 第69-71页 |
| ·总结 | 第69-70页 |
| ·未来工作 | 第70-71页 |
| 参考文献 | 第71-77页 |
| 致谢 | 第77-79页 |
| 在读期间发表的学术论文与取得的研究成果 | 第79页 |
