本书针对软件故障定位领域的关键科学问题，提出了“失效－故障定位－理解”模型，研究了测试用例优选和基于程序不变量的故障定位方法。为了“最大化地利用测试信息，选择适合于故障定位的测试用例集合”，提出了面向有效故障定位的测试用例优选方法；针对已有方法对不变量定义不完善导致可定位的缺陷种类有限、因缺少对失效状态传播的分析导致难于准确定位到失效产生根源等问题，提出了基于程序不变量分析多种缺陷类型和解析失效状态传播的故障定位方法。
第1章 绪论
1．1 课题背景及研究的目的和意义
1．2 “失效-故障定位-理解”模型
1．3 国内外研究现状
1．4 软件故障定位的难点问题分析
1．5 本文的主要研究内容和组织结构
第2章 面向有效故障定位的测试用例优选方法
2．1 引言
2．2 故障定位中测试用例选择的相关研究
2．3 面向有效故障定位的测试用例优选准则
2．4 测试用例优选模型
2．5 测试用例优选算法
2．6 实验结果与分析
