发明公开
CN104281519A 一种程序的错误检测方法及设备
无效 - 驳回
- 专利标题: 一种程序的错误检测方法及设备
- 专利标题(英): Method and equipment for detecting errors of program
-
申请号: CN201310284541.7申请日: 2013-07-08
-
公开(公告)号: CN104281519A公开(公告)日: 2015-01-14
- 发明人: 衷璐洁 , 霍玮 , 李丰 , 陈聪明 , 冯晓兵 , 张兆庆
- 申请人: 华为技术有限公司 , 中国科学院计算技术研究所
- 申请人地址: 广东省深圳市龙岗区坂田华为总部办公楼
- 专利权人: 华为技术有限公司,中国科学院计算技术研究所
- 当前专利权人: 华为技术有限公司,中国科学院计算技术研究所
- 当前专利权人地址: 广东省深圳市龙岗区坂田华为总部办公楼
- 代理机构: 深圳市深佳知识产权代理事务所
- 代理商 唐华明
- 主分类号: G06F11/36
- IPC分类号: G06F11/36
摘要:
本发明实施例公开了程序的错误检测方法及设备,应用于计算机技术领域。程序的错误检测设备会对待分析程序进行分析得到的程序分析信息,并根据程序分析信息获取待分析程序中各个定值点的错误属性格值,并对待分析程序中错误属性格值具有危险属性的定值点对应的引用点进行错误提示。主要是将对程序错误的检测变换为错误属性格值的计算,简化了错误检测的过程,可以提高程序的错误检测效率;且在得到程序分析信息时程序的错误检测设备可以考虑到待分析程序的多种敏感性,得到每个程序点的完整信息,使得得到的错误属性格值也比较准确,提高了对待分析程序的错误检测精度。