增强上下文的错误定位技术

被引:13
作者
张卓 [1 ]
谭庆平 [1 ]
毛晓光 [1 ]
雷晏 [2 ,3 ]
常曦 [4 ]
薛建新 [1 ,4 ]
机构
[1] 国防科技大学计算机学院
[2] 重庆大学大数据与软件学院
[3] 信息物理社会可信服务计算教育部重点实验室(重庆大学)
[4] 上海第二工业大学计算机与信息工程学院
关键词
错误定位; 上下文; 动态切片; SFL; 可疑值;
D O I
暂无
中图分类号
TP311.53 [];
学科分类号
摘要
错误定位就是寻找程序错误的位置.现有的错误定位方法大多利用测试用例的覆盖信息,以标识一组导致程序失效的可疑语句,却忽视了这些语句相互作用导致失效的上下文.因此,提出一种增强上下文的错误定位方法Context-FL,以构建上下文的方式来优化错误定位性能.Context-FL利用动态切片技术构建数据与控制相关性的错误传播上下文,显示了导致失效的语句之间传播依赖关系;然后,基于可疑值度量来区分上下文片段中不同语句的可疑度;最后,Context-FL以标记可疑值的上下文作为定位结果.实验结果表明,Context-FL优于8种典型错误定位方法.
引用
收藏
页码:266 / 281
页数:16
相关论文
共 9 条
[1]
Prevalence of Coincidental Correctness and Mitigation of its Impact on Fault Localization [J].
Masri, Wes ;
Abou Assi, Rawad .
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2014, 23 (01)
[2]
A Theoretical Analysis of the Risk Evaluation Formulas for Spectrum-Based Fault Localization [J].
Xie, Xiaoyuan ;
Chen, Tsong Yueh ;
Kuo, Fei-Ching ;
Xu, Baowen .
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2013, 22 (04)
[3]
A Model for Spectra-Based Software Diagnosis [J].
Naish, Lee ;
Lee, Hua Jie ;
Ramamohanarao, Kotagiri .
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2011, 20 (03)
[4]
A practical evaluation of spectrum-based fault localization [J].
Abreu, Rui ;
Zoeteweij, Peter ;
Golsteijn, Rob ;
van Gemund, Arjan J. C. .
JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (11) :1780-1792
[5]
A family of code coverage-based heuristics for effective fault localization.[J].W. Eric Wong;Vidroha Debroy;Byoungju Choi.The Journal of Systems & Software.2009, 2
[6]
Towards locating execution omission errors [J].
Zhang, Xiangyu ;
Tallam, Sriraman ;
Gupta, Neelam ;
Gupta, Rajiv .
ACM SIGPLAN NOTICES, 2007, 42 (06) :415-424
[7]
Pruning dynamic slices with confidence [J].
Zhang, Xiangyu ;
Gupta, Neelam ;
Gupta, Rajiv .
ACM SIGPLAN NOTICES, 2006, 41 (06) :169-180
[8]
INTERPROCEDURAL SLICING USING DEPENDENCE GRAPHS [J].
HORWITZ, S ;
REPS, T ;
BINKLEY, D .
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1990, 12 (01) :26-60
[9]
PROGRAMMERS USE SLICES WHEN DEBUGGING [J].
WEISER, M .
COMMUNICATIONS OF THE ACM, 1982, 25 (07) :446-452