主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2022年专刊出版计划 微信服务介绍 最新一期:2021年第2期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
周小莉,赵建华.基于偶然正确性概率的错误定位技术.软件学报,2021,32(4):2-0
基于偶然正确性概率的错误定位技术
A Fault-Localization Technique Based on Coincidental Correctness Probability
投稿时间:2020-09-13  修订日期:2020-10-26
DOI:10.13328/j.cnki.jos.006220
中文关键词:  偶然正确性现象  错误定位  测试
英文关键词:Coincidental correctness  Fault localization  Testing
基金项目:
作者单位E-mail
周小莉 计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210023  
赵建华 计算机软件新技术国家重点实验室(南京大学), 江苏 南京 210023 zhaojh@nju.edu.cn 
摘要点击次数: 130
全文下载次数: 42
中文摘要:
      基于代码覆盖的错误定位技术是一种常用的错误定位方法,被用来识别与故障相关的程序元素.然而,有研究工作表明基于代码覆盖的错误定位技术的有效性受到了偶然正确性现象的影响.偶然正确性现象是指程序中包含的错误被执行,但没有产生错误结果的情况,它在实际场景中是非常普遍的.在以往的研究工作中,我们提出了一种估算发生偶然正确性现象的概率的方法.该方法从程序运行时内存中值的定义-使用关系出发,对各语句的执行对程序输出的影响进行估计.基于偶然正确性概率,本文对基于代码覆盖的错误定位技术中可疑度的计算方法进行了修正,以消除偶然正确性现象对错误定位技术的影响.本文在Software-artifact Infrastructure Repository (SIR)中提供的西门子测试套件上进行了实验,这也是偶然正确性相关工作中常被使用的目标程序.实验结果表明,相对于基于代码覆盖信息的错误定位技术,本文提出的方法提高或至少维持了原有的安全性,并较好地提高了错误定位的精确度.
英文摘要:
      Coverage-based fault localization is a commontechnique that identi?es 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 our previous work, we propose a method to estimate the probability that coincidental correctness happens for each program execution using dynamic data-?ow analysis and control-?ow analysis. In this paper, we propose a new fault-localization approach based on the coincidental correctness probability. To evaluate our approach, we use safety and precision as evaluation metrics. Our experiment involved Siemens test suite from Software-artifact Infrastructure Repository (SIR) which is mostly used in related works. We compare the results with Tarantula and the the fault-localization technique based on coincidental correctness probability. The results show that our approach can improve the safety and precision of the fault-localization technique significantly.
HTML  下载PDF全文  查看/发表评论  下载PDF阅读器
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利