[发明专利]一种软件缺陷检测方法与装置有效
申请号: | 202110095728.7 | 申请日: | 2021-01-25 |
公开(公告)号: | CN112860545B | 公开(公告)日: | 2022-11-11 |
发明(设计)人: | 王召;俞俊;许明杰;李东辉;吴小志;张昕 | 申请(专利权)人: | 国电南瑞科技股份有限公司 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 南京苏高专利商标事务所(普通合伙) 32204 | 代理人: | 李淑静 |
地址: | 211106 江*** | 国省代码: | 江苏;32 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明提出了一种软件缺陷检测方法与装置,所述方法包括:构建待检测软件的依赖软件兼容版本树;基于依赖软件兼容版本树,对软件进行源码分析,找出函数调用链,建立函数调用追踪图;依据函数调用追踪图,分析函数调用的数据依赖关系,将源码中的数值运算转化为代数表达式;求解代数表达式的最大值与最小值,得到其取值区间;依据软件运行过程中的限制、规则及约束检测所得取值区间的合法性,当所得取值区间超出合法区间边界时,判定软件存在缺陷。本发明可以较为方便的对多版本软件依赖的待检测程序进行全部版本的程序缺陷预测与检测,避免仅仅检测待检测软件的有限软件依赖版本,而在程序运行在其它合法的依赖兼容版本上时的程序缺陷。 | ||
搜索关键词: | 一种 软件 缺陷 检测 方法 装置 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于国电南瑞科技股份有限公司,未经国电南瑞科技股份有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202110095728.7/,转载请声明来源钻瓜专利网。