Subnavigation


Axivion
Architecture Verification

您的系统实现与其软件架构是否匹配?只有当软件架构和设计与代码同步时,您才能确定可以使用软件架构作为讨论新功能影响的指导和指南。

联系我们

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

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

主要特性

  • 集成建模器
  • 通过UML工具的接口
  • AUTOSAR XML 导入 (ARXML)
  • 免于干扰的能力
  • 架构重建
  • 针对安全和保障的架构视图
Static_Architecture_Verification_2

架构验证 - 成功的关键

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

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

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

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

软件架构检查

软件架构恢复

软件架构回溯

免于干扰的能力

Axivion Architecture Verification 在各行业的成功案例

访问我们的 QA 资源中心了解更多成功案例

 

Elektrobit

Axivion 倍添安心
“Axivion Suite为EB街道导航系统实现新功能的过程中提供了关键性的支持,并确保我们软件解决方案有长期的质量保证。”


Jakob Schmidt

Elektrobit 软件架构师

 


阅读成功案例

费森尤斯医疗

Axivion 倍添安心
“得益于 Axivion Suite,我们得以控制软件的可维护性,从而保障我们的长期创新能力。”


Thomas Stahl

费森尤斯医疗软件工程总监


阅读成功案例

HENSOLDT

Axivion 倍添安心
“借助 Axivion Suite,我们显著降低了集成工作量和集成风险。”


Daniel Zimmermann

HENSOLDT Sensors GmbH OSS 软件主管


阅读成功案例

请求演示

联系我们

下载手册

下载

编码指南

阅读更多

借助 Axivion Suite 提升代码质量

阅读更多

行业解决方案

阅读更多