针对软件故障定位领域的关键科学问题，提出了“失效-故障定位-理解”模型，研究了测试用例优选和基于程序不变量的故障定位方法。为了“大化地利用测试信息，选择适合于故障定位的测试用例集合”，提出了面向有效故障定位的测试用例优选方法；针对已有方法对不变量定义不完善导致可定位的缺陷种类有限、因缺少对失效状态传播的分析导致难于准确定位到失效产生根源等问题，提出了基于程序不变量分析多种缺陷类型和解析失效状态传播的故障定位方法。

第1章 绪论
1．1 课题背景及研究的目的和意义
1．2 “失效-故障定位-理解”模型
1．3 国内外研究现状
1．4 软件故障定位的难点问题分析
1．5 本文的主要研究内容和组织结构

第2章 面向有效故障定位的测试用例优选方法
2．1 引言
2．2 故障定位中测试用例选择的相关研究
2．3 面向有效故障定位的测试用例优选准则
2．4 测试用例优选模型
2．5 测试用例优选算法
2．6 实验结果与分析
2．7 本章小结

第3章 基于程序不变量分析多种缺陷类型的故障定位
3．1 引言
3．2 相关研究
3．3 基于程序不变量的故障定位难点问题分析
3．4 研究框架
3．5 改进的程序不变量定义
3．6 三种粒度的程序插桩
3．7 两类难以用不变量违背检测的可疑语句的定位
3．8 测试用例优选
3．9 程序不变量的学习及不变量违背的检测
3．10 实验结果与分析
3．11 本章小结

第4章 基于程序不变量解析失效状态传播的故障定位
4．1 引言
4．2 研究框架
4．3 基于到达定值分析的常量赋值语句故障定位
4．4 基于依赖的失效状态传播分析
4．5 基于不变量违背置信度的语句可疑度计算
4．6 实验结果与分析
4．7 本章小结

第5章 基于示例解析失效状态传播的故障定位
5．1 引言
5．2 相关研究
5．3 代码多样化及失效状态传播问题分析
5．4 研究框架
5．5 实现形式多样的相似程序识别与聚类
5．6 解析失效状态传播上下文的故障定位
5．7 实验结果与分析
5．8 本章小结
结论
参考文献