優勢

提升團隊效率和生產力，同時保持代碼的高質量。

• 自動化質量保證以減少代碼缺陷、代碼占用空間以及對個人的依賴 。
• 全面且深入的分析可節省時間、金錢和資源，提高生產力和投資回報率。
• 支持完全自定義，可輕松集成到您現有的開發環境中 。
• 可拓展的工具，滿足您的個性化需求 。
• 遵循業界領先的安全標準，以確保代碼的合規性。
• 作為CI流程的一部分，通過詳細的增量分析有針對性的審查，例如在提交代碼或者監控改進并防止軟件侵蝕。
• 通過審查代碼確保符合CERT、CWE等安全準測，以保障網絡安全降低風險，保障軟件功能按時發布。
• 提供無與倫比的服務和支持，確保您從項目之初就能從中獲益，比如由JNH官網經驗豐富的服務團隊在發布過程中提供支持。

軟件侵蝕

軟件侵蝕

軟件侵蝕（也被稱作技術債務）是一個過程，在這個過程中隨著時間的推移，軟件的維護，擴展和重用會變得更加困難，甚至不可能。程 序代碼會不斷地被修改，以增強軟件的功能或者適應新需求。雖然這可能不會損害軟件的功能，但是會給未來的任務帶來額外的負擔。

因此，軟件侵蝕還會降低系統的可靠性，并危及其功能安全性。導致軟件可能不再符合認證標準（如ISO、DoD、MISRA），從而阻礙了某些 應用領域的成功認證。

Axivion Static Code?Analysis

對軟件項目進行自動化分析，根據MISRA（包括MISRA C:2023和MISRA C++:2023）以及AUTOSAR C++14等編碼指南檢測編碼違規。 根據CERT?、C安全編碼以及CWE等編碼指南進行安全相關的違規 分析。展示并記錄度量違規，克隆代碼，循環和不可達代碼。

Axivion Static Code Analysis已通過SGS-TüV?Saar GmbH認證，適用于開發達到最高安全需求級別的安全系統，具體包括:?ISO 26262 達到ASIL D，IEC 61508達到SIL 4，IEC 62304達到Class C，以及EN 50657達到SIL 4。

Axivion Architecture Verification

軟件架構和設計需要與代碼相匹配，這樣才能確信可以使用軟件架構 作為討論新功能影響的基礎。只有這樣，您的產品才能進行長期的、有 針對性和有計劃地開發。Axivion Architecture Verification可確保您的代碼符合架構規定。此工具 不僅會審查和檢查功能架構，還會針對安全架構規約（如免于干擾的能 力）進行審查和合規性檢查。

驗證或重建您的架構

整體大于部分之和

Axivion Suite包含Axivion Static Code Analysis和AxivionArchitecture Verification，將為您提供業界領先的代碼深入 分析服務。此外還包括Axivion Tool Qualification Kit，用于執行特定檢 查，并驗證其在具有功能安全要求的環境中的適用性。

眼見為實

JNH官網可以向您展示Axivion Suite如何針 對軟件侵蝕保護您的代碼。根據您的具 體需求，JNH官網的專家可以幫助您評估使 用Axivion Suite的投資回報率。

阻止軟件侵蝕

使您的軟件開發更具前瞻性。

Axivion Suite可檢查軟件項目的風格和編碼違規。在項目早期階段檢測克隆代碼、 死代碼、被零除及其他代碼缺陷，可以極大地減少后期修復所需的時間和成本。

Axivion Suite還支持眾多指標和編碼規則。尤其是在安全與保障相關的方面，可以 輕松監控。此外，還可添加獨立編碼規則以及配置選項，確保從項目之初就保持高 質量標準。

利用增量分析可輕松檢測新的編碼違規，為制定基準提供了便利。檢測出來的違 規信息將直觀地呈現在便于使用的儀表板上，同時也支持顯示第三方工具的檢測 結果。

采用抽象解釋和指針分析的可擴展靜態代碼分析

主要特性

