声明
第1章 绪论
1.1 研究背景及意义
1.2 国内外研究现状
1.3 主要研究内容
1.4 论文组织结构
第2章 基于支持向量机的可满足性问题求解方法
2.1 研究背景
2.2 可满足性问题与支持向量机
2.3 基于SVM的相位预测
2.4 算法的应用
2.5 实验分析
2.6 本章小结
第3章 基于SAT求解和反例引导的错误定位方法
3.1 研究背景
3.2 基本理论
3.3 基于SAT求解和反例引导的最近证例求解算法
3.4 实验结果
3.5 本章小结
第4章 基于改进遗传算法的反例理解
4.1 研究背景
4.2 遗传算法整体框架
4.3 基于遗传算法的证例生成
4.4 算法分析与实验结果
4.5 本章小结
第5章 基于最弱前置条件的快速错误定位算法
5.1 研究背景
5.2 基本理论
5.3 基于最弱前置条件的软件错误定位
5.4 实验分析
5.5 本章小结
结论
参考文献
攻读博士学位期间发表的论文和取得的科研成果
致谢