Helix QAC—源码级静态自动化测试工具

本文主要是介绍Helix QAC—源码级静态自动化测试工具，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

Helix QAC概述
Helix QAC是一款源码级静态自动化测试工具，主要用于C/C++代码的完全自动化静态分析工作，提供一个高效、健壮和自动化的环境来引入和执行编码标准。Helix QAC根据尽早、更频繁测试的理念，在软件生命周期最早期软件开发阶段应用识别缺陷，提供与功能安全及信息安全密切相关的各类编码规范检测、代码质量度量、软件结构分析、测试结果管理等功能。

Helix QAC能够全面而准确地发现软件中潜在的问题，自身符合ISO26262功能安全标准认证。适用于自动驾驶领域，保障嵌入式软件的质量，提高其防御黑客攻击能力。

Helix QAC主要技术指标如下

提供基于行业标准的编程规则对代码进行检测
提供对软件的质量分析功能
提供对软件结构的分析
自动进行工程数据同步
提供丰富的CCT库（辅助工程快速配置）
支持测试报告生成的选项配置，并可实现报告自定制
实现团队协作
功能安全手册支持静态项目通过各级ASIL（A-D）功能安全认证

Helix QAC产品方案
Helix QAC主要模块为QAC/QAC++（分析组件）、Dashboard(质量管理平台)、以及常用行业规则包（如MISRA C/C++、AUTOSAR C++、CERT C/C++、CWE C/C++等）。

除此之外，还可提供与各行业标准匹配的安全手册（如ISO 26262 Safety Manual等）。

在这里插入图片描述

Helix QAC主界面

Helix QAC分析组件

在这里插入图片描述

Dashboard平台

在这里插入图片描述

核心功能

多种类、覆盖面广的编程规则

Helix QAC提供与功能安全及信息安全密切相关的各类编码规范检测：

在这里插入图片描述

Helix QAC对于各类编码规范的映射覆盖情况：

在这里插入图片描述

除此之外，Helix QAC还提供基于ISO C/C++标准制定出来的自定制规则集，可实现1900+ C语言问题、1400+ C++语言问题的检测，避免的风险包括但不限于：

 未定义的行为
 ISO语言约束违反
 越界及溢出 (包括除零)
 未初始化的数据
 内存/指针运算问题（包括空指针引用）
 危险的语言使用
 不可移植的语言使用
 控制流问题
 类型转换
 冗余代码
 移位运算
 对象/函数的声明定义问题
 标识符的命名规范
 违反最佳实践