[发明专利]一种有效的层次化错误定位方法

摘要

本发明公开了一种有效的层次化错误定位方法，该方法首先用错误路径中失败assert语句的取值初始化异常值集合V；然后从集合V中挑选一个异常值v计算其不可满足的最弱前置条件；计算异常值v产生的原因c；判断c是否含有错误语句，如果是则算法停止，否则从c出发，通过数据和控制依赖分析标识可能存在的其它异常值集合V’，并将集合V’中的异常值加入集合V中；迭代以上步骤，直到找到含错误语句的原因为止；最后输出含有错误语句的最小原因，以及该原因产生的异常值传递到失败断言语句所经过的原因集合。本发明在帮助调试人员执行错误定位的同时，还能提供有效的信息来辅助调试人员理解错误的形成原因，进而帮助其修护错误。

主权项

一种有效的层次化错误定位方法，包括以下步骤：1a)用给定的错误执行路径中失败断言语句中的谓词初始化异常值集合V；1b)从上述异常值集合V中选择一个异常值v，从产生异常值v的语句点开始，沿着错误执行路径往前，计算该异常值v的最弱前置条件，直到该最弱前置条件不可满足为止；1c)计算导致上述最弱前置条件不可满足的最小不可满足核心，标识影响该最小不可满足核心所含约束的语句集合，作为异常值v产生的最小原因，所述最小不可满足核心为含最少合取项的约束集合，删除该集合中的任何一个约束使原集合变为可满足公式；1d)判断上述计算的最小原因中是否含有错误语句，如果是则算法停止，否则标识其他可能的异常值V'，并循环以上步骤计算异常值V'中异常值产生的最小原因，直至找到含有错误语句的最小原因为止；1e)输出含有错误语句的最小原因，以及该含有错误语句的最小原因产生的异常值传递到失败断言语句所经过的原因集合，完成错误定位。