基于频率差异积分的故障定位算法研究

软件故障定位是软件测试实践中最重要的活动之一。目前,利用人工方式通过调试器进行故障定位仍然占据主导地位,故障定位能力常常依赖于人员的知识和经验,调试效率低,调试支持工具相对较弱,对程序员要求高。因此,无论在软件开发阶段还是软件投入使用以后,软件调试和故障定位的自动化技术越来越成为一个有重要价值的研究课题。研究了多种成熟的基于谓词的统计学错误定位技术,分析了典型的参数化和非参数化故障定位统计模型,提出了一种新的基于谓词统计的故障定位算法:频率差异积分算法(Frequency Difference Integration,简称为FDI),突破了现有算法的部分限制;最后对FDI算法进行了验证,并和已有算法进行了对比,验证了其有效性和高效性。借助该研究成果,可以有效提高故障定位的准确率和覆盖率,这对于推动程序自动化调试技术、缩短软件开发周期、降低软件的维护成本具有一定的意义和实用价值。