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

Software Fault Localization Technique Based on Variable Infection

作　　者：江联 黄海亮[1] 周晓聪[1] 王欣明[2] 李文军[2] 

机构地区：[1]中山大学信息科学与技术学院,广州510275 [2]中山大学软件学院,广州510275

出　　处：《计算机科学与探索》2014年第8期966-977,共12页Journal of Frontiers of Computer Science and Technology

基　　金：中山大学中央高校基本科研业务费专项资金 No.11LGPY39~~

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

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

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]