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