原创 静态代码测试工具Helix QAC 2023.1更新快讯:主打编码标准覆盖率

2023-5-4 10:01 1117 10 10 分类: MCU/ 嵌入式

Helix QAC 2023.1 对 MISRA C:2012修订版4和MISRA C:2023的覆盖率为100%,对 AUTOSAR C++14的覆盖率为96%。它还更新了CWE最新版本v4.10的合规模块。

 

在这一版本中Helix QAC和Validate平台的集成也有重大改进,Validate平台提供了软件对跨工程以及Perforce静态分析产品的软件洞察力。

 

编码标准覆盖范围(MISRA C:2012修订版4、MISRA C:2023、AUTOSAR 和 CWE)


MISRA针对C程序设计语言的软件开发指南。这些指南的目的是促进嵌入式系统上下文中的代码安全性、安全性、可移植性和可靠性。

 

• 100%覆盖 MISRA C:2012 修订版4,包括新规则和 3 条指令以及对现有指南的更新。

• 新的指南涵盖了额外的C11/18特性,包括对Threads和Atomics标准库的使用,以及对现有特性的新规则。

 

Helix QAC也对MISRA C:2023有100%的覆盖度,该指南将以前的修订、修正和技术整合为一个单一的、全面的版本。MISRA C:2023将于今年晚些时候出版。

 

AUTOSAR

AUTOSAR C++ 14 的覆盖率已提高到 96%。

 

CWE

更新了 CWE C 和 CWE C++ 合规模块,以与最新版本的 CWE 4.10 保持一致。

 

Perforce Validate

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

 

Validate平台为整个组织的代码库提供分析数据、趋势和配置的集中存储,为所有Perforce Static Analysis产品提供独立平台。

 

2023.1 改进了 Helix QAC 和Validate平台之间的集成。

 

• 将问题抑制状态与Validate连接的项目同步

桌面 GUI 和 Eclipse IDE 插件

• 最新版本的项目基线支持

• Streams 功能为单个代码库提供变体、分支和版本的管理和高效报告

• 改进了使用Helix QAC桌面工具和Validate之间的Validate和QAC GUI/CLI诊断一致性生成的MISRA合规报告

• 改进了使用 Validate 和 QAC GUI/CLI 生成的 MISRA 合规性报告 Helix QAC 桌面工具和验证之间的诊断一致性

• 上传性能改进

• WebAPI 功能,用于与 SDLC 中的其他工具和流程集成

 

提高生命质量

CLI

• 最新版本工程的Validata基线支持( qacli 基线)

• Validate独立的检查器和忽略功能 ( qacli 上传)

• 抑制同步

 

GUI

• 验证依赖项检查和忽略能力

• 抑制同步到桌面

• MISRA 合规报告和标准合规报告的改进

 

Eclipse IDE 插件

在IDE插件中Validate的连接支持

 

RCMA

• 分析存储器的使用和效率的提高

 

Helix QAC 2023.1中的重要改变


停止使用公告

CCT Generator在2023停止使用

Helix QAC 2023.1将不再支持传统的独立CCT生成工具。

 

Helix QA C2021.3中引入的’qainject’工具将取代当前的CCT发生器。因此,使用遗留工具生成的CCT将被弃用,不再受支持。

 

QAC软件包中移除不支持的静态CCT

通过使用带有’qainject’的自动CCT生成,改进了对各种编译器的构建监控, 到2023.1,以前包含在Helix QAC软件包中的大多数静态CCT将被删除。自动生成的与使用静态默认CCT相比,CCT有望提供更准确的分析结果。除了GCC、Visual Studio和通用编译器之外,所有的静态CCT都被移除了。

 

➡️ 立即体验最新版Helix QAC,发送邮件至info@polelink.com

作者: 北汇信息, 来源:面包板社区

链接: https://mbb.eet-china.com/blog/uid-me-3998886.html

版权声明:本文为博主原创,未经本人允许,禁止转载!

PARTNER CONTENT

文章评论0条评论)

登录后参与讨论
我要评论
0
10
关闭 站长推荐上一条 /3 下一条