AUMOVIO 发布汽车安全关键软件编码助手论文

AUMOVIO 及合作者在 arXiv 提交论文（已被 EMNLP 2026 REALM Workshop 接收），介绍一款面向汽车 C/C++ 安全关键软件的编码助手。助手通过 MCP 暴露 generate、edit、verify 三个工具，开发者可随时验证任意代码，并基于生产代码数据集通过提示词工程或微调定制底层大模型。 论文称，在真实生产项目上的两周试点中，verify 是开发者使用最多的工具，且不仅用于检查生成的代码，也用于检查自己的代码；比较两种模型定制方式时，75% 的开发者更偏好速度更快的提示词工程配置。检查结果显示提示词工程在 C 语言上违规更少，微调在 C++ 架构模式上更符合规范。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。