一种有效的静态缺陷函数检测框架

基于在软件开发过程中有很多静态缺陷函数检测方法与工具都具有局限性,且对软件开发后期的黑盒测试关联不大,文中提出了一种在软件开发早期运用的静态缺陷函数检测框架,该框架不仅可以解决静态分析工具误报的问题,还可以为后期的安全性黑盒测试提供数据流约束,为自动生成数据流提供有效支持。

• 作者: 黄松;嵇孟雨;惠战伟;葛研
• 出处: 《指挥信息系统与技术》 2010年6期
• 关键词: 静态分析 软件缺陷检测 软件缺陷验证 软件测试
• 分类: [电子电信][物理电子学]