基于过程间动态符号执行的自动测试工具设计与实现

摘要	第1-7页
Abstract	第7-10页
第一章 引言	第10-14页
·贡献	第12-13页
·本文结构	第13-14页
第二章 背景及相关工作	第14-20页
·动态符号执行	第14-16页
·过程间动态符号执行	第16-17页
·动态符号执行测试框架	第17-18页
·现有工具介绍	第18-20页
第三章 过程间动态符号执行算法设计	第20-27页
·函数摘要	第20页
·基于函数摘要的过程间动态符号执行算法	第20-23页
·其他过程间动态符号执行算法	第23-27页
第四章 通用约束范式设计	第27-37页
·约束求解工具Z3	第27-28页
·通用约束范式	第28-30页
·设计方案	第30-35页
·应用实例	第35-37页
第五章 过程间自动测试工具的设计与实现	第37-47页
·CAUT及其模块介绍	第37-39页
·Def-Use链设计	第39-42页
·执行树设计	第42-44页
·算法的实现	第44-47页
第六章 工具实现及实验评估	第47-51页
·工具实现	第47-48页
·应用实例	第48-50页
·实验评估	第50-51页
第七章 总结	第51-52页
参考文献	第52-56页
致谢	第56-57页
硕士期间科研成果	第57页