为什么软件架构一致性检查很重要?
实施架构验证可确保系统结构保持清晰明了。为创建软件架构的结构模型,您可以手动设置,也可以从 UML 模型或其他形式的图形结构中导入。软件架构侵蚀和架构债务变得透明,因此可以有效地应对。为了检查代码是否符合架构,需标记偏差、阻止进一步的架构侵蚀。已存在的架构债务可以通过有针对性的重构措施加以纠正,您可以在架构验证的结果报告中直接监控这些措施。
主要功能
集成建模器
UML工具接口
AUTOSAR XML Import (ARXML)
免于干扰
架构重建
针对安全和保障的架构视图
架构验证 - 成功的关键
使用架构检查(又称架构验证、架构合规性检查或架构一致性检查)可确保开发人员和软件架构师在待开发系统的基础之上进行构建,而不脱离该基础。系统结构保持一致,软件架构侵蚀和架构债务变得透明,因此可以有效地加以防范。
此外,安全相关的系统中的软件架构本身包含与安全相关的属性和结构,因此必须在代码中精确地实现。与架构的偏差会对功能安全构成威胁。而软件架构一致性检查则可以有效地减少威胁。
观看演示
- 什么是架构验证?
- Axivion是如何进行架构验证的?
- 架构验证检查后,代码中的违规是如何显示的?
让我们通过一个互动演示向您展示流程。
检查、恢复和优化您的软件架构
Axivion Architecture Verification 可以从广泛使用的 UML 工具(如 Enterprise Architect 和 IBM Rational Rhapsody®)导入软件架构。因此可以轻松地将架构审查与现有的架构和设计流程联系起来。而尚未拥有架构文档的用户也无需担心。我们提供多种选择,可确保您也能从持续的架构验证和架构一致性检查中获益。
Section Header
软件架构检查
通过自动化架构检查,您可以为软件打下持久的基础。只需几个简单的步骤,就能确保您的代码与软件架构相匹配。
软件架构恢复
使用Axivion Architecture Verification恢复架构时,不会永远丢失任何东西。它可以让您了解软件项目的当前状态,并找出可能存在的任何问题。
软件架构回溯
免于干扰的能力
安全架构是不同ASIL分类功能共存的基础。它显示了独立的软件元素及其接口。遵守该安全架构是免受干扰的基础,并确保功能安全。
强化您的软件架构
还没准备好?没关系,您仍然可以在我们的价值证明研讨会上体验Axivion Architecture Verification的优势。
在您的开发环境中评估该工具,发现代码中架构缺陷
Elektrobit
Axivion 倍添安心
“Axivion Suite为EB街道导航系统实现新功能的过程中提供了关键性的支持,并确保我们软件解决方案有长期的质量保证。”
Jakob Schmidt
Elektrobit 软件架构师
费森尤斯医疗
Axivion 倍添安心
“得益于 Axivion Suite,我们得以控制软件的可维护性,从而保障我们的长期创新能力。”
Thomas Stahl
费森尤斯医疗软件工程总监
HENSOLDT
Axivion 倍添安心
“借助 Axivion Suite,我们显著降低了集成工作量和集成风险。”
Daniel Zimmermann
HENSOLDT Sensors GmbH OSS 软件主管