面向汽车安全关键软件的人机协作编码助手

汽车C/C++编码助手开放验证工具，试点中开发者最常用它检查代码。

资讯摘要

论文提出面向汽车安全关键软件的C/C++编码助手，通过Model Context Protocol向用户开放生成、编辑、验证三个工具，开发者可随时对任意代码运行验证，而非依赖代理自查。作者用AUMOVIO生产代码构建数据集，将每个函数与其需求文本和UML行为配对，并通过提示工程与微调定制底层LLM。在两周生产项目试点中，开发者称验证为最常用工具；75%偏好更快的提示工程配置。

要点速读

1. 助手通过Model Context Protocol提供generate、edit、verify三个工具，验证可由开发者按需对任意代码触发。
2. 作者从AUMOVIO生产代码构建数据集，每个函数配对需求文本与UML行为，用于提示工程和微调。
3. 两周试点中verify为最常用工具；75%开发者偏好提示工程配置；MISRA/AUTOSAR风格检查显示提示工程在C上违规更少，微调在C++架构模式一致性上更好。

中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/10/29 08:00:21（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。