| 专利名称 | 一种有效的层次化错误定位方法 | 申请号 | 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中；迭代以上步骤，直到找到含错误语句的原因为止；最后输出含有错误语句的最小原因，以及该原因产生的异常值传递到失败断言语句所经过的原因集合。本发明在帮助调试人员执行错误定位的同时，还能提供有效的信息来辅助调试人员理解错误的形成原因，进而帮助其修护错误。 |
1、源头对接，价格透明
2、平台验证，实名审核
3、合同监控，代办手续
4、专员跟进，交易保障