关键词: 错误定位, 变量感染, 动态程序切片, 语句覆盖信息

Abstract: 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.

Key words: fault localization, variable infection, dynamic program slicing, statement coverage