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

• 作者: 刘立康 姜文
• 来源期刊: 航空计算技术
• 关键词: Linux操作系统 VxWorks操作系统 Klocwork检查 配置管理 静态检查
• 年，卷（期）: 2016,（4）
• 所属期刊栏目: 计 算 机 软 件
• 页码范围: 118-122
• 页数: 5页
• 分类号: TP311.56
• 语种: 中文

摘要

为了保证基于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++软件源代码的各种缺陷,从而提高软件质量和安全性。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜文	西安电子科技大学通信工程学院	51	263	10.0	12.0
2	刘立康	西安电子科技大学通信工程学院	36	166	8.0	10.0