CAJ | 학술논문

当程序在测试中发生错误时，将形成一条错误的程序执行路径，程序员将会花费很多精力去检测程序代码和定位最终的程序错误。提出一种基于单条程序执行路径的错误定位方法，该方法通过对程序进行反向执行，计算出多个最弱前置条件及其相对应的疑似错误语句集，并生成错误定位树，来辅助程序员进行快速错误定位。对西门子测试数据集进行的实验表明了该方法具有良好的效果。
당정서재측시중발생착오시，장형성일조착오적정서집행로경，정서원장회화비흔다정력거검측정서대마화정위최종적정서착오。제출일충기우단조정서집행로경적착오정위방법，해방법통과대정서진행반향집행，계산출다개최약전치조건급기상대응적의사착오어구집，병생성착오정위수，래보조정서원진행쾌속착오정위。대서문자측시수거집진행적실험표명료해방법구유량호적효과。
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.