基于变量感染分析的软件错误定位技术

Software Fault Localization Technique Based on Variable Infection

在实际调试中,程序员往往通过追溯错误的变量值及其传播来定位软件错误,其中具有错误值的变量称为感染变量,感染变量在失败运行中具有错误值的程序位置即为感染位置。提出了一种结合动态正向程序切片和语句覆盖信息对程序变量感染的初始位置进行定位的技术。该技术通过分析感染变量的起源与传播,可以更加精确地找到与感染变量相关的错误语句集合。与传统的基于程序覆盖信息的错误定位技术进行了对比实验,结果表明,该技术可定位程序中的感染变量及其初始感染位置,并且可以显著提高程序错误定位的精度。

In order to fix the fault, the programmers not only need to know the code location of the fault, but also need to understand how the execution of the fault introduces errors into the program state in the form of variable infection, whose propagation results in the failure. This paper proposes a novel technique to locate the first infection by combining the statement coverage information and dynamic forward slicing analysis. This technique can accurately find the fault statements set associated with infected variable by analyzing the origin and spread of the infected variables. This paper also conducts an experiment to compare the new technique with other state-of-the-art fault localization techniques. The results show that the new technique can identify the location of the initial variable infection, and significantly improve the fault localization accuracy.