周小莉,赵建华.基于偶然正确性概率的错误定位技术.软件学报,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 |
基金项目: |
|
摘要点击次数: 120 |
全文下载次数: 38 |
中文摘要: |
基于代码覆盖的错误定位技术是一种常用的错误定位方法,被用来识别与故障相关的程序元素.然而,有研究工作表明基于代码覆盖的错误定位技术的有效性受到了偶然正确性现象的影响.偶然正确性现象是指程序中包含的错误被执行,但没有产生错误结果的情况,它在实际场景中是非常普遍的.在以往的研究工作中,我们提出了一种估算发生偶然正确性现象的概率的方法.该方法从程序运行时内存中值的定义-使用关系出发,对各语句的执行对程序输出的影响进行估计.基于偶然正确性概率,本文对基于代码覆盖的错误定位技术中可疑度的计算方法进行了修正,以消除偶然正确性现象对错误定位技术的影响.本文在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阅读器 |