CAJ | 학술논문

在实际调试中，程序员往往通过追溯错误的变量值及其传播来定位软件错误，其中具有错误值的变量称为感染变量，感染变量在失败运行中具有错误值的程序位置即为感染位置。提出了一种结合动态正向程序切片和语句覆盖信息对程序变量感染的初始位置进行定位的技术。该技术通过分析感染变量的起源与传播，可以更加精确地找到与感染变量相关的错误语句集合。与传统的基于程序覆盖信息的错误定位技术进行了对比实验，结果表明，该技术可定位程序中的感染变量及其初始感染位置，并且可以显著提高程序错误定位的精度。
재실제조시중，정서원왕왕통과추소착오적변량치급기전파래정위연건착오，기중구유착오치적변량칭위감염변량，감염변량재실패운행중구유착오치적정서위치즉위감염위치。제출료일충결합동태정향정서절편화어구복개신식대정서변량감염적초시위치진행정위적기술。해기술통과분석감염변량적기원여전파，가이경가정학지조도여감염변량상관적착오어구집합。여전통적기우정서복개신식적착오정위기술진행료대비실험，결과표명，해기술가정위정서중적감염변량급기초시감염위치，병차가이현저제고정서착오정위적정도。
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 com-bining 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 sig-nificantly improve the fault localization accuracy.