静态代码测试工具HelixQAC新版对MISRA C规则提供100%覆盖率

发布时间 2023-08-17 18:14:22作者: 麦禾信通

Helix QAC 2023.2中的新增功能

Helix QAC 2023.2对 MISRA C:2012 和 MISRA C:2023 规则提供了100% 的覆盖率,并更新了相应的合规性模块以适用于MISRA C:2023。此外,此版本还包括改进的 C23 语言支持、对 Validate 平台的改进和 Helix QAC 和 Validate 的集成,以及其他质量增强功能。

编码标准覆盖范围(MISRA C:2012、MISRA C:2023和CWE)

一、MISRA C:2012,2023

Helix QAC提供了对MISRA C:2012 AMD 4和MISRA C:2023的100%覆盖,MISRA C:2023将MISRA标准之前版本的修订、修正和技术勘误融合成一个统一综合的版本。MISRA C:2023最近于今年出版。

• M3CM 合规性模块已更新,适用于 MISRA C:2023。

二、CWE

CWE C和C++合规性模块与最新版本的 CWE 4.11 保持一致。

Perforce Validate

持续的安全和代码合规平台为嵌入式和任务关键的应用程序提供功能安全性 、信息安全性、可靠性和质量保证。

Validate平台为整个组织的代码库提供分析数据 、代码趋势及配置的集中存储,为所有Perforce静态分析产品提供统一的管理平台。

2023.2提供:

• 支持在Validate中显示Helix QAC的度量。

• 更新 Helix QAC Visual Studio插件,支持与Validate集成。

• 完全支持Validate 中的 Helix QAC自定义消息。

C23/C++23语言支持

此版本增加了对以下语言特征的支持:

• C23 的数字分隔符

• C23 / C++23中的#elifdef、#enlifndef和#warning指令

提高质量

一、命令行接口

• 允许诊断的同步和抑制的启用/禁用

• 用于输出规则组名称和规则ID的新的格式说明符%M

二、图形用户界面

• 允许自定义RCF 的名称及版本

• 允许诊断的同步和抑制的启用/禁用

三、HIS度量

• 此版本具有Helix QAC增强功能,可直接生成复合的HIS度量(以前在报告脚本中计算)。

Helix QAC 的重要变化

许可证管理的变化

RLM v15 服务器的新安装程序将会与 Helix QAC 2023.2 版本一起提供。如果希望将 Helix QAC 与Validate 2023.2 一起使用,则此服务器版本是必需的,否则是可选的。

MISRA C++2023 — 新合规模块的早期版本可供预览

MISRA组织预计将在今年晚些时候发布MISRA C++ 2023 的编码指南。新标准发布后,将引入新的合规模块以执行此标准。在 Helix QAC 2023.2 版本中,合规性模块的早期版本可根据请求提供预览,该模块迄今为止已为完成的规则提供了 98% 的覆盖。

 

更多有关HelixQAC技术信息商务服务,请访问http://www.softtest.cn/留言,或按以下方式联系旋极信息

 

获取更多资讯▼关注我们