本文翻譯自：Explore Axivion Suite 7.7: Up to 100% MISRA C/C++ coverage and more

原文作者：Farida Kutar, Qt Group

我們很高興地宣布，用于靜態代碼分析與架構驗證的Axivion Suite 7.7正式發布。

近二十年來，Axivion Suite一直為嵌入式開發人員提供高效強大的靜態代碼分析與架構驗證工具，致力于確保軟件的長期質量。作為Qt Group質量保證產品的一部分，Axivion Suite將繼續滿足開發人員的技術需求，同時簡化和加速整體開發和測試工作流程。

這就是為什么最新發布的Axivion Suite 7.7的主要功能都與安全性、用戶友好性及擴展兼容性有關：

100%涵蓋MISRA C:2023標準

MISRA（汽車工業軟件可靠性協會）標準提供了編碼標準和指南，有助于確保軟件的安全性、可靠性及質量。雖然其重點是汽車行業，但其標準也可應用于軟件發揮重要作用的其他安全關鍵型行業，如醫療設備、航空航天或工業自動化。2023年初，最新的MISRA C:2012第4號修正案（MISRA C:2012 AMD4）發布，這是針對C11和C18語言版本的一系列修正案中的最后一項。

在最新發布的Axivion Suite中，MISRA檢查器現在可以全面支持MISRA C:2012標準和MISRA C:2023標準，包括所有相關修正案。因此，Axivion Suite 7.7涵蓋了100%所有可自動測試的MISRA C規則和指令。這使開發人員能夠遵守最重要的編碼指南，尤其是與安全相關的嵌入式應用程序，并防止可能導致事故或功能失常的軟件相關故障。

已經可用：MISRA C++:2023標準

對于幾天前剛剛發布的MISRA C++:2023標準，Axivion Suite已經涵蓋了大部分規則。該工具套件將擴展對新的MISRA C++標準的支持，以實現對所有可自動測試規則的全面覆蓋。

CLion插件的單文件分析

Axivion Suite以廣泛支持各種IDE插件（包括CLion插件）而聞名。

最近發布的7.7版在CLion插件中引入了對單文件分析的支持，使其功能與其他IDE插件相當。該增強功能包括儀表板組件和支持本地構建，使其與該工具套件的功能保持一致。

最新解析器更新

在編譯器支持方面，Axivion Suite通過集成最新的EDG C/C++解析器前端，實現功能擴展。這確保了與最新編譯器版本（如GNU Compiler Collection (GCC) 13.1）的兼容性，并增強了前端更好理解新語言版本的能力。此外，對于使用C#的開發人員，Axivion Suite 7.7現已將其支持擴展至C#10。

Qt特定安全規則

通過建立自己的安全規則，Qt旨在為提高使用其工具開發的系統的網絡安全性做出積極貢獻。現在，Axivion Suite 7.7也將這些現有的Qt特定安全規則納入了分析工具。這一增強功能對已經熟悉Qt其他工具的開發人員尤其有利，因為他們現在可以在自己的項目中輕松使用靜態代碼分析與架構驗證工具——這有助于他們強化代碼，避免潛在漏洞。這些Qt特定安全規則將在今后的版本中得到擴展。

簡化配置

Axivion Suite的GUI設置現在可以讓開發人員直接在用戶界面中高效管理配置文件。通過專用的上下文菜單，可以輕松地添加或刪除規則，或調整其順序。

這一優化流程比在文本編輯器中手動創建和編輯配置文件要方便得多。

Axivion Suite 7.7還有更多新增功能：比如用于OEA文件的新Enterprise Architect （EA）導入器、配備LCOM4的附加度量以及改進的時區支持。

深圳市優飛迪科技有限公司成立于2010年，是一家專注于產品開發平臺解決方案與物聯網技術開發的國家級高新技術企業。

十多年來，優飛迪科技在數字孿生、工業軟件尤其仿真技術、物聯網技術開發等領域積累了豐富的經驗，并在這些領域擁有數十項獨立自主的知識產權。同時，優飛迪科技也與國際和國內的主要頭部工業軟件廠商建立了戰略合作關系，能夠為客戶提供完整的產品開發平臺解決方案。

優飛迪科技技術團隊實力雄厚，主要成員均來自于國內外頂尖學府、并在相關領域有豐富的工作經驗，能為客戶提供“全心U+端到端服務”。