基于Klocwork的C/C++软件静态检查

摘要：

为了保证基于Linux与VxWorks操作系统的C/C++软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与ClearCase作为配置管理工具,将Klocwork工具分别在不同的操作系统下完成安装与配置之后,对C/C++源代码进行Klocwork检查。介绍了Linux环境下配置管理工具SVN客户端安装、SVN版本库的代码更新、Klocwork工具的安装与配置、ClearCase版本库的代码更新、以及Klocwork分别在Linux与VxWorks操作系统下进行Klocwork检查的步骤。给出了Klocwork检查分别在Linux与VxWorks操作系统中的详细检查步骤与检查脚本,以及对已经被检查出来的缺陷的处理。典型案例表明,Klocwork检查有助于及时发现并解决C/C++软件源代码的各种缺陷,从而提高软件质量和安全性。

关键词：Linux操作系统、VxWorks操作系统、Klocwork检查、配置管理、静态检查

所属期刊栏目：46

分类号：TP311.56(计算技术、计算机技术)

资助基金：国防预研基金项目资助A1120110007

在线出版日期：2016-09-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：118-122