Subnavigation

Axivion
Architecture Verification

您系统的实现与其软件架构相匹配吗？只有当软件架构、设计与您的代码一致时，您才能确定软件架构可以用作讨论新功能影响的指南和准则。

为什么软件架构一致性检查很重要？

实施架构验证可确保系统结构保持清晰明了。为创建软件架构的结构模型，您可以手动设置，也可以从 UML 模型或其他形式的图形结构中导入。软件架构侵蚀和架构债务变得透明，因此可以有效地应对。为了检查代码是否符合架构，需标记偏差、阻止进一步的架构侵蚀。已存在的架构债务可以通过有针对性的重构措施加以纠正，您可以在架构验证的结果报告中直接监控这些措施。

主要功能

集成建模器

UML工具接口

AUTOSAR XML Import (ARXML)

免于干扰

架构重建

针对安全和保障的架构视图

架构验证 - 成功的关键

使用架构检查（又称架构验证、架构合规性检查或架构一致性检查）可确保开发人员和软件架构师在待开发系统的基础之上进行构建，而不脱离该基础。系统结构保持一致，软件架构侵蚀和架构债务变得透明，因此可以有效地加以防范。

此外，安全相关的系统中的软件架构本身包含与安全相关的属性和结构，因此必须在代码中精确地实现。与架构的偏差会对功能安全构成威胁。而软件架构一致性检查则可以有效地减少威胁。

观看演示

什么是架构验证？
Axivion是如何进行架构验证的？
架构验证检查后，代码中的违规是如何显示的？

让我们通过一个互动演示向您展示流程。

前往Axivion Architecture Verification演示

Axivion_NavatticTour_Architecture_840x470px

检查、恢复和优化您的软件架构

Axivion Architecture Verification 可以从广泛使用的 UML 工具（如 Enterprise Architect 和 IBM Rational Rhapsody®）导入软件架构。因此可以轻松地将架构审查与现有的架构和设计流程联系起来。而尚未拥有架构文档的用户也无需担心。我们提供多种选择，可确保您也能从持续的架构验证和架构一致性检查中获益。

Section Header

软件架构检查

通过自动化架构检查，您可以为软件打下持久的基础。只需几个简单的步骤，就能确保您的代码与软件架构相匹配。

更多阅读

软件架构恢复

使用Axivion Architecture Verification恢复架构时，不会永远丢失任何东西。它可以让您了解软件项目的当前状态，并找出可能存在的任何问题。

更多阅读

软件架构回溯

让架构恢复提升到全新水平。即使没有现成的文档，也可以创建面向未来的软件。我们将帮助您深入研究代码，逐步揭示软件架构。

更多阅读

免于干扰的能力

安全架构是不同ASIL分类功能共存的基础。它显示了独立的软件元素及其接口。遵守该安全架构是免受干扰的基础，并确保功能安全。

更多阅读

强化您的软件架构

还没准备好？没关系，您仍然可以在我们的价值证明研讨会上体验Axivion Architecture Verification的优势。
在您的开发环境中评估该工具，发现代码中架构缺陷

体验我们的价值证明研讨会