Axivion Suite:静态代码分析与架构验证工具
发布时间:2023-08-25


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


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


Axivion Static Code Analysis


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


Axivion Architecture Verification


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



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


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

  • 提高生产力
  • 减少代码缺陷
  • 减少代码占用空间
  • 降低风险
  • 按时发布功能
  • 减少对个人的依赖
  • 提高客户满意度
  • 保障投资


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


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


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


Axivion Suite如何阻止软件侵蚀



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


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


(文章来源公众号:Qt软件


+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++


关于美狮贵宾会电子

上海美狮贵宾会电子技术有限公司是国内资深的研发工具软件提供商,公司成立于2009年,面向中国广大的制造业客户提供研发、设计、管理过程中使用的各种软件开发工具,致力于帮助客户提高研发管理效率、缩短产品设计周期,提升产品可靠性。

十多年来,先后与ARM、Altium、Ansys、QT、Green Hills、Minitab、EPLAN、QA Systems、OpenText、Visu-IT、HighTec、PLS、Ashling、MSC Software、Autodesk、Source Insight、IncrediBuild、Lauterbach、Adobe、Testplant、TeamEDA等多家全球知名公司建立战略合作伙伴关系,并作为他们在中国区的主要分销合作伙伴服务了数千家中国本土客户,为客户提供从芯片级开发工具、EDA设计工具、软件编译以及测试工具、结构设计工具、仿真工具、电气设计工具、以及嵌入式GUI工具等等。美狮贵宾会电子凭借多年的经验积累,真正的帮助客户实现了让研发更简单、更可靠、更高效的目标。


欢迎关注“美狮贵宾会电子”公众号

了解更多研发工具软件知识