首頁(yè) > 產(chǎn)品中心 > Axivion Suite 
優(yōu)勢(shì)
提升團(tuán)隊(duì)效率和生產(chǎn)力，同時(shí)保持代碼的高質(zhì)量。
- 自動(dòng)化質(zhì)量保證以減少代碼缺陷、代碼占用空間以及對(duì)個(gè)人的依賴 。
- 全面且深入的分析可節(jié)省時(shí)間、金錢(qián)和資源，提高生產(chǎn)力和投資回報(bào)率。
- 支持完全自定義，可輕松集成到您現(xiàn)有的開(kāi)發(fā)環(huán)境中 。
- 可拓展的工具，滿足您的個(gè)性化需求 。
- 遵循業(yè)界領(lǐng)先的安全標(biāo)準(zhǔn)，以確保代碼的合規(guī)性。
- 作為CI流程的一部分，通過(guò)詳細(xì)的增量分析有針對(duì)性的審查，例如在提交代碼或者監(jiān)控改進(jìn)并防止軟件侵蝕。
- 通過(guò)審查代碼確保符合CERT、CWE等安全準(zhǔn)測(cè)，以保障網(wǎng)絡(luò)安全降低風(fēng)險(xiǎn)，保障軟件功能按時(shí)發(fā)布。
- 提供無(wú)與倫比的服務(wù)和支持，確保您從項(xiàng)目之初就能從中獲益，比如由我們經(jīng)驗(yàn)豐富的服務(wù)團(tuán)隊(duì)在發(fā)布過(guò)程中提供支持。
軟件侵蝕
軟件侵蝕
軟件侵蝕（也被稱作技術(shù)債務(wù)）是一個(gè)過(guò)程，在這個(gè)過(guò)程中隨著時(shí)間的推移，軟件的維護(hù)，擴(kuò)展和重用會(huì)變得更加困難，甚至不可能。程 序代碼會(huì)不斷地被修改，以增強(qiáng)軟件的功能或者適應(yīng)新需求。雖然這可能不會(huì)損害軟件的功能，但是會(huì)給未來(lái)的任務(wù)帶來(lái)額外的負(fù)擔(dān)。
因此，軟件侵蝕還會(huì)降低系統(tǒng)的可靠性，并危及其功能安全性。導(dǎo)致軟件可能不再符合認(rèn)證標(biāo)準(zhǔn)（如ISO、DoD、MISRA），從而阻礙了某些 應(yīng)用領(lǐng)域的成功認(rèn)證。
Axivion Static Code?Analysis
對(duì)軟件項(xiàng)目進(jìn)行自動(dòng)化分析，根據(jù)MISRA（包括MISRA C:2023和MISRA C++:2023）以及AUTOSAR C++14等編碼指南檢測(cè)編碼違規(guī)。 根據(jù)CERT?、C安全編碼以及CWE等編碼指南進(jìn)行安全相關(guān)的違規(guī) 分析。展示并記錄度量違規(guī)，克隆代碼，循環(huán)和不可達(dá)代碼。
Axivion Static Code Analysis已通過(guò)SGS-TüV?Saar GmbH認(rèn)證，適用于開(kāi)發(fā)達(dá)到最高安全需求級(jí)別的安全系統(tǒng)，具體包括:?ISO 26262 達(dá)到ASIL D，IEC 61508達(dá)到SIL 4，IEC 62304達(dá)到Class C，以及EN 50657達(dá)到SIL 4。
Axivion Architecture Verification
軟件架構(gòu)和設(shè)計(jì)需要與代碼相匹配，這樣才能確信可以使用軟件架構(gòu) 作為討論新功能影響的基礎(chǔ)。只有這樣，您的產(chǎn)品才能進(jìn)行長(zhǎng)期的、有 針對(duì)性和有計(jì)劃地開(kāi)發(fā)。Axivion Architecture Verification可確保您的代碼符合架構(gòu)規(guī)定。此工具 不僅會(huì)審查和檢查功能架構(gòu)，還會(huì)針對(duì)安全架構(gòu)規(guī)約（如免于干擾的能 力）進(jìn)行審查和合規(guī)性檢查。
驗(yàn)證或重建您的架構(gòu)
整體大于部分之和
Axivion Suite包含Axivion Static Code Analysis和AxivionArchitecture Verification，將為您提供業(yè)界領(lǐng)先的代碼深入 分析服務(wù)。此外還包括Axivion Tool Qualification Kit，用于執(zhí)行特定檢 查，并驗(yàn)證其在具有功能安全要求的環(huán)境中的適用性。
眼見(jiàn)為實(shí)
我們可以向您展示Axivion Suite如何針 對(duì)軟件侵蝕保護(hù)您的代碼。根據(jù)您的具 體需求，我們的專家可以幫助您評(píng)估使 用Axivion Suite的投資回報(bào)率。
阻止軟件侵蝕
使您的軟件開(kāi)發(fā)更具前瞻性。
Axivion Suite可檢查軟件項(xiàng)目的風(fēng)格和編碼違規(guī)。在項(xiàng)目早期階段檢測(cè)克隆代碼、 死代碼、被零除及其他代碼缺陷，可以極大地減少后期修復(fù)所需的時(shí)間和成本。
Axivion Suite還支持眾多指標(biāo)和編碼規(guī)則。尤其是在安全與保障相關(guān)的方面，可以 輕松監(jiān)控。此外，還可添加獨(dú)立編碼規(guī)則以及配置選項(xiàng)，確保從項(xiàng)目之初就保持高 質(zhì)量標(biāo)準(zhǔn)。
利用增量分析可輕松檢測(cè)新的編碼違規(guī)，為制定基準(zhǔn)提供了便利。檢測(cè)出來(lái)的違 規(guī)信息將直觀地呈現(xiàn)在便于使用的儀表板上，同時(shí)也支持顯示第三方工具的檢測(cè) 結(jié)果。
采用抽象解釋和指針?lè)治龅目蓴U(kuò)展靜態(tài)代碼分析
主要特性
架構(gòu)驗(yàn)證 代碼缺陷檢測(cè)
? 集成建模工具
? 通過(guò)XMI與UML工具的接口
? AUTOSAR XML導(dǎo)入（ARXML）
? 免于干擾的能力
? 架構(gòu)重建
? 針對(duì)安全和保障的架構(gòu)視圖
編碼規(guī)則
? MISRA C/C++
? AUTOSAR C++14
? SEI CERT? C/C++
? C安全編碼
? CWE
? Qt相關(guān)規(guī)則集
? 最佳實(shí)踐（例如CQM）
? 自定義檢查
度量監(jiān)測(cè)
? HIS
? 面向?qū)ο笤O(shè)計(jì)度量
? 復(fù)雜度度量
? 最佳實(shí)踐和自定義檢查
死代碼分析
? 可達(dá)性分析
? 代碼庫(kù)分析
克隆代碼檢測(cè)與管理
? 類型一（1:1）
? 類型二（Parametrizations）
? 類型三（Parametrizations + Add/Delete）
循環(huán)檢測(cè)
? 循環(huán)調(diào)用
? 模塊依賴
? 引用/導(dǎo)入
? 自定義檢查
內(nèi)存和指針
? NULL引用
? 局部變量地址泄漏
? ?new/malloc分配內(nèi)存后沒(méi)有delete/free導(dǎo)致內(nèi)存泄漏
? ?資源分配/釋放不匹配
? ?同時(shí)讀/寫(xiě)使用資源
? ?資源禁止操作
? 雙重釋放/釋放后使用
? ?比較指針/減去無(wú)關(guān)指針
? ?數(shù)組訪問(wèn)越界
? 緩沖區(qū)溢出 ? ??副作用
? ?數(shù)據(jù)污染分析
? ?競(jìng)態(tài)條件分析
異常
? 堆棧展開(kāi)過(guò)程中的異常
? 違反異常規(guī)格
? 未捕獲的異常
? 無(wú)效catch塊
數(shù)值錯(cuò)誤
? 零除運(yùn)算
? 算術(shù)運(yùn)算溢出
? enum類型變量賦值錯(cuò)誤
邏輯錯(cuò)誤和自定義規(guī)則
? 禁止參數(shù)值
? 未初始化的變量
? 未使用的定義
? 常數(shù)條件
安全與保障
您需要證明您的代碼適合 在安全關(guān)鍵型環(huán)境中使用 嗎？有了Axivion Suite，您就可以做到。
Axivion Tool Qualification Kit
Axivion Tool Qualification Kit 可以幫助軟件達(dá)到相關(guān)安全規(guī)范（例如ISO 26262）要 求的工具可信度等級(jí)（TCL），通過(guò)自動(dòng)進(jìn)行校驗(yàn)測(cè)試，保證新代碼始終滿足設(shè)定的 安全標(biāo)準(zhǔn)。Axivion Suite適用于安全系統(tǒng)的開(kāi)發(fā)。Axivion Static Code Analysis（SCA）已通過(guò) SGS-TüV Saar GmbH對(duì)以下安全相關(guān)標(biāo)準(zhǔn)的認(rèn)證：
? ISO 26262（達(dá)到ASIL-D）
? IEC 61508（達(dá)到SIL 4）
? EN 50128（達(dá)到SIL 4）
? EN 50657（達(dá)到SIL 4）
? IEC 62304（達(dá)到等級(jí)C）
不僅只是一個(gè)工具
無(wú)與倫比的服務(wù)，確保您 從項(xiàng)目之初就能從中獲益。Axivion Suite高度可定制，并可按照您的需要進(jìn)行配置。為了最大限度地發(fā)揮其效 果，每個(gè)獨(dú)立環(huán)境都需要優(yōu)化其使用。因此，部署Axivion Suite時(shí)將全程由我們的 服務(wù)團(tuán)隊(duì)（遠(yuǎn)程或現(xiàn)場(chǎng)）陪同。此外，我們提供以下服務(wù)：
? 定制編碼指南
? 實(shí)施與項(xiàng)目相關(guān)的編碼指南
? 培訓(xùn)員工如何使用Axivion Suite
? 基礎(chǔ)培訓(xùn)課程，例如軟件架構(gòu)、編碼指南
? 架構(gòu)驗(yàn)證、工具分類和認(rèn)證（例如ISO標(biāo)準(zhǔn)）等的支持。
我們的服務(wù)團(tuán)隊(duì)與內(nèi)部研發(fā)部門(mén)緊密合作，以支持客戶并開(kāi)發(fā)定制化解決方案。
為您打造
Axivion Suite被廣泛應(yīng)用 于各個(gè)行業(yè)。
無(wú)論您是為小型傳感器還是大型機(jī)械開(kāi)發(fā)嵌入式軟件，是為了提高可用性還是希 望達(dá)到行業(yè)標(biāo)準(zhǔn)：我們的質(zhì)量保證工具都將幫助您以更少資源、更快、更好地實(shí)現(xiàn)目標(biāo)。
? 汽車
? 航空、航天與國(guó)防
? 建筑
? 電子
? 能源技術(shù)
? 工業(yè)應(yīng)用
? IT、電信與軟件
? 測(cè)量與控制技術(shù)
? 機(jī)械工程
? 醫(yī)療技術(shù)
? ?制藥與實(shí)驗(yàn)室技術(shù)
? 鐵路技術(shù)
? 研究機(jī)構(gòu)
基本技術(shù)規(guī)格
注：此處僅為粗略概述，針對(duì)Axivion Suite 7.7。
如需獲取完整的規(guī)格列表，請(qǐng)聯(lián)系我們。
支持的語(yǔ)言和編譯器
語(yǔ)言:C、C++、C#1)
編譯器:Blackfin、Clang、Codevision、CodeWarrior?、Cosmic、Green Hills Software?、GNU、IARTM、KeilTM、Microchip?、 Microsoft?、Renesas、Tasking、TI、Windriver等等
支持的操作系統(tǒng)
主機(jī)操作系統(tǒng):Windows? 7/8/10/11、Windows? Server? 2008 R2/2012/2016/2019/2022 x86_64 GNU/Linux?（最低要求glibc2.24或更高版本）
macOS?（最低要求macOS 10.15）
插件
IDE:CLion、EclipseTM、基于Eclipse的IDE（如Atollic TrueSTUDIO?、CodeWarrior?、DAVETM、STM32CubeIDE、TI Code Composer StudioTM）、Microsoft? Visual Studio?、Microsoft? Visual Studio Code?、通用插件
CI/DevOps:Azure? DevOps、Jenkins?,以及Bitbucket?、GitLab?、GitHub等集成
支持的版本控制系統(tǒng)
版本控制系統(tǒng):Borland?/Inprise?/MicroFocus? StarTeam?、CVS、Fossil,GitTM、IBM? Rational? ClearCase?、IBM? Rational?、 Team Concert?、Mercurial、Microsoft? Team Foundation Server?、Microsoft? Visual SourceSafe?、MKS Source Integrity?、Perforce?、Perforce?/Seapine? Surround?、Plastic、PTC Integrity?、 Serena? Dimensions?、Serena?、PVCS?、Subversion?
支持的 UML? 工具
UML? 工具:IBM Rational Rhapsody、Sparx Enterprise Architect (via XMI or .qea-files)
支持的標(biāo)準(zhǔn)和指南
編碼指南:MISRA C:2004/2012/2019/2023、MISRA C++:2008/2023、AUTOSAR C++14、CERT C 規(guī)則、CERT C 建議、 CERT C++ 規(guī)則、CWE、ISO / IEC TS 17961、Qt框架、定制檢查等等
質(zhì)量指南:
ISO 26262達(dá)到ASIL-D IEC 61508達(dá)到SIL-4
IEC 62304達(dá)到Class-C
EN 50128、EN 50628等等
其他支持
支持的瀏覽器:Microsoft? Edge、Mozilla Firefox?、Google ChromeTM
要求:
Python（3.8.1 - 3.12）
Java?運(yùn)行時(shí)（8, 11 - 14和17）
附加組件:Axivion Tool Qualification Kit
