发明授权
- 专利标题: 一种软件缺陷检测方法与装置
-
申请号: CN202110095728.7申请日: 2021-01-25
-
公开(公告)号: CN112860545B公开(公告)日: 2022-11-11
- 发明人: 王召 , 俞俊 , 许明杰 , 李东辉 , 吴小志 , 张昕
- 申请人: 国电南瑞科技股份有限公司
- 申请人地址: 江苏省南京市江宁区诚信大道19号
- 专利权人: 国电南瑞科技股份有限公司
- 当前专利权人: 国电南瑞科技股份有限公司
- 当前专利权人地址: 江苏省南京市江宁区诚信大道19号
- 代理机构: 南京苏高专利商标事务所
- 代理商 李淑静
- 主分类号: G06F11/36
- IPC分类号: G06F11/36
摘要:
本发明提出了一种软件缺陷检测方法与装置,所述方法包括:构建待检测软件的依赖软件兼容版本树;基于依赖软件兼容版本树,对软件进行源码分析,找出函数调用链,建立函数调用追踪图;依据函数调用追踪图,分析函数调用的数据依赖关系,将源码中的数值运算转化为代数表达式;求解代数表达式的最大值与最小值,得到其取值区间;依据软件运行过程中的限制、规则及约束检测所得取值区间的合法性,当所得取值区间超出合法区间边界时,判定软件存在缺陷。本发明可以较为方便的对多版本软件依赖的待检测程序进行全部版本的程序缺陷预测与检测,避免仅仅检测待检测软件的有限软件依赖版本,而在程序运行在其它合法的依赖兼容版本上时的程序缺陷。
公开/授权文献
- CN112860545A 一种软件缺陷检测方法与装置 公开/授权日:2021-05-28