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

Method of Static Analysis of Klocwork under Kylin System

作　　者：马萌[1] 谷伟[2] 赵煜[2] MA Meng;GU Wei;ZHAO Yu(The 54th Research Institute of CETC,Shijiazhuang 050081,China;Unit 63612,PLA,Dunhuang 735100,China)

机构地区：[1]中国电子科技集团公司第五十四研究所,河北石家庄050081 [2]中国人民解放军63612部队,甘肃敦煌735100

出　　处：《计算机与网络》2019年第20期58-60,共3页Computer & Network

摘　　要：静态分析是软件测试的最初阶段,充分有效的静态分析可以显著降低软件测试成本、提高软件质量。介绍了Klocwork检查工具在中标麒麟操作系统中的详细检查步骤与检查脚本、对检查出来的缺陷的处理,以及Klocwork工具在军用软件静态分析中的安装过程及使用步骤。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。The static analysis is the initial stage of software testing. The sufficient and effective static analysis can significantly reduce the cost of software testing and improve the software quality. The detailed checking steps and scripts of Klocwork checking tool in the NeoKylin operating system, the treatment of the checked defects, the installation process and application steps of Klocwork tools in static analysis of military software are introduced. The typical cases show that Klocwork checking helps to discover and overcome in time the various bugs of the source code of C/C++ software to improve software quality and security. are briefly introduced.

关 键 词：麒麟操作系统 静态分析 Klocwork工具 

分 类 号：TP316[自动化与计算机技术—计算机软件与理论]