支持 AI 驱动工作流、全新架构验证功能，以及更多安全规则与指令
我们很高兴地宣布 Axivion 7.12 正式发布。新版本新增了更多安全与防护规则，并纳入 NVIDIA® 在其《CUDA C++ 稳健与安全关键编程指南》中发布的全部指令。新版本还提供多项新功能，包括将架构导出至 Sparx Enterprise Architect，以及对 AI 驱动工作流的支持。
支持 AI 驱动工作流
Axivion 现已支持 AI 驱动工作流。开发团队只需激活模型上下文协议（MCP）服务器（技术预览版）并接入所选大语言模型（LLM），即可将 Axivion 集成至现有 AI 驱动工作流中。AI 代理将可访问 Axivion 文档及分析结果，帮助开发者在熟悉的 IDE 环境中更快定位并修复缺陷。对企业而言，这意味着更高的开发效率、更低的软件开发与维护成本，从而加快产品上市速度、提升投资回报。此外，代理还可连接其他数据源（如互联网或内部服务器），将 Axivion 的分析结果与外部数据结合使用（例如生成包含企业内部信息的报告）。新版本还提供了增强版 VS Code 插件，开发者不仅可借助 AI 理解代码，还可在 AI 辅助下直接完成代码修改。
值得注意的是，Axivion 本身不使用 AI 进行分析，因此完全适用于安全关键环境下的软件开发。
架构验证再升级
Axivion 7.12 在架构验证方面带来了多项改进与新功能。在扩展 PlantUML C4 导入支持、优化与 Gravis 协作流程的基础上，本次发布还新增了以下两项功能：
高级架构考古（Advanced Architecture Archaeology）
Axivion 现支持从现有代码自动生成架构模型。遗留代码和第三方代码通常缺乏完整的软件架构文档，而 Axivion 可直接从代码中提取信息并构建对应模型，无需耗费大量时间反复建立假设、验证和调整。开发团队可自定义项目的建模方式，例如指定以目录、文件、命名空间或其他元素作为包和组件的表示单位。建模粒度可细化至详细设计层级（函数与变量）。自动生成的架构可在 Axivion 的建模工具 Gravis 中进一步编辑，并用于架构验证。这不仅节省了时间，也使遗留代码能够达到与新开发代码相同的高质量标准。
→ 也可使用"Architecture as Code"方案
架构导出到 Enterprise Architect
Axivion 已经允许以多种方式导入架构模型（如通过 UML 工具或任何其他机器可读格式）。随着 7.12 版本的发布，Axivion 现在还提供了导出功能。从代码中提取所有必要元素，如组件、功能、属性、信息流和依赖关系，并创建当前项目的架构模型。然后，这个完整的模型可以导入 Sparx Enterprise Architect，作为初始模型，从而消除了手动逆向工程软件的需要。软件架构师还可以修改和调整 Enterprise Architect 中的模型（如添加组件），并将其重新导入 Axivion 以执行架构验证。
Axivion 已支持多种架构模型导入方式（如通过 UML 工具或其他机器可读格式）。7.12 版本新增了导出功能：系统将从代码中提取组件、函数、属性、信息流与依赖关系等所有必要元素，并生成当前项目的完整架构模型。该模型可导入 Sparx Enterprise Architect，作为初始模型使用，从而省去手动逆向工程的繁琐步骤。软件架构师也可在 Enterprise Architect 中对模型进行修改与调整（例如新增组件后），再将其重新导入 Axivion 以完成架构验证。
持续跟进最新安全与合规法规
Axivion 专为汽车、医疗、工业自动化等安全关键领域的软件开发而设计，持续交付卓越的安全相关功能始终是核心优先事项，以确保开发者能够轻松满足各行业的严格要求Axivion 7.12 版本新增了针对CWE 和CERT 的附加规则。
为了进一步支持基于英伟达™（NVIDIA®）CUDA的GPU应用程序的开发，Axivion 现已纳入 NVIDIA 制定的全部五项指令。这意味着Axivion for CUDA（正是凭借该产品，Qt Group 成为NVIDIA Halos AI Systems Inspection Lab 成员）现在100%涵盖了《NVIDIA CUDA C++ 稳健与安全关键编程指南》中提到的所有规则和指令。
工具鉴定是安全关键型软件开发不可或缺的一部分。Axivion 工具鉴定套件（Tool Qualification Kit）包含大量可供选择的测试文件，以支持工具链的分类和鉴定。7.12 版本起，该套件还可用于 DO-330 认证，为将 Axivion 鉴定为安全关键机载系统开发软件工具提供所需证据，从而显著降低航空航天领域团队的鉴定工作量。
Axivion 7.12 其他亮点
Axivion 其他值得关注的改进包括
-
通用规则
Axivion 新增通用规则类别，涵盖 C 和 C++ 的通用规则与指标。 -
扩展的 Rust 支持
上一版本已以技术预览形式新增对 Rust 的基础支持。7.12 版本起，Rust 成为正式支持的编程语言，支持范围已扩展至指标分析、克隆管理及更多语言构造。 -
支持 C#14
Axivion 持续跟进最新编译器动态：使用 C#14 的开发者现可完整使用 Axivion 的代码分析功能。 -
更新的 EDG 解析器
新版本集成了最新的 EDG C/C++ 解析器。 -
现代化的仪表板设置页面
用户偏好设置管理页面已完成重新设计，操作体验显著提升。 -
离线本地构建
VS Code 插件中的本地构建不再需要参考仪表盘，对身处受管控环境或受限网络的开发者尤为实用。 -
简化设置
新增了针对更多构建系统的简化配置方案。
