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