架構驗證 代碼缺陷檢測
? 集成建模工具

? 通過XMI與UML工具的接口

? AUTOSAR XML導入（ARXML）

? 免于干擾的能力

? 架構重建

? 針對安全和保障的架構視圖

編碼規則

? MISRA C/C++

? AUTOSAR C++14

? SEI CERT? C/C++

? C安全編碼

? CWE

? Qt相關規則集

? 最佳實踐（例如CQM）

? 自定義檢查

度量監測

? HIS

? 面向對象設計度量

? 復雜度度量

? 最佳實踐和自定義檢查

死代碼分析

? 可達性分析

? 代碼庫分析

克隆代碼檢測與管理

? 類型一（1:1）

? 類型二（Parametrizations）

? 類型三（Parametrizations + Add/Delete）

循環檢測

? 循環調用

? 模塊依賴

? 引用/導入

? 自定義檢查

內存和指針

? NULL引用

? 局部變量地址泄漏

? ?new/malloc分配內存后沒有delete/free導致內存泄漏

? ?資源分配/釋放不匹配

? ?同時讀/寫使用資源

? ?資源禁止操作

? 雙重釋放/釋放后使用

? ?比較指針/減去無關指針

? ?數組訪問越界

? 緩沖區溢出 ? ??副作用

? ?數據污染分析

? ?競態條件分析

異常

? 堆棧展開過程中的異常

? 違反異常規格

? 未捕獲的異常

? 無效catch塊

數值錯誤

? 零除運算

? 算術運算溢出

? enum類型變量賦值錯誤

邏輯錯誤和自定義規則

? 禁止參數值

? 未初始化的變量

? 未使用的定義

? 常數條件

安全與保障

您需要證明您的代碼適合 在安全關鍵型環境中使用 嗎？有了Axivion Suite，您就可以做到。

Axivion Tool Qualification Kit

Axivion Tool Qualification Kit 可以幫助軟件達到相關安全規范（例如ISO 26262）要 求的工具可信度等級（TCL），通過自動進行校驗測試，保證新代碼始終滿足設定的 安全標準。Axivion Suite適用于安全系統的開發。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高度可定制，并可按照您的需要進行配置。為了最大限度地發揮其效 果，每個獨立環境都需要優化其使用。因此，部署Axivion Suite時將全程由JNH官網的 服務團隊（遠程或現場）陪同。此外，JNH官網提供以下服務：

? 定制編碼指南

? 實施與項目相關的編碼指南

? 培訓員工如何使用Axivion Suite

? 基礎培訓課程，例如軟件架構、編碼指南

? 架構驗證、工具分類和認證（例如ISO標準）等的支持。

JNH官網的服務團隊與內部研發部門緊密合作，以支持客戶并開發定制化解決方案。

為您打造

Axivion Suite被廣泛應用 于各個行業。

無論您是為小型傳感器還是大型機械開發嵌入式軟件，是為了提高可用性還是希 望達到行業標準：JNH官網的質量保證工具都將幫助您以更少資源、更快、更好地實現目標。

? 汽車

? 航空、航天與國防

? 建筑

? 電子

? 能源技術

? 工業應用

? IT、電信與軟件

? 測量與控制技術

? 機械工程

? 醫療技術

? ?制藥與實驗室技術

? 鐵路技術

? 研究機構

基本技術規格

注：此處僅為粗略概述，針對Axivion Suite 7.7。

如需獲取完整的規格列表，請聯系JNH官網。

支持的語言和編譯器

語言:C、C++、C#1)

編譯器:Blackfin、Clang、Codevision、CodeWarrior?、Cosmic、Green Hills Software?、GNU、IARTM、KeilTM、Microchip?、 Microsoft?、Renesas、Tasking、TI、Windriver等等

支持的操作系統

主機操作系統: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等集成

支持的版本控制系統

版本控制系統: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 規則、CERT C 建議、 CERT C++ 規則、CWE、ISO / IEC TS 17961、Qt框架、定制檢查等等

質量指南:

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