一种软件缺陷检测方法与装置
摘要:
本发明提出了一种软件缺陷检测方法与装置,所述方法包括:构建待检测软件的依赖软件兼容版本树;基于依赖软件兼容版本树,对软件进行源码分析,找出函数调用链,建立函数调用追踪图;依据函数调用追踪图,分析函数调用的数据依赖关系,将源码中的数值运算转化为代数表达式;求解代数表达式的最大值与最小值,得到其取值区间;依据软件运行过程中的限制、规则及约束检测所得取值区间的合法性,当所得取值区间超出合法区间边界时,判定软件存在缺陷。本发明可以较为方便的对多版本软件依赖的待检测程序进行全部版本的程序缺陷预测与检测,避免仅仅检测待检测软件的有限软件依赖版本,而在程序运行在其它合法的依赖兼容版本上时的程序缺陷。
公开/授权文献
0/0