Skip to main content
  • Developers
  • Learning Hub
    • Learning Hub Developers Price. Buy. Download. Try.
    Subnavigation
    QA_Hero_Axivion_680x480-min


    Axivion
    Static Code Analysis

    Axivion Static Code Analysis 完全可定制，是基于 CI 的质量门的基石。它是自动化测试工具的完美补充，可从项目之初确保高质量的代码。

    联系我们

    Static_Code_Analysis_1

    运用最先进的静态代码分析来确保软件质量

    对软件项目的自动分析可根据 MISRA（包括 MISRA C: 2023 和 MISRA C++: 2023）以及 AUTOSAR C++14检测编码违规。根据 CERT®、C Secure Coding 和 CWE 的编码指南，对安全相关违规行为进行分析。展示并记录度量违规，克隆代码，循环和不可达代码。

    Axivion Static Code Analysis的结果支持您在使用 C 和 C++ 编程语言开发软件过程中提供持续的质量保证。通过自动化质量检查，开发人员可以专注于需要人类智慧和创造力的任务。您可以将重复性任务交给机器，由它反复执行全面检查并提供全面的报告。

    阻止软件侵蚀，为软件开发的未来保驾护航

    软件侵蚀（也被称作技术债务）是一个过程，在这个过程中随着时间的推移，软件的维护，扩展和重用会变得更加困难，甚至不可能。程序代码会不断地被修改，以增强软件的功能或者适应新需求。虽然这可能不会损害软件的功能，但是会给未来的任务带来额外的负担。

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

     

    克隆代码检测与管理

    克隆代码检测功能可识别软件中重复和相似的代码片段，并持续跟踪它们，以支持持续的进一步开发。该结构还可以检测更改了函数名称和变量名称的克隆代码。

    阅读更多

    度量监控

    受益于常见软件度量的规则集。其中包括基于行和标记的度量、嵌套、圈复杂度、控制流或霍尔斯特德度量等经典度量。甚至支持完整 HIS 规则集。

    阅读更多

    编码指南

    使用 Axivion Suite 的自动编码指南检查器，可在开发过程中轻松发现代码中的危险漏洞。集成的增量分析可对代码中新出现的风险做出有针对性的反应。

    阅读更多

    代码缺陷分析

    代码缺陷分析检查源代码是否存在潜在的运行时错误。分析包括可扩展的数据和控制流检查。这样便可以在软件开发的早期阶段检测出诸如越界访问或零除等错误。

    阅读更多

    死代码分析

    不会被执行的代码仍然需要注意。死代码或不可达代码会使可理解性、可测试性和可维护性变得复杂。通过直接反馈，可以优化预防性 Bug 修复和低阈值重构。

    阅读更多

    周期检测

    此分析解决方案可识别不同级别的周期性依赖。它不仅可以识别和监控调用周期（递归），还可以识别和监控组件周期和包含周期。

    阅读更多

    经认证可用于安全系统开发

    Axivion Static Code Analysis 已通过 SGS-TÜV Saar GmbH 认证，适用于开发安全系统，且符合相应标准中包含的最高安全要求：ISO 26262 至 ASIL D、IEC 61508 至 SIL 4、IEC 62304 至 C 级、EN 50657 至 SIL 4。

    如要获得更高水平的质量保证，请使用 Axivion Tool Qualification Kit来支持工具链的分类和认证。

    了解更多

    Axivion_TUVcertificate7.5_291x210px

    Axivion Static Code Analysis 在各个行业的成功案例

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

     

    舍弗勒

    Axivion 倍添安心
    “借助通过 ISO 26262 认证的 Axivion Suite，Schaeffler Automotive Buehl 保持了其混合 ASIL 系统的高品质。”

     

    Schaeffler Automotive Buehl GmbH & Co. KG


    阅读成功案例

    Apex.AI

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


    Dejan Pangercic

    Apex.AI 首席技术官兼联合创始人

     


    阅读成功案例

    西门子医疗

    Axivion 倍添安心
    “得益于在实施过程中的支持以及专业服务团队的出色支持，我们很快就轻松地将Axivion Suite集成到我们的开发环境中。现在软件中几乎不存在架构违例，而且在全球范围内，我们的开发团队都实现了更高标准的架构符合性代码。”


    Sven Neuberg 

    Siemens Healthcare GmbH 计算机断层摄影软件开发人员


    阅读成功案例

    永恒力

    Axivion 倍添安心
    “从技术角度来看，Axivion Suite 凭借其自动化代码和架构验证的各项功能赢得了我们的青睐。事实证明，Axivion 专业服务团队的出色支持是获得开发人员高度认可以及得到快速高效结果的关键：新工具套件的推出和集成到我们工作流中的方式，以及为所有参与者高度激励性的培训使该套件取得了全面成功。”


    Jan Schröder 

    Jungheinrich Norderstedt AG & Co. KG 软件架构和模块团队负责人

     


    阅读成功案例

    HENSOLDT

    Axivion 倍添安心
    “与 Enterprise Architect 的集成堪称完美：模型可以在没有密集的目视检查的情况下执行！”


    Heiko Stehli

    HENSOLDT Sensors GmbH 软件架构师

     


    阅读成功案例

    请求演示

    联系我们

    下载手册

    下载

    借助 Axivion Architecture Verification 提升代码质量

    阅读更多

    行业解决方案

    阅读更多