Компьютерная наука > Программное обеспечение [представлено 26 октября 2026 года] Название: Generation and Tervey: Human-Agents Cooperation for Safety-Critical Automotive Profile Engineering View PDF HTML (экспериментальное) Резюме: Исследования по агентам кодирования сосредоточены главным образом на качестве поколения. Тем не менее, важное для безопасности автотранспортное программное обеспечение требует двух дополнительных требований. В нем приоритетное внимание уделяется проверке, поскольку каждое изменение пересматривается и проводится с учетом требований и до его начала проверяется на соответствие таким промышленным стандартам, как MISRA и AUTOSAR. Это также узкая область, написанная с учетом многоуровневых архитектур, встроенных ограничений на ресурсы и конвенций об использовании интерфейсов для конкретных организаций, по которым проводится подготовка в рамках общих МРМ. Мы представляем помощника по кодированию для автомобилей C/C++, который отвечает обоим требованиям. Во-первых, он открывает пользователям три инструмента в рамках Типового Контекстового протокола (совершенствование, редактирование и проверка), позволяя разработчикам осуществлять проверку любого кода по требованию вместо того, чтобы полагаться на агента для проверки своей собственной продукции. Во-вторых, вместо того чтобы использовать модель общего назначения, мы корректируем основной LLM для автодомена посредством оперативной инженерии и усовершенствования. Мы составляем набор данных из кода…
Построение и проверка: сотрудничество между людьми и агентами в области разработки программного обеспечения для обеспечения безопасности и безопасности
arXiv: 261 030,35982v1 Тип уведомления: перекрестное резюме: исследование по агентам кодирования в основном посвящено качеству поколения. Тем не менее, важное для безопасности автотранспортное программное обеспечение требует двух дополнительных требований. В нем приоритетное внимание уделяется проверке, поскольку каждое изменение пересматривается и проводится с учетом требований и до его начала проверяется на соответствие таким промышленным стандартам, как MISRA и AUTOSAR. Это также узкая область, написанная с учетом многоуровневых архитектур, встроенных ограничений на ресурсы и конвенций об использовании интерфейсов для конкретных организаций, по которым проводится подготовка в рамках общих МРМ. Мы представляем помощника по кодированию для автомобилей C/C++, который отвечает обоим требованиям. Во-первых, он открывает пользователям три инструмента в рамках Типового Контекстового протокола (совершенствование, редактирование и проверка), позволяя разработчикам осуществлять проверку любого кода по требованию вместо того, чтобы полагаться на агента для проверки своей собственной продукции. Во-вторых, вместо того чтобы использовать модель общего назначения, мы выстроили основной LLM для автодомена с помощью оперативного eng