期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种有效的静态缺陷函数检测框架
1
作者
黄松
嵇孟雨
+1 位作者
惠战伟
葛研
《指挥信息系统与技术》
2010年第6期15-19,78,共6页
基于在软件开发过程中有很多静态缺陷函数检测方法与工具都具有局限性,且对软件开发后期的黑盒测试关联不大,文中提出了一种在软件开发早期运用的静态缺陷函数检测框架,该框架不仅可以解决静态分析工具误报的问题,还可以为后期的安全性...
基于在软件开发过程中有很多静态缺陷函数检测方法与工具都具有局限性,且对软件开发后期的黑盒测试关联不大,文中提出了一种在软件开发早期运用的静态缺陷函数检测框架,该框架不仅可以解决静态分析工具误报的问题,还可以为后期的安全性黑盒测试提供数据流约束,为自动生成数据流提供有效支持。
展开更多
关键词
静态分析
软件缺陷
检测
软件缺陷验证
软件
测试
下载PDF
职称材料
题名
一种有效的静态缺陷函数检测框架
1
作者
黄松
嵇孟雨
惠战伟
葛研
机构
全军军事训练软件测评中心
解放军理工大学工程兵工程学院
解放军理工大学指挥自动化学院
济南军区山东省军区后勤部
出处
《指挥信息系统与技术》
2010年第6期15-19,78,共6页
基金
国家高技术研究发展计划(863计划)课题(2009AA01Z402)
文摘
基于在软件开发过程中有很多静态缺陷函数检测方法与工具都具有局限性,且对软件开发后期的黑盒测试关联不大,文中提出了一种在软件开发早期运用的静态缺陷函数检测框架,该框架不仅可以解决静态分析工具误报的问题,还可以为后期的安全性黑盒测试提供数据流约束,为自动生成数据流提供有效支持。
关键词
静态分析
软件缺陷
检测
软件缺陷验证
软件
测试
Keywords
static analysis
software vulnerability detection
software vulnerability inspection
software testing
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种有效的静态缺陷函数检测框架
黄松
嵇孟雨
惠战伟
葛研
《指挥信息系统与技术》
2010
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部