专利详情

专利名称	一种有效的层次化错误定位方法
申请号	CN201310548119.8	专利类型	发明专利
公开（公告）号	CN103559131A	公开（授权）日	2014.02.05
申请（专利权）人	中国科学院软件研究所	发明（设计）人	易秋萍;周艺;刘剑;赵琛;杨秋松
主分类号	G06F11/36(2006.01)I	IPC主分类号	G06F11/36(2006.01)I
专利有效期	一种有效的层次化错误定位方法至一种有效的层次化错误定位方法	法律状态	实质审查的生效
说明书摘要	本发明公开了一种有效的层次化错误定位方法，该方法首先用错误路径中失败assert语句的取值初始化异常值集合V；然后从集合V中挑选一个异常值v计算其不可满足的最弱前置条件；计算异常值v产生的原因c；判断c是否含有错误语句，如果是则算法停止，否则从c出发，通过数据和控制依赖分析标识可能存在的其它异常值集合V’，并将集合V’中的异常值加入集合V中；迭代以上步骤，直到找到含错误语句的原因为止；最后输出含有错误语句的最小原因，以及该原因产生的异常值传递到失败断言语句所经过的原因集合。本发明在帮助调试人员执行错误定位的同时，还能提供有效的信息来辅助调试人员理解错误的形成原因，进而帮助其修护错误。