德國Axivion公司

德國Axivion 公司是一家完全自主的技術公司,公司保持持續增長,在軟件開發解決方案領域擁有超過10年的經驗。作為源于斯圖加特大學的公司, Axivion公司提供了一個良好的學術背景,開發專業完整的解決方案,以確保軟件質量和保護免受軟件腐爛。來自世界各地的技術和上千位用戶已經超過上百的客戶從我們的先進的開發、支持和服務的方法和工具中受益于德國制造的產品。

德國Axivion公司成立于2005年，源于斯圖加特大學，提供全面的防止軟件“腐爛”，提高軟件的可維護性和可移植性。

“我們正在阻止軟件腐爛！”

Axivion Bauhaus Suite功能

架構建模

軟件的架構建模是對軟件架構的一種圖形化的展示，Axivion Bauhaus Suite提供兩種方式方便用戶進行軟件架構的建模；

?提供自帶的強大的圖形化軟件架構建模功能

2支持組件方便靈活的拆分、合并；

2支持架構模型的層次嵌套；

?提供對UML工具的支持

2支持對已有軟件架構模型的導入，包括Rhapsody和Enterprise Architect等工具的架構模型；

軟件架構驗證

?提供軟件架構模型和軟件源代碼的映射功能，能夠映射相關的軟件代碼源程序及頭文件到相應的軟件架構中的功能模塊；支持手工方式的映射設置，也可以支持基于腳本的自動化映射設置；

?提供軟件架構的自動分析驗證功能，能夠基于對源代碼的分析自動分析驗證代碼實現的實際架構和軟件架構模型的一致性；架構評估結果分為三類：

2一致收斂：架構模型和實際代碼分析結果一致；

2缺失：架構模型中的關系在實際代碼中不存在；

2偏差：實際代碼中存在的關系在架構模型中不存在；

?支持對架構模型和代碼分析的架構結果的持續迭代修正；

克隆代碼偵測以及管理

克隆代碼偵測，能夠分析識別出程序中的克隆代碼，具體包含如下三種情況：

?類型一：兩部分克隆代碼一致，代碼的語法語義等一致，代碼布局等可以不一致；

?類型二：符合類型一，但是標識符被重命名；

?類型三：符合類型二，代碼角度有部分刪減或者添加；

強大的分析引擎

Axivion Bauhaus Suite提供強大的代碼靜態分析引擎，提供全面深入的代碼分析能力，除了提供如下功能外，還提供開放的API接口，用戶可以基于該分析引擎開放和定制符合自己項目業務和組織特點的深入的功能，有效的提高工具對人工代碼審查工作的輔助；

?編碼規則檢查

2MISRA C:2012 、MISRA C++:2008；

2CERT、AUTOSAR C++14；

2GJB5369、GJB8114；

2等

?競爭分析

對全局變量使用中潛在的并行使用問題的分析；

?死代碼偵測，支持對程序中的死代碼的檢查，需要考慮如下情況：

2分析軟件的所有入口點(例如，中斷入口)；

2被分析軟件代碼之外的所有功能的使用(例如，庫函數)；

2鏈接器沒有移除的死函數(如，C/C++適當和正確的鏈接器的配置)；

?循環偵測，能否分析出源代碼中實體間的依賴關系，能夠檢測出如下類型的循環類型：

2調用關系中的循環；

2包含關系中的循環；

2使用關系中的循環；

?包含分析(針對C/C++語言)，能否分析代碼中所有的包含情況，可以提供如下類別的建議：

2刪除#include；

2移動#include；

2用聲明替換#include；

2用不同的#include替換#include；

2添加#include；

2添加聲明；

其它

?支持增量分析，能夠對不同版本中分析的問題進行標識，對于用戶已經確認的提示，在后續版本增量分析中不提示為問題；

?提供和持續集成(CI)環境的集成支持；

?提供IDE插件，支持和Microsoft? Visual Studio? and Eclipse? 集成；

?競爭條件分析，提供對C語言中的的全局變量使用中潛在的并行使用問題的分析；

?度量分析，提供一套預定義的軟件度量指標，同時用戶可以通過腳本添加其它指標；

?API接口支持，提供相應的API接口，可以支持用戶進行相應的報告生成及結果展示；

?支持和常用配置管理工具的集成；

總結

以上是生活随笔為你收集整理的axivion和astree_Axivion架构分析及验证工具的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。