麒麟系统下Klocwork的静态分析方法

• 作者: 谷伟 赵煜 马萌
• 来源期刊: 计算机与网络
• 学科: 工学
• 关键词: 麒麟操作系统 静态分析 Klocwork工具
• 年，卷（期）: 2019,（20）
• 所属期刊栏目: 技术论坛
• 页码范围: 58-60
• 页数: 3页
• 分类号: TP316
• 字数: 3114字
• 语种: 中文

摘要

静态分析是软件测试的最初阶段,充分有效的静态分析可以显著降低软件测试成本、提高软件质量.介绍了Klocwork检查工具在中标麒麟操作系统中的详细检查步骤与检查脚本、对检查出来的缺陷的处理,以及Klocwork工具在军用软件静态分析中的安装过程及使用步骤.典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马萌	中国电子科技集团公司第五十四研究所	5	15	2.0	3.0