Helix QAC 2023.2中的新增功能

Helix QAC 2023.2對(duì) MISRA C:2012 和 MISRA C:2023 規(guī)則提供了100% 的覆蓋率，并更新了相應(yīng)的合規(guī)性模塊以適用于MISRA C:2023。此外，此版本還包括改進(jìn)的 C23 語(yǔ)言支持、對(duì) Validate 平臺(tái)的改進(jìn)和 Helix QAC 和 Validate 的集成，以及其他質(zhì)量增強(qiáng)功能。

編碼標(biāo)準(zhǔn)覆蓋范圍（MISRA C:2012、MISRA C:2023和CWE）

一、MISRA C:2012,2023

Helix QAC提供了對(duì)MISRA C:2012 AMD 4和MISRA C:2023的100%覆蓋，MISRA C:2023將MISRA標(biāo)準(zhǔn)之前版本的修訂、修正和技術(shù)勘誤融合成一個(gè)統(tǒng)一綜合的版本。MISRA C:2023最近于今年出版。

? M3CM 合規(guī)性模塊已更新，適用于 MISRA C:2023。

二、CWE

CWE C和C++合規(guī)性模塊與最新版本的 CWE 4.11 保持一致。

Perforce Validate

持續(xù)的安全和代碼合規(guī)平臺(tái)為嵌入式和任務(wù)關(guān)鍵的應(yīng)用程序提供功能安全性 、信息安全性、可靠性和質(zhì)量保證。

Validate平臺(tái)為整個(gè)組織的代碼庫(kù)提供分析數(shù)據(jù) 、代碼趨勢(shì)及配置的集中存儲(chǔ)，為所有Perforce靜態(tài)分析產(chǎn)品提供統(tǒng)一的管理平臺(tái)。

2023.2提供：

? 支持在Validate中顯示Helix QAC的度量。

? 更新 Helix QAC Visual Studio插件，支持與Validate集成。

? 完全支持Validate 中的 Helix QAC自定義消息。

C23/C++23語(yǔ)言支持

此版本增加了對(duì)以下語(yǔ)言特征的支持：

? C23 的數(shù)字分隔符

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

提高質(zhì)量

一、命令行接口

? 允許診斷的同步和抑制的啟用/禁用

? 用于輸出規(guī)則組名稱和規(guī)則ID的新的格式說(shuō)明符%M

二、圖形用戶界面

? 允許自定義RCF 的名稱及版本

? 允許診斷的同步和抑制的啟用/禁用

三、HIS度量

? 此版本具有Helix QAC增強(qiáng)功能，可直接生成復(fù)合的HIS度量（以前在報(bào)告腳本中計(jì)算）。

Helix QAC 的重要變化

許可證管理的變化

RLM v15 服務(wù)器的新安裝程序?qū)?huì)與 Helix QAC 2023.2 版本一起提供。如果希望將 Helix QAC 與Validate 2023.2 一起使用，則此服務(wù)器版本是必需的，否則是可選的。

MISRA C++2023 — 新合規(guī)模塊的早期版本可供預(yù)覽

MISRA組織預(yù)計(jì)將在今年晚些時(shí)候發(fā)布MISRA C++ 2023 的編碼指南。新標(biāo)準(zhǔn)發(fā)布后，將引入新的合規(guī)模塊以執(zhí)行此標(biāo)準(zhǔn)。在 Helix QAC 2023.2 版本中，合規(guī)性模塊的早期版本可根據(jù)請(qǐng)求提供預(yù)覽，該模塊迄今為止已為完成的規(guī)則提供了 98% 的覆蓋。

更多有關(guān)HelixQAC的技術(shù)信息及商務(wù)服務(wù)，請(qǐng)?jiān)L問(wèn)http://www.softtest.cn/留言，或按以下方式聯(lián)系旋極信息：

獲取更多資訊▼關(guān)注我們