Axivion Suite
關注創建者：匿名 創建時間：2026-01-04
Axivion Suite的實例教程
本文翻譯自：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規則和指令。這使開發人員能夠遵守最重要的編碼指南，尤其是與安全相關的嵌入式應用程序，并防止可能導致事故或功能失常的軟件相關故障。
展開 本文翻譯自：Axivion Suite 7.6: Easy set-up, easy use
原文作者：Farida Kutar, Qt Group
校審：Felix Zhang
我們很高興地宣布Axivion Suite 7.6的發布，包含Axivion Static Code Analysis和Axivion Architecture Verification。
在Axivion加入Qt Group后，我們也在進一步開發產品，以便其能夠在Qt產品系列中運行：Qt客戶將會很高興地發現，最新版本的Axivion Suite 7.6現在支持集成Qt特定規則，其中包括來自clazy編譯器插件和AUTOSAR的規則。隨著新版本的發布，Axivion Suite還集成了qmllint QML分析工具。
當然，對于不適用Qt產品系列的項目，Axivion Static Code Analysis和Axivion Architecture Verification工具依然是最佳的解決方案。以下是新版本的部分亮點：
與MISRA C:2012 AMD3保持同步
Axivion Suite集成了一個MISRA檢查器，覆蓋了幾乎所有可自動測試的MISRA規則。為了跟上最新的標準，7.6版本新增了對MISRA C:2012 Amendment 3和大部分MISRA C:2023規則和指令的自動檢查。
簡化多個團隊的環境配置
新版本7.6的最大優點就是簡化了設置過程。以往，分布式團隊需要訪問中心化的數據庫來進行文件共享，現在在客戶特定的CI/CD環境中使用Axivion Suite更加便捷：最新的7.6版本提供了一種可選模式，只需要Web服務器訪問數據庫，分析端則通過上傳/下載訪問Web服務器。
展開 Qt Group的Axivion Suite是業界領先的靜態代碼分析工具，包含 Axivion Static Code Analysis 和 Axivion Architecture Verification，為您提供業界領先的代碼深入分析服務。
靜態代碼分析從項目之初開始保證質量
Axivion Static Code Analysis
靜態代碼分析可檢查軟件項目的風格和編碼違規。在項目早期階段檢測克--隆代碼、死代碼、被零除及其他代碼缺陷，可減少后期修復所需的時間和成本。該工具支持眾多指標和編碼規則。尤其是與安全與保障相關的方面，因此可以輕松監控。此外，還可添加獨立編碼規則以及配置選項，確保從項目之初就保持高質量標準。
Axivion Architecture Verification
實現架構驗證可確保系統結構保持清晰明了。為創建軟件架構的結構模型，您可以手動設置，也可以從UML模型或其他形式的圖形結構中導入。軟件架構侵蝕和架構債務變得透明，因此可以有效地應對。為了檢查代碼是否符合架構，需標記偏差、阻止進一步的架構侵蝕。已存在的架構設計債務可以通過有針對性的重構措施加以糾正，您可以在架構驗證的結果報告中直接監控這些措施。
可根據您的開發環境進行定制
Axivion Static Code Analysis與Axivion Architecture Verification無縫集成到您現有的開發環境中。這些工具可高度定制以滿足您的個性化需求。我們的專家將支持整個執行過程，確保您從項目之初就能從中獲益。
展開 “借助Axivion Suite，我們大大減少了開發、驗證和試運行的工作量，降低了集成風險。”
成功實踐
借助架構分析，HENSOLDT引入了一種受到備受架構師和開發者歡迎的方法。這在很大程度上歸功于Axivion Suite使得架構規范和復雜的UML模型在代碼實現方面更為清晰易懂：如果Axivion Suite偵測到偏差，將立即提供針對性反饋。這能讓所有開發者通過反饋循環獲得一種學習效應，使得他們能夠理解架構師的模型以及如何解讀。架構分析能夠即時消除可能的誤解。
架構師們也能夠體驗到類似的學習效果：利用Axivion Suite，架構師能夠了解如何讓開發者更容易理解UML模型，逐漸熟悉合理的建模深度，進而更準確地評估實施過程中的影響。這意味著能夠在建模的工作和效益之間取得最佳平衡。
降低集成風險也是一項巨大的成功。在集成階段，產品根據不同客戶需求創建各種版本。這一過程在整個項目的最后階段進行，過去這被視為確保客戶版本嚴格符合規定要求的手段。而現在，這種保障在架構審核階段就已經實施，使得整個開發流程提前了。這意味著，任何偏差的修正將更加節省成本并降低最終期限的風險。
除了架構分析之外，Axivion Suite還用于記錄指標。此外，HENSOLDT還利用Axivion Suite監控編程指南，以確保軟件可維護、降低錯誤概率，避免代碼受到進一步軟件侵蝕的影響。指標和代碼測試的結果也被用作評審和報告中的關鍵績效指標（KPI）。
HENSOLDT在現有的龐大代碼庫上應用了Axivion Suite。針對代碼違規，消除規范偏差的策略是：新代碼中的所有偏差都應得到消除，而對于舊代碼，只需消除具有關鍵影響的違例。如此一來，已經經過驗證的系統組件就不需要完全重新審查。這種方法得益于Axivion的差異增量分析，它僅顯示與基線相比產生的新偏差。
展開 將現有的靜態代碼分析工具遷移到Axivion Suite的過程非常快速、順利，Axivion專業服務團隊的定制過程也同樣如此。
該工具套件將用于分析用C編程語言開發的代碼。集成的MISRA檢查器將覆蓋編程標準MISRA C:2012中所有可自動檢查的MISRA規則以及安全方面的內容。作為架構驗證的一部分，現有的Enterprise Architect UML模型將被自動導入并檢查代碼是否符合規范。Axivion Suite將融入TR-Electronic測試構建工具鏈，對于軟件來說，其中至關重要的是符合CERT?編程規范。
成功實踐
TR-Electronic此前部署了一些測試工具，用于自動檢查固件的外部質量，例如功能適用性、效率等。隨著Axivion Suite的引入，現在還擁有了一款高效的工具，用于自動檢測軟件的內部質量。
此工具套件將在每次構建后負責自動檢查固件代碼和架構。分析能夠可靠地檢查指標閾值的遵循情況，以及公司特定的和通用的編程規則（如MISRA和CERT?），并指出違反既定軟件架構的情況。架構驗證確保始終符合接口要求，以便支持各個模塊的封裝。
在持續的代碼開發過程中，尤其是在出現架構違例的情況下，迅速的反饋周期很快對編程質量產生了正面效果。這得益于定期且有意義的反饋，不僅可以促使編碼及時進行修正，還可以幫助開發者更快地學習和掌握技能。
總體而言，TR-Electronic大幅減少了在驗證軟件架構和代碼方面所需的人力成本。同時，Axivion Suite通過確保固件開發的安全性，完善了開發團隊現有的工具鏈。
關于TR-ELECTRONIC
TR-Electronic專注于為自動化技術產業開發、制造和銷售傳感器及執行器。
展開 
Axivion Suite的相關專題、標簽、搜索
Axivion Suite的最新內容
近二十年來，Axivion Suite一直為嵌入式開發人員提供高效強大的靜態代碼分析與架構驗證工具，致力于確保軟件的長期質量。作為Qt Group質量保證產品的一部分，Axivion Suite將繼續滿足開發人員的技術需求，同時簡化和加速整體開發和測試工作流程。
在Axivion加入Qt Group后，我們也在進一步開發產品，以便其能夠在Qt產品系列中運行：Qt客戶將會很高興地發現，最新版本的Axivion Suite 7.6現在支持集成Qt特定規則，其中包括來自clazy編譯器插件和AUTOSAR的規則。隨著新版本的發布，Axivion Suite還集成了qmllint QML分析工具。
除了架構分析之外，Axivion Suite還用于記錄指標。此外，HENSOLDT還利用Axivion Suite監控編程指南，以確保軟件可維護、降低錯誤概率，避免代碼受到進一步軟件侵蝕的影響。指標和代碼測試的結果也被用作評審和報告中的關鍵績效指標（KPI）。
HENSOLDT在現有的龐大代碼庫上應用了Axivion Suite。
為了確保Axivion Suite迅速成為EB日常開發工作的一部分，作為解決方案提供商，Axivion已在引入新工具的每個階段進行了指導。從將Axivion Suite技術集成到開發環境，設置所需的分析和報告，到培訓開發者和架構師，Axivion提供了一應俱全的服務。
解決方案
Axivion Suite完全符合此需求，因為Axivion Suite可以精確的分析和輕松融入TR-Electronic現有工具鏈和開發流程。將現有的靜態代碼分析工具遷移到Axivion Suite的過程非常快速、順利，Axivion專業服務團隊的定制過程也同樣如此。
該工具套件將用于分析用C編程語言開發的代碼。
Qt Group的Axivion Suite是業界領先的靜態代碼分析工具，包含 Axivion Static Code Analysis 和 Axivion Architecture Verification，為您提供業界領先的代碼深入分析服務。
他們在Axivion Suite中找到了答案：Axivion工具套件完全契合高標準的要求。
“得益于在實施過程中的支持以及專業服務團隊的出色支持，我們很快就輕松地將Axivion Suite集成到我們的開發環境中。現在軟件中幾乎不存在架構違例，而且在全球范圍內，我們的開發團隊都實現了更高標準的架構符合性代碼。”
面對挑戰
遵守全球標準是至關重要的，尤其是在醫療技術領域。
代碼嗅覺檢查
Axivion suite幫助您可靠地檢測和管理整個項目中的重復代碼，檢測包含頭文件的循環，以及直接調用循環，無論調用深度如何，并識別不可達的代碼。
Delta分析
隨著時間的推移，允許持續的基線分析和自動的問題跟蹤。這使您能夠在日常業務中專注于
重要的信息。
靜態代碼和軟件架構分析概述
*AXIVION SUITE:來自AXIVION收購
檢測代碼異味的有效工具，可幫助您識別技術債務或從一開始就避免它們，以使您的軟件項目在未來保持可維護性和可擴展性。
