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

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

自动化技术在Klocwork测试中的应用

针对软件测试过程中存在着大量重复性工作的现状,将软件工程中的自动化思想和Klocwork静态测试工具结合起来,规范了软件静态测试流程。运用持续集成的原理,设计并实现了C/C++项目的Klocwork批量自动化测试工具。介绍了在Windows环境下的测试脚本设计、实现、应用实践及实施经验法则。测试脚本可定制和重用以适应不同项目的需要。

一种基于QAC和Klocwork软件的静态测试方法

为了提高软件的测试质量和效率,在软件测试中越来越多的测试工具被应用进行软件自动化测试。文章提出了一种基于软件测试工具QAC和Klocwork对代码进行静态测试的方法。首先,文章简要地介绍了这2种软件测试工具,并阐述了它们的测试过程;之后,分析了它们各自的特点及侧重方向;接着,指出了该方法对提高软件质量的影响;最后,结合实例验证了该方法的优越性。

基于Klocwork Insight静态测试技术应用及其研究

软件测试技术对于确保软件质量、高可靠性、高安全性越发受到行业重视。静态分析指的是一种在不执行程序的情况下对程序行为进行分析的静态测试技术。本文以五指棋程序为例用Klocwork对工程做静态分析。

Klocwork在嵌入式软件静态测试中的应用

本文简要介绍了嵌入式软件及其测试的发展现状,简要阐述了嵌入式软件静态测试的主要内容,并结合实例对Klocwork软件测试工具进行介绍,说明了Klocwork在嵌入式软件静态测试中的应用。

复杂航电架构系统软件的常见代码缺陷与安全漏洞分析

目前航空电子系统复杂程度越来越高,随之而来的系统开发、验证、优化及维护等挑战也越来越大。作为军用装备系统软件的航电系统,其安全性与稳定性是软件开发过程中的重中之重。然而,在军用软件的开发过程中,会不可避免地出现人为因素的错误。有的错误甚至能够在编译过程中顺利通过,而在运行过程中才会出现,且不定期复现,给开发人员排查故障造成了很大困扰。Klocwork作为一款优秀的代码静态分析工具,可以快速识别出软件中严重的安全和质量缺陷,可以有效提高开发人员的开发效率,又可以及时地、准确地分析系统软件,极大提高系统软件的开发效率和软件的安全性与稳定性。总结归纳了航电系统软件中常见的代码缺陷和安全漏洞,分析并给出了具体的修改方法。

基于源代码分析的软件静态测试

介绍了现代源代码分析技术中使用的安全规则,并对此技术可以测试出的软件中存在的内存管理、变量未初始化、空指针引用、数组访问越界或异常四类主要代码缺陷和缓冲区溢出等安全漏洞类缺陷几大问题做了研究。通过介绍一个基于源代码分析的静态测试工具Klocwork,提出了基于源代码分析技术的静态测试过程的四个阶段并对其进行分析,总结了其应用到大型航天软件中存在的一些问题,并说明解决其相应难题还需要准备进一步的研究工作。

基于C语言的软件潜在分析工具的设计与实现

目前,主流的编程语言中,C语言的效率较高,质量较好。它具有语言的特性,同时又加入了面向对象的特性。C语言与其他高级语言不同,具有较好的可移植性。现阶段,C语言软件潜在分析过程中,经常忽略对C语言执行过程的管理,且分析相关缺点速度缓慢。针对以上问题,相关人员设计研发了基于C语言的软件潜在分析工具,研究和分析C语言造成事故的流程,彻底解决相关问题。例如,利用静态分析方法查找源代码的缺陷、利用故障树方法分析可靠性的缺陷、利用动态测试跟踪安全性的缺陷。