| 软件静态分析工具评析 |
| |
| 引用本文： | 王 凯,孔祥营.软件静态分析工具评析[J].指挥控制与仿真,2011,33(2):109-111,119. |
| |
| 作者姓名： | 王 凯 孔祥营 |
| |
| 作者单位： | 1. 江苏自动化研究所,江苏,连云港,222006
2. 江苏自动化研究所,江苏,连云港,222006;南京航空航天大学,江苏,南京,210016 |
| |
| 摘 要： | 为了在软件生命周期的编码阶段尽可能多地发现软件缺陷以降低软件成本和开发时间,需要对被测程序源代码实施软件静态分析。软件静态分析最有效的手段是使用软件静态分析工具。针对C程序常见的软件缺陷,通过对几种主流静态分析工具的功能性对比分析,探讨了软件静态分析工具的优缺点及影响软件静态分析工具选择的诸多因素,可为软件测试人员选择合适的软件静态分析工具提供参考。
|
| 关 键 词： | 软件生命周期 软件缺陷 静态分析 |
Evaluation of Software Static Analysis Tools |
| |
| WANG Kai,KONG Xiang-ying.Evaluation of Software Static Analysis Tools[J].Command Control & Simulation,2011,33(2):109-111,119. |
| |
| Authors: | WANG Kai KONG Xiang-ying |
| |
| Institution: | 1,2(1.Jiangsu Automation Research Institute,Lianyungang 222006; 2.Nanjing University of Aeronautics and Astronautics,Nanjing 210016,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《指挥控制与仿真》浏览原始摘要信息 |
| 点击此处可从《指挥控制与仿真》下载免费的PDF全文 |
|
