Developers
Developers Price. Buy. Download. Try.

QA_latest_releases-min


Axivion Suite:
静态代码分析与架构验证

Qt Group可以为您提供业界领先的静态代码分析工具。Axivion Suite包含 Axivion Static Code Analysis 和 Axivion Architecture Verification ，为您提供业界领先的代码深入分析服务。如您有兴趣了解更多信息，或希望讨论产品评估的可能性，请联系我们。

联系我们

以客户为本，追求卓越品质

Logo_Apex.AI_400px
Logo_Bosch_400px
Logo_Brose_400px
Logo_DentsplySirona_400px
Logo_Elektrobit_400_2px
Logo_Hensoldt_400px
Logo_Jungheinrich_400px
Logo_Leuze_400px
Logo_Schaeffler_400px
Logo_Siemens_400px
Logo_Synspace_400px
Logo_TRelectronic_400px
Logo_TrumpfLaser_400_2px
Logo_ZF_400_2px

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

 

Axivion Static Code Analysis

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


获取更多信息，请访问axivion.com

 

Axivion Architecture Verification

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

获取更多信息，请访问axivion.com

Axivion_benefits_2

我们的多功能工具可根据您的开发环境进行定制

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

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


联系我们了解更多信息

AXIVION 功能

发现项目中的软件侵蚀

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

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

软件架构

+ 验证
+ 恢复和考古
+ UML®工具集成
+ AUTOSAR arxml导入

不受干扰

+ 分解
+ 分离
+ 安全架构合规性

安全与保障

+ MISRA C/C++、CERT®、AUTOSAR C++14、CWE、ISO/IEC TS 17961
+ 编码指南
+ 运行时错误检测

合规性

+ 通过SGS-TÜV Saar认证机构的ISO 26262、IEC 61508、IEC 62304、EN 50128及EN 50657认证
+ ISO 25119、DO-178B/C
+ SPICE®、ASPICE

技术债务

+ 克隆代码检测与管理
+ 死代码与周期检测
+ 包括分析器
+ 量度（包括HIS）

解决方案工程

+ 工具链集成
+ CI/DevOps集成
+ IDE集成
+ 无缝流程集成
+ 独立编码规则
+ 辅导与培训

Axivion Suite如何阻止软件侵蚀

Success factor_localisation_Chinese

“具有不同汽车安全完整性等级（ASIL）要求的软件组件进一步增加了汽车嵌入式软件的复杂性。借助通过ISO 26262认证的Axivion Suite，舍弗勒汽车保持了其混合ASIL系统的高品质。自动化架构验证减少了手动测试工作，从而为电动汽车开发创造免费生产力。”

舍弗勒汽车有限公司

“我们评估了多款静态代码分析工具，Axivion Suite在我们的测试中脱颖而出。该工具在AUTOSAR C++14的覆盖率方面表现杰出，其易用性、控制流和数据分析以及报告生成功能令我们心悦诚服。Axivion Suite已成为我们开发工作流程中的主要组件，也是我们DevOps流程中的重要组成部分。”

Apex.AI

“专业服务团队在软件实现过程中提供了出色支持，帮助我们快速轻松地将Axivion Suite集成到我们的开发环境中。现在几乎没有架构违规；相反，我们全球各地的开发团队都拥有了更高标准的架构一致的代码。”

西门子医疗保健有限公司

“Axivion Suite大大减少了我们的集成工作量和集成风险。”

HENSOLDT Sensors 有限公司

“Axivion Suite帮助我们完美实现了架构中的设想。与我们的UML工具链无缝集成非常顺畅，让我们的日常工作变得更加轻松。”

天河汽车有限公司

“对我们来说，关键因素是Axivion Suite具有无与伦比的高度适配性。只有这样，我们才能在日益数字化的工业环境中继续保持智能传感器的高质量标准。”

劳易测电子有限公司

“Axivion Suite真正改变了游戏规则。得益于持续的测试，开发者不断学习进步，提高了对相应架构要求的接受度。这种软件考古学项目为达到汽车SPICE标准的3级要求扫清了障碍。”

SynSpace Group 有限公司

可定制的代码分析工具，满足行业标准及其他更高标准

无论您是为小型传感器还是大型机械开发嵌入式软件，是为了提高可用性还是希望达到行业标准：我们的质量保证工具都将帮助您以更少资源、更快、更好地实现目标。您可以在我们专家的帮助下定制工具，以确保您不必做出妥协就可取得项目成功。

Axivion_Automotive

汽车

新技术、对安全与保障的最高要求以及更复杂的控制单元对汽车行业提出了挑战。客户对软件质量有着严格的要求。这些要求都是通过监控MISRA或AUTOSAR C++14等编码指南或HIS等量度的合规性来实现的。许多客户还根据ISO 26262标准，对项目提出了从QM到ASIL D的安全要求。Axivion Suite是满足所有这些要求的理想选择。

了解有关我们汽车行业解决方案的更多信息
Axivion_Medical

医疗

今天，软件已成为医疗设备不可或缺的一部分。必须始终确保这些软件既能有效实现所需的功能，又能保证患者的安全，不会导致不可接受的风险。医疗设备软件的开发面临着两项基本任务：

  • 如何将复杂性保持在必要的最低限度，从而保持软件的可维护性、可理解性及可扩展性？
  • 如何证明医疗设备软件的功能安全？

Axivion Suite为这两个问题提供了解决方案。通过架构分析，您可以确保软件架构的合规性，还可以定义安全架构并监控其合规性。

了解有关我们医疗行业解决方案的更多信息
Axivion_Industrial_Automation

工业自动化

自动化正变得日益网络化，并且必须解决日益复杂的任务。复杂的控制算法、快速安全的通信以及各种变体都必须快速实施并具有可维护性。工业4.0（RAMI 4.0）等趋势描述了在各个层面实现网络化的途径。5G的可用性、人工智能的可能性以及对大型物联网（IoT）中各种组件之间的交互预期加速了这一趋势。Axivion Suite满足IEC 61508等安全标准的要求，而Axivion Tool Qualification Kit可始终保证测试的可信度。此外，Axivion Suite还可持续监控MISRA或AUTOSAR C++14等编码指南或量度的合规性。

了解有关我们自动化行业解决方案的更多信息
Axivion_Aviation

航空航天

很少有其他行业会像航空航天业那样对安全性和可靠性有如此高的要求。因此，即使在实现软件时，也要遵循DO-178C等严格的安全标准和协议，以确保实现的系统性、统一性及正确性。Axivion Suite通过静态代码分析和架构验证帮助保持软件的高品质，从而实现软件的安全可维护性、可扩展性、可理解性及可读性。

Qt质量保证

我们为您的整个软件生命周期提供全面质量管理工具。

阅读更多

质量保证资源

深入了解您可以使用的所有质量保证资源。

了解更多

博客

探索更多重要内容


进入QA 栏目

进一步了解我们的静态代码分析工具

请与我们联系，以便我们讨论您用例的详细情况，了解我们如何帮助您的项目取得更大成功。一旦我们了解了您的用例情况，包括项目背景，使用的编程语言和工具，以及项目参与人数，我们将向您展示Axivion Static Code Analysis和Axivion Architecture Verification可以如何帮助您实现目标。

 

联系我们