Helix QAC — 软件静态测试工具

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

    Helix QAC 主要模块为QAC/QAC++、QA Verify、以及常用行业规则包（如MISRA C:2012、MISRA C++:2008、AUTOSAR C++、CERT、CWE 等）。

QAC/QAC++主要功能
• 代码自动审查
QAC/QAC++能够对C/C++代码规则进行自动检查，报告所违反的编程标准和准则，减少代码审查所需的时间，使软件工程师在开发阶段就可以避免代码中的问题。

• 规范支持
QAC/QAC++支持多种新编程标准(MISRA C:2012、AUTOSAR C++、CERT、CWE等)， 及其他多种行业编程规则。QAC/QAC++能够发现1900多种C语言问题、1400多种C++的问题，并提供方便的二次开发接口，可以让软件质量工程师定制符合自身要求的规范。

• 科学的质量度量
QAC/QAC++提供权威的度量指标分析能力，包括60多种C语言度量元和40多种C++语言度量元，为处于不同成熟度企业的软件质量改进提供客观准确的依据，帮助企业从宏观上把控软件质量。

• 灵活的测试管理
QAC/QAC++能够对全生命周期的测试过程提供代码质量管理解决方案。通过QA Verify 插件，开发经理可以随时通过网页监控项目质量趋势，跟踪缺陷状态、管理代码质量、分配工作任务、定义复合度量、对比分析质量、定制生成质量报告，并和Baseline插件一起，进行测试的版本管理和控制。

QA Verify主要功能
QA Verify可以与第三方持续集成插件（如Jenkins）集成，在服务器端进行代码集中、定时测试，测试后将结果分发给团队里的不同角色，同时提供了良好的团队协作、版本管理、报告导出等功能。

Helix QAC主要功能
Helix QAC（原 QA Framework），将QAC/QAC++的用户界面又封装了一层，在新的用户界面上支持更多操作，比如可以同时使用QAC和QAC++的分析器，不再需要单独使用两个软件；再如用户可以在QAC/QAC++的界面上直接修改源代码；且默认已包含Helix QAC Dashboard(原 QA Verify)功能等。其主要功能有：

• 新的用户界面
♦ 支持分析界面对源码进行编辑
♦ 交叉平台命令行接口
• 与Visual Studio和Eclipse无缝集成
• 支持混合代码（C 和C++ ）的检查
• 提供HIS度量报告
• 更方便地保存和发布QAC/QAC++工程文件