封面
声明
中文摘要
英文摘要
目录
第一章 绪论
1.1研究的背景与意义
1.2国内外研究现状
1.3研究的主要内容与贡献
1.4文章组织结构
第二章 背景技术介绍
2.1符号执行技术
2.2 SMT求解技术
2.3本章小结
第三章 基于符号执行的自动测试案例生成工具设计与实现
3.1总体框架设计
3.2测试案例自动生成流程
3.3 AUTCS的设计与实现
3.4实验及分析
3.5本章小结
第四章 SMT求解器适配接口优化约束求解
4.1 SMT-LIB标准语言和SMT求解器
4.2求解器适配接口设计
4.3求解器适配接口实现
4.4本章小结
第五章 智能覆盖策略缓解路径爆炸问题
5.1软件度量
5.2基本搜索策略
5.3基于随机搜索与深度优先搜索结合之快速分支覆盖
5.4基于CFG图的深度优先搜索策略
5.5本章小结
第六章 并行技术提升测试案例生成工具性能
6.1并行处理技术
6.2并行搜索策略
6.3并行求解技术
6.4实验及分析
6.5本章小结
第七章 总结与展望
7.1总结
7.2展望
致谢
参考文献
攻读硕士学位期间取得的成果