程序调试是软件开发过程中的一项非常繁琐的工作,主要包括故障检测、故障定位、故障修复。其中故障定位是调试过程中最为耗时和费力的活动之一,它通过审查源程序语义和结构,结合分析程序的执行过程及结果,辅助开发人员找到软件故障位置。高效地定位软件故障可减轻程序员手工排查程序语句的工作量,提升调试速度和效率。近年来,在人工智能领域和软件工程自动化领域已经出现了很多诊断技术,其中基于测试的故障定位方法(TBFL)成为研究的热点,它只需提供测试用例成功和失效的信息,使得检测者在不必了解程序的内部结构和逻辑甚至不具备程序知识的情况下依然能检测程序错误。但是对于不同错误类型的程序,TBFL仍然存在着一定程度的缺陷。本论文归纳了关于TBFL技术的发展,提出了一种改进的基于故障传播的软件故障定位方法,它主要通过获取程序的执行路径和依赖关系信息,对程序中存在的故障状态的传播进行修正,最终求出语句的出错可疑度。做法是通过插装程序、运行测试用例得到程序的动态的执行路径覆盖信息和依赖关系信息,计算各个节点的初始可疑度和依赖对的可疑度值,并建立故障传播模型,用本文提出的方法求出语句的可疑度值,得到程序语句的可疑度排名表,最终实现帮助调试人员进行故障定位的目的。本论文通过使用Siemens套件作为实验程序,采用普遍使用的评判标准对算法的准确度进行了评估,并与多个现有的程序错误定位技术进行分析比较。实验结果表明,本文提出的方法相对于其他的定位方法有很好的定位效果,程序中存在的故障传播因素得到了很好的考虑,本文所做的算法改进是有效的,有助于程序员高效地进行程序调试。