【摘要】 错误定位是软件调试中非常耗时费力的活动之一,自动错误定位技术可以有效地提高调试效率,降低调试成本.基于最弱前置条件的错误定位技术,首先计算出程序需要满足的最弱前置条件,并为其构造错误分析图;然后在错误分析图上依照失败测试用例进行初始化标记;最后限定分析图的输入和输出,自顶向下再次对其进行标记,找到冲突的结点,从而进行错误定位.实验结果表明,相对于其它方法,文中提出的方法能有效地提高程序错误定位的效率,使得调试人员只需检查更少的语句即可找到出错的位置.更多还原

【Abstract】 Fault localization is one of the most time-consuming activities in software debugging, and automatic fault localization technique can effectively improve the efficiency and reduce the cost. In this paper,a fault localization technique based on weakest pre-condition is proposed. Firstly,we compute the weakest pre-condition, and construct the fault analysis graph. Secondly, label the nodes according to the failing test case. Finally, label the graph top-down again while the output is limited to true, and the input cannot be changed. The conflicting nodes were found as the possible errors. The experimental results suggest that the proposed method in this paper has better performance compared to other methods. So that the debugger can only check fewer statements to find out the location of the error.更多还原