一种基于单条程序执行路径的错误定位方法

当程序在测试中发生错误时，将形成一条错误的程序执行路径，程序员将会花费很多精力去检测程序代码和定位最终的程序错误．提出一种基于单条程序执行路径的错误定位方法，该方法通过对程序进行反向执行，计算出多个最弱前置条件及其相对应的疑似错误语句集，并生成错误定位树，来辅助程序员进行快速错误定位．对西门子测试数据集进行的实验表明了该方法具有良好的效果．

Fault Localization Method Based on Program Execution Trace

After a failed test is encountered and the error trace is generated, a significant amount of effort is often required for programmers to manually examine the program code and localize the failure's root cause. In this paper, we propose a fault localization method based on program execution trace. This method computes a set of possible error statements based on a combination of weakest pre-condition computation through program's reverse execution. All possible error statements are organized in a fault localization tree to help developer identify the root cause. Our experiments on SIR datasets demonstrate that our method can not only efficiently compute the possible causes, but also provide sufficient information to help programmers quickly locate the root cause.