Helix QAC发布最新版本,大幅提高标准合规性

Perforce公司发布的最新版本Helix QAC,对静态分析的性能和功能进行了很多重大改进,从而确保您软件的安全性、合规性和可靠性。本文概述了Helix QAC最显著的提升之处。

Helix QAC 最新版本2020.2: 扩展C++、CERT、C Secure、MISRA和AUTOSAR覆盖

  • Helix QAC 2020.2扩大了对C++、CERT、C Secure、MISRA和AUTOSAR的覆盖范围。

  • 完全支持MISRA C:2012修正2。

  • AUTOSAR覆盖率增加到91%。

  • CERT C规则覆盖率增加到100%。

  • 完全支持CERT C POSIX规则。

  • CERT C++规则覆盖率增加到95%。

  • 符合ISO / IEC TS 17961要求的新合规性模块,可为C Secure提供98%的覆盖率。

增强了对C++17语言功能的支持,包括:

  • 内联变量。

  • 嵌套名称空间定义。

  • 带有变量初始化的选择语句。

  • 使用声明支持包扩展和声明列表。

  • 模板参数中的Typename关键字。

  • 采用占位符类型声明的非类型模板参数。

  • UTF-8字符文字。

  • 类定义中的显式模板特化。

  • 枚举直接列表初始化。

  • 结构化绑定。

增强了对C++20语言功能的支持,包括:
  • 嵌套内联名称空间。

  • 基于范围的带初始化的语句。

  • 结构化绑定中的存储类说明符。

Helix QAC 2020.2: 提高了效率和可用性

  • 最新版本还提高了提高效率和可用性。

  • Helix QAC验证仪表板改进了上载性能、修复了错误以及进行了一些小的改进。

  • 提高了Eclipse插件的性能。

  • 提高了Visual Studio插件的性能。

两种新的QAGUI可选功能提供了快速的分析反馈。这些功能包括:
  • 连续增量分析,让您可以在保存文件时或在修改文件中经过预定的不活动时间后自动执行分析。

  • 交互式异步反馈,让诊断结果随着分析的进行流进来。让您能够在分析运行时开始修复问题。

  • 支持Jenkins Pipelines,提供了一种更简便的方法自动进行静态分析,并纳入CI/CD流程中的应用程序生命周期。

为什么选择Helix QAC

Helix QAC 2020.2带来的改进巩固了Helix QAC作为所有嵌入式软件开发行业中功能安全性和合规性最强、最准确和最精确的静态分析器的地位。
如要进一步了解Helix QAC的全部新功能,请访问Helix QAC的新特点。如要了解目前运行中的最新版本的Helix AQC,请联系我们。
作者:Jill Britton, Perforce合规主管
Jill Britton在各种行业中拥有30多年的嵌入式软件经验。曾任电信、汽车、国防和教育软件的软件工程师和经理。
Jill现任Perforce合规主管,也是MISRA的委员会成员,Jill拥有纽卡斯尔大学计算机科学与统计理学学士学位以及伦敦布鲁内尔大学计算机科学理学硕士学位。
原文:https://www.perforce.com/blog/qac/helix-qac-enhanced-functional-safety
分享到: