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

来源 :航空计算技术 | 被引量 : 0次 | 上传用户:a5477011266
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
为了保证基于Linux与Vx Works操作系统的C/C++软件代码的质量,需要对软件源代码进行Klocwork检查。分别以SVN与Clear Case作为配置管理工具,将Klocwork工具分别在不同的操作系统下完成安装与配置之后,对C/C++源代码进行Klocwork检查。介绍了Linux环境下配置管理工具SVN客户端安装、SVN版本库的代码更新、Klocwork工具的安装与配置、Clear Case版本库的代码更新、以及Klocwork分别在Linux与Vx Works操作系统下进行Klocwork
其他文献
使用容积法建立混合排气涡扇发动机模型需要选取容积与转子来计算发动机的状态量,为压气机及涡轮部件的特性图插值与计算提供输入数据。旧的容积选取模式需要通过近似计算步
本文在分析TC9181锁相环芯片的基础上,详细叙述了电路的工作原理和二进制数编码的数据格式及送数过程,从而构成了单片机控制的原理及程序思路,最后给出软件程序设计。
【正】 有着半个多世纪创作生涯,并享有世界声誉的作家,现在活着的不算多;英国作家格雷厄姆·格林(Graham Greene,1904—)是其中的一个。他今天仍然是文坛上一颗闪烁的明
在机载分布式异构网络中,系统间的通信面临着复杂的网络环境。为了实现高效、可靠、安全的信息传输,需要通信中间件的支持。以数据分发服务(DDS)为基础,对发布订阅模型进行研究
各移动台的信令信道发出的信息包是随机的,必须进行控制以减少碰撞,碰撞后必须重发以减少信息的丢失,重发就产生了信息包的延迟.本文讨论时隙ALOHA发包数在平稳状态下(即泊松
基于有限元分析软件PAM-Crash及其提供的SPH法,建立了鸟撞风挡的有限元模型。对鸟击风挡进行了有限元分析,仿真结果显示SPH鸟体能够很好地模拟鸟撞风挡的过程,尤其是鸟体破碎
一、概述 CT—8600型手持无线电话机是参照日本KENWOOD公司的TK—300手持台国产化而成的。该机国产化占价比为78%,在线路上应用了既典型又成熟的电路,采用温补晶体振荡器,使频
本文具体详细地描述了蜂房式移动台信令接收解码、发射编码、大数判决、键盘电路等的工程实现方法。
本文为“800MHz 基站关键部件 J1162型收发信机介绍”(刊登于《移动通信》1990年第4期)续文之一,主要介绍 J1162型核心部件逻辑控制单元电路的组成和工作原理。
<正> 专业翻译包括口译和笔译,两种工作各有难易,具体要求也有所不同。口译要求快,“出口成章”,不容许反复推敲或停下来查阅资料。但一般口译只要把意思说清楚就行,表达方式可以比较灵活,而且翻译的效果也