靜態(tài)代碼測試工具Helix QAC 2023.1更新快訊：主打編碼標準覆蓋率

Helix QAC 2023.1 對 MISRA C:2012修訂版4和MISRA C:2023的覆蓋率為100%，對 AUTOSAR C++14的覆蓋率為96%。它還更新了CWE最新版本v4.10的合規(guī)模塊。

在這一版本中Helix QAC和Validate平臺的集成也有重大改進，Validate平臺提供了軟件對跨工程以及Perforce靜態(tài)分析產品的軟件洞察力。

編碼標準覆蓋范圍（MISRA C:2012修訂版4、MISRA C:2023、AUTOSAR 和 CWE）

MISRA針對C程序設計語言的軟件開發(fā)指南。這些指南的目的是促進嵌入式系統(tǒng)上下文中的代碼安全性、安全性、可移植性和可靠性。

?100%覆蓋 MISRA C:2012 修訂版4，包括新規(guī)則和 3 條指令以及對現(xiàn)有指南的更新。

?新的指南涵蓋了額外的C11/18特性，包括對Threads和Atomics標準庫的使用，以及對現(xiàn)有特性的新規(guī)則。

Helix QAC也對MISRA C:2023有100%的覆蓋度，該指南將以前的修訂、修正和技術整合為一個單一的、全面的版本。MISRA C:2023將于今年晚些時候出版。

AUTOSAR

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

CWE

更新了CWE C 和 CWE C++ 合規(guī)模塊，以與最新版本的 CWE 4.10 保持一致。

Perforce Validate

持續(xù)安全性和代碼合規(guī)性平臺為嵌入式和關鍵任務應用提供功能安全性、安全性、可靠性和質量保證。

Validate平臺為整個組織的代碼庫提供分析數(shù)據(jù)、趨勢和配置的集中存儲，為所有Perforce Static Analysis產品提供獨立平臺。

2023.1 改進了 Helix QAC 和Validate平臺之間的集成。

?將問題抑制狀態(tài)與Validate連接的項目同步

?桌面 GUI 和 Eclipse IDE 插件

?最新版本的項目基線支持

?Streams 功能為單個代碼庫提供變體、分支和版本的管理和高效報告

?改進了使用Helix QAC桌面工具和Validate之間的Validate和QAC GUI/CLI診斷一致性生成的MISRA合規(guī)報告

?改進了使用 Validate 和 QAC GUI/CLI 生成的 MISRA 合規(guī)性報告 Helix QAC 桌面工具和驗證之間的診斷一致性

?上傳性能改進

?WebAPI 功能，用于與 SDLC 中的其他工具和流程集成

提高生命質量

CLI

?最新版本工程的Validata基線支持（ qacli 基線）

?Validate獨立的檢查器和忽略功能 （ qacli 上傳）

?抑制同步

GUI

?驗證依賴項檢查和忽略能力

?抑制同步到桌面

?MISRA 合規(guī)報告和標準合規(guī)報告的改進

Eclipse IDE 插件

在IDE插件中Validate的連接支持

RCMA

?分析存儲器的使用和效率的提高

Helix QAC 2023.1中的重要改變

停止使用公告

CCT Generator在2023停止使用

Helix QAC 2023.1將不再支持傳統(tǒng)的獨立CCT生成工具。

Helix QA C2021.3中引入的’qainject’工具將取代當前的CCT發(fā)生器。因此，使用遺留工具生成的CCT將被棄用，不再受支持。

從QAC軟件包中移除不支持的靜態(tài)CCT

通過使用帶有’qainject’的自動CCT生成，改進了對各種編譯器的構建監(jiān)控, 到2023.1，以前包含在Helix QAC軟件包中的大多數(shù)靜態(tài)CCT將被刪除。自動生成的與使用靜態(tài)默認CCT相比，CCT有望提供更準確的分析結果。除了GCC、Visual Studio和通用編譯器之外，所有的靜態(tài)CCT都被移除了。