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

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

Fault-localization Technique Based on Coincidental Correctness Probability

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.