首页> 中国专利> 一种源代码中值计算错误的自动检测和定位方法

一种源代码中值计算错误的自动检测和定位方法

页面导航

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

摘要

本发明公开了一种源代码中值计算错误的自动检测和定位方法，属于计算机软件测试领域，该方法利用编译器对源代码进行语法分析，构造抽象语法树，通过遍历抽象语法树，基于表达式类型和用户指定检测的值计算错误类型，判断是否存在值计算错误的潜在风险；对可能产生值计算错误的表达式进行源代码变换，加入值计算错误检测和源代码定位的机制；编译执行变换后的源代码，执行后的源代码程序会自动判断值计算错误的发生，并准确报告错误对应的源代码位置。本方法可以在软件运行过程中自动检测和定位软件中的值计算错误，以实现更准确的错误定位功能，更好的平台普适性，更高的运行时性能和效率，从而克服现有的检测方法中存在的技术问题。

著录项

公开/公告号CN104298594B

专利类型发明专利
公开/公告日2018-03-02

原文格式PDF
申请/专利权人南京航空航天大学;
展开▼

申请/专利号CN201410499170.9
发明设计人陈哲;朱云龙;魏欧;黄志球;
展开▼

申请日2014-09-25
分类号
代理机构南京瑞弘专利商标事务所(普通合伙);
代理人杨晓玲
地址 210016 江苏省南京市秦淮区御道街29号
入库时间 2022-08-23 10:07:54

法律信息

法律状态公告日

法律状态信息

法律状态
2018-03-02

授权

授权
2015-02-18

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

实质审查的生效
2015-01-21

公开

公开

相似文献

专利
中文文献
外文文献

1. 一种源代码中值计算错误的自动检测和定位方法 [P] . 中国专利： CN104298594B . 2018.03.02
2. 源代码中内存错误的自动检测和定位方法 [P] . 中国专利： CN106940654B . 2020.08.14
3. METHOD AND APPARATUS FOR TREE DATA STRUCTURE MANIPMETHOD AND APPARATUS FOR TREE DATA STRUCTURE MANIPULATION AND TRANSLATING SOURCE CODE FROM ONE HIGH-ULATION AND TRANSLATING SOURCE CODE FROM ONE HIGH-LEVEL COMPUTER LANGUAGE TO ANOTHER LEVEL COMPUTER LANGUAGE TO ANOTHER [P] . 世界知识产权组织专利： WO9613784A3 . 1996-08-15

机译：树数据结构的方法和装置以及树数据结构的处理和源代码从一种高级的转换源代码从一种高水平计算机语言到另一种水平计算机语言的转换
4. Method and apparatus for computing the error locator polynomial in a decoder of a forward error correction (FEC) system [P] . 美国专利： US7096408B1 . 2006-08-22

机译：在前向纠错（FEC）系统的解码器中计算错误定位多项式的方法和装置
5. A METHOD FOR AUTONOMOUSLY DETECTING AND POSITIONING INDOOR WIRELESS NETWORK FAULTS [P] . 欧洲知识产权局专利： EP3087777B1 . 2018-05-02

机译：一种室内无线网络故障的自动检测与定位方法