Axivion Suite的案例
探索Axivion Suite 7.7：高達(dá)100%的MISRA C/C++標(biāo)準(zhǔn)覆蓋范圍等
本文翻譯自：Explore Axivion Suite 7.7: Up to 100% MISRA C/C++ coverage and more
原文作者：Farida Kutar, Qt Group
我們很高興地宣布，用于靜態(tài)代碼分析與架構(gòu)驗(yàn)證的Axivion Suite 7.7正式發(fā)布。
近二十年來，Axivion Suite一直為嵌入式開發(fā)人員提供高效強(qiáng)大的靜態(tài)代碼分析與架構(gòu)驗(yàn)證工具，致力于確保軟件的長期質(zhì)量。作為Qt Group質(zhì)量保證產(chǎn)品的一部分，Axivion Suite將繼續(xù)滿足開發(fā)人員的技術(shù)需求，同時(shí)簡化和加速整體開發(fā)和測試工作流程。
這就是為什么最新發(fā)布的Axivion Suite 7.7的主要功能都與安全性、用戶友好性及擴(kuò)展兼容性有關(guān)：
100%涵蓋MISRA C:2023標(biāo)準(zhǔn)
MISRA（汽車工業(yè)軟件可靠性協(xié)會）標(biāo)準(zhǔn)提供了編碼標(biāo)準(zhǔn)和指南，有助于確保軟件的安全性、可靠性及質(zhì)量。雖然其重點(diǎn)是汽車行業(yè)，但其標(biāo)準(zhǔn)也可應(yīng)用于軟件發(fā)揮重要作用的其他安全關(guān)鍵型行業(yè)，如醫(yī)療設(shè)備、航空航天或工業(yè)自動化。2023年初，最新的MISRA C:2012第4號修正案（MISRA C:2012 AMD4）發(fā)布，這是針對C11和C18語言版本的一系列修正案中的最后一項(xiàng)。
在最新發(fā)布的Axivion Suite中，MISRA檢查器現(xiàn)在可以全面支持MISRA C:2012標(biāo)準(zhǔn)和MISRA C:2023標(biāo)準(zhǔn)，包括所有相關(guān)修正案。因此，Axivion Suite 7.7涵蓋了100%所有可自動測試的MISRA C規(guī)則和指令。這使開發(fā)人員能夠遵守最重要的編碼指南，尤其是與安全相關(guān)的嵌入式應(yīng)用程序，并防止可能導(dǎo)致事故或功能失常的軟件相關(guān)故障。
展開 Axivion Suite 7.6發(fā)布：簡易設(shè)置，輕松使用
本文翻譯自：Axivion Suite 7.6: Easy set-up, easy use
原文作者：Farida Kutar, Qt Group
校審：Felix Zhang
我們很高興地宣布Axivion Suite 7.6的發(fā)布，包含Axivion Static Code Analysis和Axivion Architecture Verification。
在Axivion加入Qt Group后，我們也在進(jìn)一步開發(fā)產(chǎn)品，以便其能夠在Qt產(chǎn)品系列中運(yùn)行：Qt客戶將會很高興地發(fā)現(xiàn)，最新版本的Axivion Suite 7.6現(xiàn)在支持集成Qt特定規(guī)則，其中包括來自clazy編譯器插件和AUTOSAR的規(guī)則。隨著新版本的發(fā)布，Axivion Suite還集成了qmllint QML分析工具。
當(dāng)然，對于不適用Qt產(chǎn)品系列的項(xiàng)目，Axivion Static Code Analysis和Axivion Architecture Verification工具依然是最佳的解決方案。以下是新版本的部分亮點(diǎn)：
與MISRA C:2012 AMD3保持同步
Axivion Suite集成了一個(gè)MISRA檢查器，覆蓋了幾乎所有可自動測試的MISRA規(guī)則。為了跟上最新的標(biāo)準(zhǔn)，7.6版本新增了對MISRA C:2012 Amendment 3和大部分MISRA C:2023規(guī)則和指令的自動檢查。
簡化多個(gè)團(tuán)隊(duì)的環(huán)境配置
新版本7.6的最大優(yōu)點(diǎn)就是簡化了設(shè)置過程。以往，分布式團(tuán)隊(duì)需要訪問中心化的數(shù)據(jù)庫來進(jìn)行文件共享，現(xiàn)在在客戶特定的CI/CD環(huán)境中使用Axivion Suite更加便捷：最新的7.6版本提供了一種可選模式，只需要Web服務(wù)器訪問數(shù)據(jù)庫，分析端則通過上傳/下載訪問Web服務(wù)器。
展開 Axivion Suite：靜態(tài)代碼分析與架構(gòu)驗(yàn)證工具
Qt Group的Axivion Suite是業(yè)界領(lǐng)先的靜態(tài)代碼分析工具，包含 Axivion Static Code Analysis 和 Axivion Architecture Verification，為您提供業(yè)界領(lǐng)先的代碼深入分析服務(wù)。
靜態(tài)代碼分析從項(xiàng)目之初開始保證質(zhì)量
Axivion Static Code Analysis
靜態(tài)代碼分析可檢查軟件項(xiàng)目的風(fēng)格和編碼違規(guī)。在項(xiàng)目早期階段檢測克--隆代碼、死代碼、被零除及其他代碼缺陷，可減少后期修復(fù)所需的時(shí)間和成本。該工具支持眾多指標(biāo)和編碼規(guī)則。尤其是與安全與保障相關(guān)的方面，因此可以輕松監(jiān)控。此外，還可添加獨(dú)立編碼規(guī)則以及配置選項(xiàng)，確保從項(xiàng)目之初就保持高質(zhì)量標(biāo)準(zhǔn)。
Axivion Architecture Verification
實(shí)現(xiàn)架構(gòu)驗(yàn)證可確保系統(tǒng)結(jié)構(gòu)保持清晰明了。為創(chuàng)建軟件架構(gòu)的結(jié)構(gòu)模型，您可以手動設(shè)置，也可以從UML模型或其他形式的圖形結(jié)構(gòu)中導(dǎo)入。軟件架構(gòu)侵蝕和架構(gòu)債務(wù)變得透明，因此可以有效地應(yīng)對。為了檢查代碼是否符合架構(gòu)，需標(biāo)記偏差、阻止進(jìn)一步的架構(gòu)侵蝕。已存在的架構(gòu)設(shè)計(jì)債務(wù)可以通過有針對性的重構(gòu)措施加以糾正，您可以在架構(gòu)驗(yàn)證的結(jié)果報(bào)告中直接監(jiān)控這些措施。
可根據(jù)您的開發(fā)環(huán)境進(jìn)行定制
Axivion Static Code Analysis與Axivion Architecture Verification無縫集成到您現(xiàn)有的開發(fā)環(huán)境中。這些工具可高度定制以滿足您的個(gè)性化需求。我們的專家將支持整個(gè)執(zhí)行過程，確保您從項(xiàng)目之初就能從中獲益。
展開 Qt客戶案例 | 航空航天軟件架構(gòu)分析
“借助Axivion Suite，我們大大減少了開發(fā)、驗(yàn)證和試運(yùn)行的工作量，降低了集成風(fēng)險(xiǎn)。”
成功實(shí)踐
借助架構(gòu)分析，HENSOLDT引入了一種受到備受架構(gòu)師和開發(fā)者歡迎的方法。這在很大程度上歸功于Axivion Suite使得架構(gòu)規(guī)范和復(fù)雜的UML模型在代碼實(shí)現(xiàn)方面更為清晰易懂：如果Axivion Suite偵測到偏差，將立即提供針對性反饋。這能讓所有開發(fā)者通過反饋循環(huán)獲得一種學(xué)習(xí)效應(yīng)，使得他們能夠理解架構(gòu)師的模型以及如何解讀。架構(gòu)分析能夠即時(shí)消除可能的誤解。
架構(gòu)師們也能夠體驗(yàn)到類似的學(xué)習(xí)效果：利用Axivion Suite，架構(gòu)師能夠了解如何讓開發(fā)者更容易理解UML模型，逐漸熟悉合理的建模深度，進(jìn)而更準(zhǔn)確地評估實(shí)施過程中的影響。這意味著能夠在建模的工作和效益之間取得最佳平衡。
降低集成風(fēng)險(xiǎn)也是一項(xiàng)巨大的成功。在集成階段，產(chǎn)品根據(jù)不同客戶需求創(chuàng)建各種版本。這一過程在整個(gè)項(xiàng)目的最后階段進(jìn)行，過去這被視為確保客戶版本嚴(yán)格符合規(guī)定要求的手段。而現(xiàn)在，這種保障在架構(gòu)審核階段就已經(jīng)實(shí)施，使得整個(gè)開發(fā)流程提前了。這意味著，任何偏差的修正將更加節(jié)省成本并降低最終期限的風(fēng)險(xiǎn)。
除了架構(gòu)分析之外，Axivion Suite還用于記錄指標(biāo)。此外，HENSOLDT還利用Axivion Suite監(jiān)控編程指南，以確保軟件可維護(hù)、降低錯誤概率，避免代碼受到進(jìn)一步軟件侵蝕的影響。指標(biāo)和代碼測試的結(jié)果也被用作評審和報(bào)告中的關(guān)鍵績效指標(biāo)（KPI）。
HENSOLDT在現(xiàn)有的龐大代碼庫上應(yīng)用了Axivion Suite。針對代碼違規(guī)，消除規(guī)范偏差的策略是：新代碼中的所有偏差都應(yīng)得到消除，而對于舊代碼，只需消除具有關(guān)鍵影響的違例。如此一來，已經(jīng)經(jīng)過驗(yàn)證的系統(tǒng)組件就不需要完全重新審查。這種方法得益于Axivion的差異增量分析，它僅顯示與基線相比產(chǎn)生的新偏差。
展開 
Qt客戶案例：針對自動化技術(shù)固件的架構(gòu)分析和MISRA檢查
將現(xiàn)有的靜態(tài)代碼分析工具遷移到Axivion Suite的過程非常快速、順利，Axivion專業(yè)服務(wù)團(tuán)隊(duì)的定制過程也同樣如此。
該工具套件將用于分析用C編程語言開發(fā)的代碼。集成的MISRA檢查器將覆蓋編程標(biāo)準(zhǔn)MISRA C:2012中所有可自動檢查的MISRA規(guī)則以及安全方面的內(nèi)容。作為架構(gòu)驗(yàn)證的一部分，現(xiàn)有的Enterprise Architect UML模型將被自動導(dǎo)入并檢查代碼是否符合規(guī)范。Axivion Suite將融入TR-Electronic測試構(gòu)建工具鏈，對于軟件來說，其中至關(guān)重要的是符合CERT?編程規(guī)范。
成功實(shí)踐
TR-Electronic此前部署了一些測試工具，用于自動檢查固件的外部質(zhì)量，例如功能適用性、效率等。隨著Axivion Suite的引入，現(xiàn)在還擁有了一款高效的工具，用于自動檢測軟件的內(nèi)部質(zhì)量。
此工具套件將在每次構(gòu)建后負(fù)責(zé)自動檢查固件代碼和架構(gòu)。分析能夠可靠地檢查指標(biāo)閾值的遵循情況，以及公司特定的和通用的編程規(guī)則（如MISRA和CERT?），并指出違反既定軟件架構(gòu)的情況。架構(gòu)驗(yàn)證確保始終符合接口要求，以便支持各個(gè)模塊的封裝。
在持續(xù)的代碼開發(fā)過程中，尤其是在出現(xiàn)架構(gòu)違例的情況下，迅速的反饋周期很快對編程質(zhì)量產(chǎn)生了正面效果。這得益于定期且有意義的反饋，不僅可以促使編碼及時(shí)進(jìn)行修正，還可以幫助開發(fā)者更快地學(xué)習(xí)和掌握技能。
總體而言，TR-Electronic大幅減少了在驗(yàn)證軟件架構(gòu)和代碼方面所需的人力成本。同時(shí)，Axivion Suite通過確保固件開發(fā)的安全性，完善了開發(fā)團(tuán)隊(duì)現(xiàn)有的工具鏈。
關(guān)于TR-ELECTRONIC
TR-Electronic專注于為自動化技術(shù)產(chǎn)業(yè)開發(fā)、制造和銷售傳感器及執(zhí)行器。
展開 Qt客戶案例 | 軟件侵蝕防護(hù)：面向快速發(fā)展的汽車行業(yè)的導(dǎo)航軟件
同時(shí)，Axivion Suite不斷檢查具體設(shè)計(jì)是否滿足高層級架構(gòu)要求。違背架構(gòu)要求的信息會匯入定期報(bào)告，根據(jù)部署場景，可以通過電子郵件發(fā)送給單個(gè)團(tuán)隊(duì)經(jīng)理或整個(gè)開發(fā)團(tuán)隊(duì)，或者作為儀表板消息顯示，或在正常的集成開發(fā)環(huán)境中提供。針對每個(gè)具體情況，可以決定采取相應(yīng)的對策，如代碼修正或架構(gòu)跟蹤。在這個(gè)過程中，關(guān)鍵在于確保項(xiàng)目相關(guān)人員始終能夠透明地獲取到這些信息。這樣可以幫助團(tuán)隊(duì)做出明智的決策，例如在某些情況下優(yōu)先考慮快速有效的開發(fā)，而將常規(guī)系統(tǒng)維護(hù)視為次要任務(wù)。他們也可能會決定不立即進(jìn)行調(diào)整，但對這些違背架構(gòu)要求信息的保留以便后期重新調(diào)整優(yōu)先級是至關(guān)重要的。
為了確保Axivion Suite迅速成為EB日常開發(fā)工作的一部分，作為解決方案提供商，Axivion已在引入新工具的每個(gè)階段進(jìn)行了指導(dǎo)。從將Axivion Suite技術(shù)集成到開發(fā)環(huán)境，設(shè)置所需的分析和報(bào)告，到培訓(xùn)開發(fā)者和架構(gòu)師，Axivion提供了一應(yīng)俱全的服務(wù)。
成功實(shí)踐
在引入Axivion Suite之后，EB很快在開發(fā)者層面取得了初步成功：信息透明的報(bào)告讓程序員們對自己的代碼有了一個(gè)全面的了解。他們每天都能學(xué)到新東西，進(jìn)而提高開發(fā)工作的水平，并更好地理解軟件架構(gòu)。與此同時(shí)，來自各地的新員工加入團(tuán)隊(duì)的過程也變得更加容易和快捷。
現(xiàn)在，EB通過持續(xù)改進(jìn)其開發(fā)工作，已經(jīng)能夠比以往更快地在EB街道導(dǎo)航系統(tǒng)的模塊中實(shí)現(xiàn)新功能。當(dāng)架構(gòu)師根據(jù)新功能的需求修改模型時(shí)，這些架構(gòu)修改現(xiàn)在對于參與項(xiàng)目的所有人都是可見的和透明的，這有助于保持后續(xù)開發(fā)的一致性——這是敏捷軟件開發(fā)的要素之一。
此外，從開發(fā)、測試和調(diào)試過程中獲得的新經(jīng)驗(yàn)使項(xiàng)目經(jīng)理可以更容易、更快地為新項(xiàng)目做成本估算，同時(shí)進(jìn)行的影響分析也變得更為高效。
總體而言，不斷優(yōu)化的架構(gòu)過程以及清晰的接口和模塊有助于確保軟件的可測試性更高。
展開 Qt客戶案例：符合醫(yī)療軟件架構(gòu)要求的高標(biāo)準(zhǔn)源代碼檢查解決方案
他們在Axivion Suite中找到了答案：Axivion工具套件完全契合高標(biāo)準(zhǔn)的要求。
“得益于在實(shí)施過程中的支持以及專業(yè)服務(wù)團(tuán)隊(duì)的出色支持，我們很快就輕松地將Axivion Suite集成到我們的開發(fā)環(huán)境中。現(xiàn)在軟件中幾乎不存在架構(gòu)違例，而且在全球范圍內(nèi)，我們的開發(fā)團(tuán)隊(duì)都實(shí)現(xiàn)了更高標(biāo)準(zhǔn)的架構(gòu)符合性代碼。”
面對挑戰(zhàn)
遵守全球標(biāo)準(zhǔn)是至關(guān)重要的，尤其是在醫(yī)療技術(shù)領(lǐng)域。西門子醫(yī)療的CT設(shè)備嵌入式軟件團(tuán)隊(duì)所使用的任何驗(yàn)證架構(gòu)和代碼的工具，不僅需要滿足IEC 62304國際標(biāo)準(zhǔn)所涵蓋的醫(yī)療器械軟件開發(fā)規(guī)范，還必須滿足客戶的高要求，例如確保遵守美國國防部的要求。除了遵循通用的標(biāo)準(zhǔn)之外，還需將CT設(shè)備嵌入式軟件團(tuán)隊(duì)的個(gè)人編碼準(zhǔn)則納入檢查。在此方面，任何新工具都應(yīng)確保自動化分析和檢查能無縫地融入全球分布的團(tuán)隊(duì)工作流程中，對現(xiàn)有代碼與新代碼進(jìn)行系統(tǒng)性化檢查。
其中一個(gè)必不可少的前提條件是，新工具必須與開發(fā)者已經(jīng)熟悉的專有系統(tǒng)兼容，如IDE、構(gòu)建環(huán)境、編譯器和配置管理系統(tǒng)。此外，開發(fā)過程是在虛擬機(jī)中使用原生Linux構(gòu)建，然后通過Windows啟動，所以任何新工具都需要能夠適應(yīng)這種配置。
在選擇工具時(shí)，軟件架構(gòu)是一個(gè)需要重點(diǎn)考慮的關(guān)鍵因素，因?yàn)槲鏖T子醫(yī)療的CT設(shè)備嵌入式軟件團(tuán)隊(duì)正借助UML工具不斷改進(jìn)這一架構(gòu)。
作為自動化分析和檢查過程的一部分，該工具必須能夠持續(xù)確保與這些工具建模的軟件架構(gòu)以及設(shè)計(jì)準(zhǔn)則的一致性。
解決方案
在對市場上可用的工具進(jìn)行全面評估后，西門子醫(yī)療的CT設(shè)備嵌入式軟件團(tuán)隊(duì)選擇了Axivion Suite，該套件滿足了所有規(guī)定的標(biāo)準(zhǔn)。來自Axivion的專業(yè)服務(wù)團(tuán)隊(duì)在將驗(yàn)證過的架構(gòu)和代碼分析工具與公司自有系統(tǒng)環(huán)境融合的過程中提供了支持。
展開 Qt質(zhì)量管理工具簡介
靜態(tài)代碼和軟件架構(gòu)分析概述
*AXIVION SUITE:來自AXIVION收購
檢測代碼異味的有效工具，可幫助您識別技術(shù)債務(wù)或從一開始就避免它們，以使您的軟件項(xiàng)目在未來保持可維護(hù)性和可擴(kuò)展性。
功能特點(diǎn)
無縫的CI集成
Axivion Suite可在Windows、Linux和MacOS上運(yùn)行，并可集成到幾乎所有CI環(huán)境中，例如Jenkins或Bamboo，并支持各種構(gòu)建工具，包括make、cmake、msbuild、scons和gradle。
符合行業(yè)標(biāo)準(zhǔn)
我們的靜態(tài)代碼分析根據(jù) MISRA、 AUTOSAR C++14、 CERT 或 C Secure Coding 檢查您的軟件項(xiàng)目是否違反了風(fēng)格——還可以檢查 CWE 的眾多規(guī)則。
根據(jù)您的需求量身定制
我們與客戶一起，設(shè)計(jì)并實(shí)施與項(xiàng)目有關(guān)的編碼準(zhǔn)則。我們還提供架構(gòu)驗(yàn)證、工具分類和鑒定等方面的支持（包括ISO 26262和IEC 62304）。
關(guān)于Qt
Qt是一套業(yè)界領(lǐng)先的產(chǎn)品開發(fā)框架，可供前端設(shè)計(jì)師和開發(fā)人員適用于各種設(shè)備和操作系統(tǒng)的先進(jìn)的UI/UX。
Qt被廣泛應(yīng)用于70多個(gè)行業(yè)，并在全球范圍內(nèi)建立了完善的生態(tài)系統(tǒng)——每年下載量達(dá)數(shù)百萬次。
Qt擁有強(qiáng)大的合作伙伴生態(tài)——全球有超過100家軟件服務(wù)公司和SoC方案供應(yīng)商具備Qt開發(fā)能力。
深圳市優(yōu)飛迪科技有限公司成立于2010年，是一家專注于產(chǎn)品開發(fā)平臺解決方案與物聯(lián)網(wǎng)技術(shù)開發(fā)的國家級高新技術(shù)企業(yè)。
十多年來，優(yōu)飛迪科技在數(shù)字孿生、工業(yè)軟件尤其仿真技術(shù)、物聯(lián)網(wǎng)技術(shù)開發(fā)等領(lǐng)域積累了豐富的經(jīng)驗(yàn)，并在這些領(lǐng)域擁有數(shù)十項(xiàng)獨(dú)立自主的知識產(chǎn)權(quán)。同時(shí)，優(yōu)飛迪科技也與國際和國內(nèi)的主要頭部工業(yè)軟件廠商建立了戰(zhàn)略合作關(guān)系，能夠?yàn)榭蛻籼峁┩暾漠a(chǎn)品開發(fā)平臺解決方案。
展開 Qt工具 | 靜態(tài)代碼/架構(gòu)分析工具Axivion介紹
Axivion特性概覽
靜態(tài)代碼分析
-支持語言：C/C++,C#/.NET,Java和Ada83/Ada95
-編碼指南：涵蓋了MISRA C:2004、MISRA C:2012（包括MISRA C:2012修正1安全規(guī)則和MISRA C:2012修正2）和MISRA C++:2008的100%的自動檢查規(guī)則，AUTOSAR C++14（17.03、17.10、18.03、18.10和19.03）以及安全標(biāo)準(zhǔn)CERT C和CERT C++、CWE和ISO/IEC TS 17961（C安全編碼標(biāo)準(zhǔn)）等。您也可以使用Axivionsuite的規(guī)則編輯器設(shè)置和檢查自定義的規(guī)則。
-度量：包含許多常見軟件指標(biāo)的規(guī)則集。包含基于行、嵌套、循環(huán)復(fù)雜度、控制流等黃金老牌的指標(biāo)。同時(shí)也包括HIS（Metrics QAC warning discription）這樣的指標(biāo)集。
-缺陷分析：檢查源代碼中潛在的運(yùn)行時(shí)錯誤。包括可擴(kuò)展的數(shù)據(jù)和控制流檢查，例如越界訪問或除以零等錯誤可以提早發(fā)現(xiàn)。
架構(gòu)分析
使用架構(gòu)檢查可以確保開發(fā)人員和軟件架構(gòu)師不會離開待開發(fā)系統(tǒng)的基礎(chǔ)，而是在其基礎(chǔ)上進(jìn)行開發(fā)。
對架構(gòu)的偏離會對功能安全造成威脅。軟件架構(gòu)一致性檢查有效地緩解了這種威脅。
代碼嗅覺檢查
Axivion suite幫助您可靠地檢測和管理整個(gè)項(xiàng)目中的重復(fù)代碼，檢測包含頭文件的循環(huán)，以及直接調(diào)用循環(huán)，無論調(diào)用深度如何，并識別不可達(dá)的代碼。
Delta分析
隨著時(shí)間的推移，允許持續(xù)的基線分析和自動的問題跟蹤。這使您能夠在日常業(yè)務(wù)中專注于
重要的信息。
展開 