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

• 作者: 嵇孟雨 惠战伟 葛研 黄松
• 来源期刊: 指挥信息系统与技术
• 学科: 工学
• 关键词: 静态分析 软件缺陷检测 软件缺陷验证 软件测试
• 年，卷（期）: 2010,（6）
• 页码范围: 15-19,78
• 分类号: TP311.5
• 字数: 3937字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-909X.2010.06.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄松		45	231	8.0	11.0
5	嵇孟雨		2	16	1.0	2.0
9	惠战伟		10	45	3.0	6.0