Axivion Suite：静态代码分析与架构验证工具

Qt Group的Axivion Suite是业界领先的静态代码分析工具，包含 Axivion Static Code Analysis 和 Axivion Architecture Verification，为您提供业界领先的代码深入分析服务。

静态代码分析从项目之初开始保证质量

Axivion Static Code Analysis

静态代码分析可检查软件项目的风格和编码违规。在项目早期阶段检测克--隆代码、死代码、被零除及其他代码缺陷，可减少后期修复所需的时间和成本。该工具支持众多指标和编码规则。尤其是与安全与保障相关的方面，因此可以轻松监控。此外，还可添加独立编码规则以及配置选项，确保从项目之初就保持高质量标准。

Axivion Architecture Verification

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

可根据您的开发环境进行定制

Axivion Static Code Analysis与Axivion Architecture Verification无缝集成到您现有的开发环境中。这些工具可高度定制以满足您的个性化需求。我们的专家将支持整个执行过程，确保您从项目之初就能从中获益。

• 提高生产力

• 减少代码缺陷

• 减少代码占用空间

• 降低风险

• 按时发布功能

• 减少对个人的依赖

• 提高客户满意度

• 保障投资

Axivion 功能 - 发现项目中的软件侵蚀

软件侵蚀（又称技术债务）描述了随着时间的推移，软件的可维护性、可扩展性及可重用性变得更加困难甚至不可能的过程。程序代码会被不断修改，以增强软件功能或适应新要求。由于复杂软件通常由一个团队开发，他们对于不熟悉的代码部分可能有不同的预期。这可能会导致一个人修改代码时没有意识到会影响其他部分的代码，从而违反架构或功能限制。虽然这可能不会损害软件的功能，但会给未来的任务带来额外负担。

在安全性方面，软件侵蚀会降低系统的可靠性，并危及其功能安全性。因此，软件可能不再符合认证标准（如ISO、DoD、MISRA），从而阻碍了某些应用领域的成功认证。

Axivion Suite如何阻止软件侵蚀

可定制的代码分析工具，满足行业标准

无论您是为小型传感器还是大型机械开发嵌入式软件，是为了提高可用性还是希望达到行业标准：我们的质量保证工具都将帮助您以更少资源、更快、更好地实现目标。

---

深圳市优飞迪科技有限公司成立于2010年，是一家专注于产品开发平台解决方案与物联网技术开发的国家级高新技术企业。

十多年来，优飞迪科技在数字孪生、工业软件尤其仿真技术、物联网技术开发等领域积累了丰富的经验，并在这些领域拥有数十项独立自主的知识产权。同时，优飞迪科技也与国际和国内的主要头部工业软件厂商建立了战略合作关系，能够为客户提供完整的产品开发平台解决方案。

优飞迪科技技术团队实力雄厚，主要成员均来自于国内外顶尖学府、并在相关领域有丰富的工作经验，能为客户提供“全心U+端到端服务”。