摘要
基于程序频谱的动态缺陷定位(spectrum based dynamic fault localization,SFL)可分为基于可执行语句覆盖的方法和基于谓词覆盖的方法。通过分析以上两类方法可以发现:a)基于可执行语句覆盖的方法未考虑谓词错误和执行结果之间的关联;b)基于谓词覆盖的方法只针对谓词进行插桩,最后只计算谓词的可疑度并对谓词进行排序,如果缺陷是非谓词,此类方法无法准确定位缺陷位置;c)忽略了基本块之间的关联和层次特性,将各个基本块看成相互独立的个体。为解决上述问题,首先,将谓词错误与执行结果之间的关联性这一有用信息加入到算法的设计中;其次,加入谓词分层覆盖与分析的思想,对覆盖矩阵中的基本块进行细分和分层;最后,将两者结合,提出一种基于谓词分层覆盖矩阵的缺陷定位方法,即谓词分层覆盖算法Phcm。将西门子程序集作为目标程序,通过与其他三种缺陷定位方法进行对比实验,验证了该方法在提高缺陷定位的精准度和减小代码检查率上的有效性。
Executable statement coverage and predicate coverage are two basic methods for spectrum based dynamic fault lo- calization. By analyzing the above two methods, it is found that： a） the method based on executable statements does not con- sider the association between the predicate error and the execution result; b） the method based on predicate coverage only does instrumentation on predicate, calculates the suspicious score of predicate and does sorting on predicate according to suspicious scores. If the fault is not from a predicate, the method will not locate the fault code statements accurately, c） Both methods ig- nore the correlation and hierarchical characteristics of the basic statements blocks and each block is treated as an independent entity. To solve the above problems, firstly, this paper added the relationship between predicate error and execution result to the algorithm. Secondly, by adding the idea of predicate hierarchical coverage and analysis, it subdivided and layered the basic blocks in the coverage matrix. Finally, by combining these two methods, this paper proposed a fault localization method based on predicate hierarchical coverage matrix, and provided a fauh localization algorithm Phem. It used the Siemens suite as the target program. By comparing with three other fault localization methods, the effectiveness of the proposed method is verified in improving the accuracy of 1：he fault localization and the code checking rate is also decreased.
出处
《计算机应用研究》
CSCD
北大核心
2016年第8期2375-2380,2395,共7页
Application Research of Computers
基金
国家质检公益性行业科研专项基金资助项目(201310032-3)
关键词
程序频谱
谓词错误
分层覆盖矩阵
缺陷定位
program spectrum
predicate error
hierarchical coverage matrix
fault localization
作者简介
作者简介：朱润凝（1991-），女，江西景德镇人，硕士研究生，主要研究方向为软件工程（zhu_running@163．com）；
赵逢禹（1963-），男，山东德州人，教授，博士，主要研究方向为软件工程．
