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

Axivion Static Code Analysis 可检查软件项目的风格和编码违规行为。在项目早期阶段检测克隆代码、死代码、被零除及其他缺陷，可减少后期修复这些问题所需的时间和成本。

阅读更多

实施 Axivion Architecture Verification 可确保系统结构保持清晰明了。为创建软件架构的结构模型，您可以手动设置，也可以从 UML 模型或其他形式的图形结构中导入。

阅读更多

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

阅读更多

从包含的常见软件度量规则集中获益。其中包括基于行和标记、嵌套、循环复杂度、控制流或Halstead度量等经典度量。甚至支持 HIS 等完整规则集。

阅读更多

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

阅读更多

Axivion Tool Qualification Kit是支持工具链分类和认证的完美插件。这包括预制测试套件，具有可自动化的执行和结果评估流程。

阅读更多