基于布尔程序的代码修复及逆向转换

摘要	第1-5页
Abstract	第5-7页
目录	第7-9页
第1章 前言	第9-13页
·背景意义	第9-10页
·研究现状	第10-11页
·本文工作	第11-12页
·本文结构安排	第12-13页
第2章 布尔程序以及转换规律	第13-25页
·布尔程序及satabs工具简介	第13页
·模型检测基本思想	第13-14页
·谓词抽象	第14页
·使用反例进行引导的抽象求精方法	第14-21页
·C程序和布尔程序的表达式对应关系	第21-24页
·小结	第24-25页
第3章 利用布尔程序进行代码修复	第25-44页
·代码修复的主要思想	第25-28页
·C程序到布尔程序的转换	第28页
·代码修复的过程描述	第28-33页
·布尔修复结果的化简	第33-37页
·布尔修复结果的逆转换	第37-43页
·小结	第43-44页
第4章 修复过程的模块设计及算法实现	第44-52页
·包含的模块介绍	第44-45页
·程序转换模块	第45-46页
·布尔程序修复模块	第46-48页
·修复结果逆转换模块	第48-49页
·小结	第49-50页
附件	第50-52页
第5章 实验与分析	第52-57页
·测试用例	第52页
·实验方法	第52-54页
·实验结果和分析	第54-56页
·本章小结	第56-57页
第6章 总结与展望	第57-59页
·总结	第57页
·展望	第57-59页
参考文献	第59-62页
致谢	第62-63页