基于偶然正确性概率的错误定位技术
作者:
作者单位:

作者简介:

周小莉(1988-),女,博士生,主要研究领域为程序分析,软件测试.
赵建华(1971-),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为软件工程,形式化方法.

通讯作者:

赵建华,E-mail:zhaojh@nju.edu.cn

中图分类号:

TP311

基金项目:


Fault-localization Technique Based on Coincidental Correctness Probability
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    基于代码覆盖的错误定位技术是一种常用的错误定位方法,被用来识别与故障相关的程序元素.然而,有研究工作表明,基于代码覆盖的错误定位技术的有效性受到了偶然正确性现象的影响.偶然正确性现象是指程序中包含的错误被执行,但没有产生错误结果的情况,它在实际场景中是非常普遍的.根据以往的研究工作,提出了一种估算发生偶然正确性现象概率的方法.该方法从程序运行时内存中值的定义-使用关系出发,将各语句的执行对程序输出的影响进行了估计.基于偶然正确性概率,对基于代码覆盖的错误定位技术中可疑度的计算方法进行了修正,以消除偶然正确性现象对错误定位技术的影响.在SIR(software-artifact infrastructure repository)中提供的西门子测试套件上进行了实验,这也是偶然正确性相关工作中常被使用的目标程序.实验结果表明,相对于基于代码覆盖信息的错误定位技术,提出的方法提高或至少维持了原有的安全性,并较好地提高了错误定位的精确度.

    Abstract:

    Coverage-based fault localization is a common technique that identifies the executing program elements correlating with failure. However, the effectiveness of coverage-based fault localization suffers from the effect of coincidental correctness which occurs when a fault is executed but no failure is detected. Coincidental correctness is prevalent. In the previous work, a method is proposed to estimate the probability that coincidental correctness happens for each program execution using dynamic data-flow analysis and control-flow analysis. In this study, a new fault-localization approach is proposed based on the coincidental correctness probability. To evaluate the proposed approach, safety and precision are used as evaluation metrics. The experiment involved Siemens test suite from Software-artifact Infrastructure Repository (SIR) which is mostly used in related works. The results are compared with Tarantula and the fault-localization technique based on coincidental correctness probability. The results show that the proposed approach can improve the safety and precision of the fault-localization technique significantly.

    参考文献
    相似文献
    引证文献
引用本文

周小莉,赵建华.基于偶然正确性概率的错误定位技术.软件学报,2021,32(4):1039-1050

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2020-09-13
  • 最后修改日期:2020-10-26
  • 录用日期:
  • 在线发布日期: 2021-01-22
  • 出版日期: 2021-04-06
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号