Helix QAC 2025.1新增功能
Helix QAC 2025.1實現了對新版MISRA C:2025?標準的 100% 覆蓋,并提供對應的合規模塊。此版本還擴展了對 CERT C Level 1建議的覆蓋范圍,更新了與 Perforce Validate 平臺集成的 CI/CD 環境授權機制。Validate 平臺新增 SAML/OIDC 群組同步支持,并通過性能優化降低構建負載時間和服務器存儲占用。
編碼規范支持(MISRA C:2025?、CERT C)
MISRA C:2025? 全規范覆蓋
Helix QAC 2025.1 提供全新的 MC25CM 合規模塊,完整實施 MISRA C:2025 標準。該標準包含新增規則、現有規則修訂及指南分類結構調整。
CERT C 建議規范
Helix QAC 2025.1 增強了對 CERT C 的支持,現已完全覆蓋Level 1建議規范。當前版本持續保持對所有 CERT C 規則的 100% 覆蓋。
服務器分析授權
產品授權體系已更新,明確區分桌面端使用與 CI/CD 流水線的服務器分析場景。用戶可根據開發流程需求靈活組合用戶許可證和服務器構建許可證。有關 Validate 平臺服務器構建功能所需的許可證詳情,請聯系銷售團隊。
Reprise 許可證管理器(RLM)服務器已升級至最新版本 16.1BL1。
語言特性支持
該版本包含多項 C/C++ 語言特性處理的改進:
- 增強 C++ 分析的 constexpr 常量表達式求值能力
- 優化 C/C++ 混合項目的跨模塊實體名稱處理
- 新增聯合體(union)成員訪問一致性數據流分析
Validate 平臺功能增強
SAML/OIDC 群組授權集成
Validate 現支持通過 SAML 和 OIDC 認證實現群組同步,可在登錄時自動從身份提供商(IdP)獲取用戶群組成員信息。群組同步功能需手動啟用,具體配置步驟詳見產品文檔。
構建加載時間與磁盤占用優化
Validate 包含多項優化措施和定制選項,可顯著降低服務器構建加載時間和磁盤占用。基準測試顯示,中大型項目加載速度提升最高達40%,磁盤空間占用減少10-20%。用戶還可通過項目級配置文件自定義加載的度量指標,進一步優化資源使用。
問題狀態可配置性與報告生成
Validate 服務器新增狀態配置文件,支持以下自定義:
- 修改決定項目/視圖/構建/CI構建中"未解決問題"計數的狀態。
- 定義合規報告中偏差與違規的計算方式。
合規性報告還有其他改進,包括生成報告時應用視圖的其他數據,如視圖名稱、搜索查詢和模塊定義等。
易用性增強
編譯器支持的改進
- TI C7000
- Tasking carm
- Green Hills 2018 之前版本編譯器
構建系統集成
- Bazel 同步機制升級,優化 include 目錄和構建參數處理
Validate 集成
- 增強對日語項目及文件編碼的支持
GUI界面
- 跨會話保存界面GUI字段值/路徑配置
- 改進 C++ 代碼語法高亮顯示
CLI命令
- 優化 qacli analyze 和 qacli view 性能
- 加強 qacli baseline 參數驗證
Eclipse IDE 插件
- 支持 Eclipse 2024-12 版本
Visual Studio IDE 插件
- 改進報告生成路徑和項目創建對話框的路徑驗證
操作系統支持
- 新增 Windows 11 24H2 官方支持
Helix QAC 2025.1 中的重要變更
許可證管理變更
2025.1 版本引入以下授權機制變更:
- 隨版本發布新版 RLM v16.1BL1 服務器安裝程序,使用 Validate 2025.1 必須升級至此版本(新版 RLM 仍兼容舊版 QAC)
- 許可證功能采用年度版本標識(顯示為 25.0)
- 2024 版許可證與 2025.1 及以上版本不兼容,需聯系 contact@watertek.com 申請新許可證
- 因授權機制變更,2024.4 及更早版本合規模塊不可用于 2025.1,必須升級配套版本
功能終止聲明
2025.1 版本起移除以下命令:
- 刪除 qacli upload -validate 命令,需改用 qacli validate build 或 qacli validate cibuild 命令(需持有服務器構建許可證才能分析并上傳到validate)
版本預告
2025.2 版本產品名稱變更
- 自 2025.2 版本起,產品將全面啟用 Perforce QAC 名稱及新標識。安裝程序與用戶界面將更新產品名稱,安裝目錄和用戶數據目錄將變更為 'QAC-[version]'。
qacli view 命令輸出類型棄用
-自2025.1起,qacli view的DIAGLIST/ANNSRC/SARIF 輸出類型已被棄用,計劃于 2026.1 版本正式移除,并預計在 2026 年 Q1 末發布。這些類型目前只有在使用適當的許可證時才能訪問,建議改用 Validate 項目管理分析結果,并通過 Validate Web API 導出所需記錄。
(注:MISRA C:2025? 為 The MISRA Consortium Limited 注冊商標)
了解更多有關HelixQAC的技術信息及商務服務,請訪問http://www.softtest.cn/留言,或按以下方式聯系旋極智能:
審核編輯 黃宇
-
SAML
+關注
關注
0文章
11瀏覽量
8277 -
CCERT
+關注
關注
0文章
3瀏覽量
6447 -
MISRA
+關注
關注
0文章
22瀏覽量
7156
發布評論請先 登錄
MISRA C:2025新標準解析:新增規則、優化點與靜態代碼分析工具支持(Perforce QAC、Klocwork)

英特爾OpenVINO 2025.1版本發布
中科創達三大重磅產品發布
Perforce品牌及產品名更新:涵蓋版本控制Perforce P4(原Helix Core)、靜態代碼分析Perforce QAC(原Helix QAC)等

緩沖區溢出漏洞的原理、成因、類型及最佳防范實踐(借助Perforce 的Klocwork/Hleix QAC等靜態代碼分析工具)

Helix QAC 2024.3新特性速覽

embOS的MISRA-C:2012一致性
whitepaper-perforce-what-is-misra
代碼靜態測試工具Helix QAC 2024.2新發

評論