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