##商业软件如需下载安装使用试用,可以点下面,通过简介添加
静态测试软件(QAC、Klocwork、Coverity等)单元测试软件 集成测试软件(VectorCAST、TestBED、Tessy、C++Test等)_哔哩哔哩_bilibili
什么是静态测试?
依靠分析或检查源程序的语句、结构、过程等来检查程序是否有错误。一般不会直接运行源代码。
静态测试工具有很多,但是我主要介绍的是Helix QAC工具。
为什么要对代码进行静态分析?
- 目前的程序代码量越来越大,使在某些情况下程序会出现问题;
- 软件程序要求越来越严格,不同行业具有不同的标准,使开发软件时的交付压力不断增加;
- 一般情况下,软件开发的成本很高,如果发布出来后,出现问题造成的损失就会很大,所以为减少损失,降低成本,软件程序十分有必要进行静态测试。
Helix QAC 工具
创建一个Helix QAC项目步骤如下:
- 创建工程,命名项目
- 选择配置文件
- 添加待分析源文件至“Source File”
- 设置源文件的根目录
这些过程中,配置文件以及设置源文件根目录是重点。
如上图所示,Project Properties(项目属性)一般常用的到的有Project/Analysis/Rule Configuration/Compiler Selection
下附图为QAC 工具界面图:
和一般的工程软件界面分布类似。
在这里的基本操作,一般都是基于文件分析的。
QAC还支持跨模块分析CMA。
QAC本身就包含了C/C++ 代码分析规则(编码规范),它还能加载其他编码规范包,如MISRA C/C++(M2CM、M3CM)、AUTOSAR (C++14) 等。
版权归原作者 wanglequshuijiao 所有, 如有侵权,请联系我们删除。