Helix QAC—软件静态测试工具

产品概述
Helix QAC是Perforce公司（原PRQA公司）产品，主要用于C/C++代码的自动化静态分析工作，可以提供编码规则以及信息安全相关检查、代码质量度量、软件结构分析、测试结果管理等功能。Helix QAC能够准确地发现软件中潜在的问题，自身符合ISO26262功能安全标准认证。适用于自动驾驶领域，能保障嵌入式软件的质量，提高其防御黑客攻击能力。Helix QAC主要模块为QAC/QAC++、Dashboard(原QA Verify)以及常用行业规则包（如MISRA C：2012、MISRA C++：2008、AUTOSAR C++、CERT、CWE等）。

主要功能

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

  QAC/QAC++支持多种新编程标准(MISRA C：2012、AUTOSAR C++、CERT、CWE等)及其他多种行业编程规则。QAC/QAC++能够发现1900多种C语言问题、1400多种C++的问题，涉及到的方面有：编译链接的错误、违反语言规范、可能产生不确定行为的、不安全的数据类型转换等。

• 自动对编程规则进行检查

  在工具中添加要分析的文件，配置好相应环境，运行一次就可以对添加的文件进行全部的分析，运行速度快，使用过程简单，容易理解，上手快。

• 友好的帮助系统

  分析结果内检查错误时，如果对所提示的内容不理解，可以双击这个错误，进入帮助系统。帮助系统除了提供了对错误的描述外，大多情况下会提供例子程序，可以帮助理解错误的原因，并且可以根据例子来修改自己的代码。

• 提供对软件结构的分析

  可以分析软件的结构，包括文件之间的包含关系、函数之间的调用关系以及函数自身的结构。

• 提供对软件的质量分析

  采用国际标准的软件质量度量方法及度量指标，对客户的代码质量进行评估。提供六十余个指标进行评估，客户可以方便地在各个指标之间进行切换。

• 自定制报告

  可实现固定模板报告生成，同时也可根据用户需求定制报告内容。可支持导出PDF报告、HTML报告。

• 团队协作

  可实现版本管理、基线管理、用户管理、插入注释功能，实现团队协作。

• 可持续集成

  支持命令行形式执行分析，能够实现与持续集成环境（如Jenkins等）进行集成。

资质认证证书

应用案例