首页> 中国专利> 一种有效的层次化错误定位方法

一种有效的层次化错误定位方法

页面导航

摘要
著录项
法律信息
相似文献

摘要

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

著录项

公开/公告号CN103559131B

专利类型发明专利
公开/公告日2017-04-26

原文格式PDF
申请/专利权人中国科学院软件研究所;
展开▼

申请/专利号CN201310548119.8
发明设计人易秋萍;周艺;刘剑;赵琛;杨秋松;
展开▼

申请日2013-11-07
分类号G06F11/36(20060101);
代理机构11200 北京君尚知识产权代理事务所(普通合伙);
代理人余长江
地址 100190 北京市海淀区中关村南四街4号
入库时间 2022-08-23 09:55:18

法律信息

法律状态公告日

法律状态信息

法律状态
2019-11-01

未缴年费专利权终止 IPC(主分类):G06F 11/36 授权公告日:20170426 终止日期:20181107 申请日:20131107

专利权的终止
2017-04-26

授权

授权
2017-04-26

授权

授权
2014-03-12

实质审查的生效 IPC(主分类):G06F11/36 申请日:20131107

实质审查的生效
2014-03-12

实质审查的生效 IPC(主分类):G06F 11/36 申请日:20131107

实质审查的生效
2014-02-05

公开

公开
2014-02-05

公开

公开

查看全部

相似文献

专利
中文文献
外文文献

1. 一种有效的层次化错误定位方法 [P] . 中国专利： CN103559131B . 2017.04.26
2. 一种通用、有效的GTP消息错误检查方法 [P] . 中国专利： CN1223214C . 2005.10.12
3. METHOD OF DECODING A STRUCTURED LIGHT WHICH IS HIERARCHICALLY ORTHOGONAL THROUGH A BOUNDARY INHERITANCE CAPABLE OF REDUCING A DECODING ERROR BY CLARIFYING THE BOUNDARY AREA OF A LOWER LAYER IN CASE THREE-DIMENSIONAL IMAGE DEPTH IS GRASPED BY THE USE OF HIERARCHICALLY STRUCTURED LIGHT AND A THREE-DIMENSIONAL DISTANCE IMAGE MEASUREMENT SYSTEM USING THE SAME [P] . 韩国专利： KR20130000356A . 2013-01-02

机译：通过在三维图像深度方面进行澄清（例如，三维图像深度是通过使用三维扫描仪解决三维图像深度问题的一种方法），通过澄清边界层的能力来减少解码错误的层次化遗传结构的方法使用相同的距离图像测量系统
4. A METHOD FOR ENCODING MULTIWORD INFORMATION BY WORDWISE INTERLEAVING AND ERROR PROTECTION, WITH ERROR LOCATIVE CLUES DERIVED FROM HIGH PROTECTIVITY WORDS AND DIRECTED TO LOW PROTECTIVITY WORDS, A METHOD FOR DECODING SUCH INFORMATION, A DEVICE FOR ENCODING AND/OR DECODING SUCH INFORMATION, AND A CARR [P] . 欧洲知识产权局专利： EP0965173A1 . 1999-12-22

机译：一种通过字词交织和错误保护来编码多字信息的方法，其中错误定位线索是从高保护性单词派生并被定向为低保护性单词，一种解码此类信息的方法，一种用于对此类信息进行编码和/或解码的设备以及一种信息
5. A METHOD FOR ENCODING MULTIWORD INFORMATION BY WORDWISE INTERLEAVING AND ERROR PROTECTION, WITH ERROR LOCATIVE CLUES DERIVED FROM HIGH PROTECTIVITY WORDS AND DIRECTED TO LOW PROTECTIVITY WORDS, A METHOD FOR DECODING SUCH INFORMATION, A DEVICE FOR ENCODING AND/OR DECODING SUCH INFORMATION,AND A CARRIER PROVIDED WITH SUCH INFORMATION [P] . CA2282305A1 . 1999-07-08

机译：一种通过字词交织和错误保护来编码多字信息的方法，其中错误定位线索是从高保护性单词派生并被定向为低保护性单词，一种解码这种信息的方法，一种用于对这种信息进行编码和/或解码的装置以及一种信息提供此类信息