基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析.软件静态分析最有效的手段是使用软件静态分析工具.针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,可为软件测试人员选择合适的软件静态分析工具提供参考.
推荐文章
汇编语言静态分析工具设计与应用
微电子技术
汇编语言
软件测试
基于AST的程序静态分析工具的研究与实现
静态分析
代码检测
抽象语法树
基于源代码分析的软件静态测试
源代码分析技术
软件缺陷
Klocwork
静态测试
静态程序分析过程中形式化验证工具Frama-C的应用
静态程序分析
形式化验证
Frama-C
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 软件静态分析工具评析
来源期刊 指挥控制与仿真 学科 军事
关键词 软件生命周期 软件缺陷 静态分析
年,卷(期) 2011,(2) 所属期刊栏目 工程实践
研究方向 页码范围 109-111,119
页数 分类号 E919
字数 4300字 语种 中文
DOI 10.3969/j.issn.1673-3819.2011.02.031
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 孔祥营 9 32 4.0 5.0
3 王凯 2 19 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (20)
共引文献  (47)
参考文献  (5)
节点文献
引证文献  (14)
同被引文献  (16)
二级引证文献  (22)
1953(1)
  • 参考文献(0)
  • 二级参考文献(1)
1976(1)
  • 参考文献(0)
  • 二级参考文献(1)
1979(1)
  • 参考文献(0)
  • 二级参考文献(1)
1987(2)
  • 参考文献(0)
  • 二级参考文献(2)
1994(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1999(2)
  • 参考文献(0)
  • 二级参考文献(2)
2000(2)
  • 参考文献(0)
  • 二级参考文献(2)
2002(1)
  • 参考文献(0)
  • 二级参考文献(1)
2004(8)
  • 参考文献(2)
  • 二级参考文献(6)
2005(2)
  • 参考文献(0)
  • 二级参考文献(2)
2006(2)
  • 参考文献(2)
  • 二级参考文献(0)
2007(1)
  • 参考文献(1)
  • 二级参考文献(0)
2011(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2012(3)
  • 引证文献(3)
  • 二级引证文献(0)
2013(3)
  • 引证文献(3)
  • 二级引证文献(0)
2014(4)
  • 引证文献(3)
  • 二级引证文献(1)
2015(8)
  • 引证文献(3)
  • 二级引证文献(5)
2016(3)
  • 引证文献(1)
  • 二级引证文献(2)
2017(9)
  • 引证文献(0)
  • 二级引证文献(9)
2018(3)
  • 引证文献(1)
  • 二级引证文献(2)
2019(2)
  • 引证文献(0)
  • 二级引证文献(2)
2020(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
软件生命周期
软件缺陷
静态分析
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
指挥控制与仿真
双月刊
1673-3819
32-1759/TJ
大16开
江苏连云港市102信箱6分箱
1979
chi
出版文献量(篇)
3469
总下载数(次)
11
总被引数(次)
12365
论文1v1指导