原文服务方: 航空计算技术       
摘要:
为了保证基于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环境的C/C++软件重量级静态检查
Linux操作系统
静态检查
持续集成
安全漏洞
C++语言的软件复用机制
软件复用
程序开发
C++
教学实践
C++语言的软件复用机制
软件复用
程序开发
C++
教学实践
基于静态分析的C++虚函数匹配算法研究
静态路径
多态性
虚函数匹配
自动化测试
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于Klocwork的C/C++软件静态检查
来源期刊 航空计算技术 学科
关键词 Linux操作系统 VxWorks操作系统 Klocwork检查 配置管理 静态检查
年,卷(期) 2016,(4) 所属期刊栏目 计 算 机 软 件
研究方向 页码范围 118-122
页数 5页 分类号 TP311.56
字数 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 姜文 西安电子科技大学通信工程学院 51 263 10.0 12.0
2 刘立康 西安电子科技大学通信工程学院 36 166 8.0 10.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (7)
共引文献  (10)
参考文献  (6)
节点文献
引证文献  (2)
同被引文献  (3)
二级引证文献  (0)
2005(1)
  • 参考文献(0)
  • 二级参考文献(1)
2007(1)
  • 参考文献(0)
  • 二级参考文献(1)
2010(2)
  • 参考文献(1)
  • 二级参考文献(1)
2011(2)
  • 参考文献(0)
  • 二级参考文献(2)
2012(4)
  • 参考文献(2)
  • 二级参考文献(2)
2013(1)
  • 参考文献(1)
  • 二级参考文献(0)
2014(1)
  • 参考文献(1)
  • 二级参考文献(0)
2015(1)
  • 参考文献(1)
  • 二级参考文献(0)
2016(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
2020(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
Linux操作系统
VxWorks操作系统
Klocwork检查
配置管理
静态检查
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
航空计算技术
双月刊
1671-654X
61-1276/TP
大16开
西安市太白北路156号
1971-01-01
中文
出版文献量(篇)
3899
总下载数(次)
0
论文1v1指导