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