Helix QAC 2022.4新版本發佈

創提科技
2023/02/13

分享到

Helix QAC 2022.4新增了哪些功能


Helix QAC 2022.4提供了對MISRA C:2012 AMD3的規則100%的覆蓋,將資料流程分離到了一個改進了分析性能的新元件中,並升級了對C++20和C23的語言支援。
 
此外,Helix QAC 2022.4還提供對TS 17961 C Secure合規模塊的日文支援,改進了編譯器支持,普遍提高了各種Helix QAC元件的品質。


資料流程組件
 
在Helix QAC 2022.4這個版本中,資料流程已經從QAC/QAC++引擎分離出來,形成了資料流程元件。此次更新包括:
 
    • 改進了大型專案的資料流程分析性能。
 
    • ‘Inter-TU analysis’內嵌於資料流程分析中,不再需要分析兩次。
 
    • 標頭檔中定義的函數在每個專案中只分析一次。
 
    • 資料流程診斷報告僅針對“dataflow”元件,而不是“qac”或“qacpp”。
 
    • 資料流程是分析工具鏈中的一個獨立元件,具有單獨的配置選項。


編碼標準覆蓋範圍(MISRA C:2012 AMD3, TS 17961 C Secure)
 
新的MISRA C:2012 Amendment 3 C合規模塊,100%地覆蓋:
 
    • 執行汽車工業軟體可靠性協會(Motor Industry Software Reliability Association, 簡稱MISRA)針對C程式設計語言的軟體發展準則。這些準則旨在促進嵌入式系統環境下程式碼的安全性、可攜性和可靠性。
 
    • 關於C11/C18新特性的附加規則。
 
TS 17961 C Secure
 
TS 17961 C Secure合規模塊(SECCCM)現在有完整的日文翻譯。


支援C++20語言
 
Helix QAC 2022.4改進了與C++ 20語言特性使用的相容性,包括在C++ 20模式下處理GCC標頭檔。


支援C23語言
 
Helix QAC 2022.4增加了對C23語言特性的支援:
 
    • 放寬對可變參數列表的要求,論文N2975。


改進構建過程監測
 
Helix QAC 2022.4使用'qainject'對CCT的自動生成進行了改進,這簡化了構建理解和編譯器設置,並且在手冊中提供了額外的指導,用於創建自訂篩檢程式,以使用基於支援的編譯器的新編譯器,例如,基於GNU的編譯器。


提高品質
 
命令列介面(CLI)
 
    • 增加了從基線開始查看診斷資訊的功能(qacli view)。
 
    • 根據抑制類型篩選診斷資訊(qacli view --suppression-filter type)。
 
    • 以NONE, MULTIPLE, SINGLE等多種格式輸出CMA診斷結果(qacli view --multi-homed-format)。
 
    • 允許用戶升級現有的專案,使其與分離的資料流程元件相相容(qacli admin --upgrade)。
 
圖形化使用者介面(GUI)
 
    • 支援資料流程組件
 
儀錶盤
 
    • 支援資料流程組件
 
Microsoft Visual Studio 2022 IDE外掛程式
 
    • 支持多個Helix QAC安裝VS 2022擴展外掛程式。


Helix QAC 2022.4的重要更新


提前通知
 
CCT生成器將於2023年結束生命週期
 
Helix QAC 2023.1將不再支持傳統的獨立CCT生成器。
 
在Helix QAC 2021.3中引入的'qainject'工具將取代當前的CCT 生成器。因此,使用該遺留工具生成的CCT將被棄用,不再受支持。
 
刪除QAC包中不受支援的靜態CCT
 
隨著使用'qainject'自動生成的CCT對各種編譯器的構建監測得到改進,之前包含在Helix QAC包中的大多數靜態CCT將於2023年1月被刪除。與使用靜態缺省的CCT相比,自動生成的CCT有望提供更準確的分析結果。我們的目的是刪除除了用於GNU gcc、Visual Studio和通用編譯器之外的所有CCT。