🧪 Microsoft рассказала, как проверяет массовые AI-правки

🧪 Microsoft рассказала, как проверяет массовые AI-правки
26 октября 2026
В новом инженерном отчёте Microsoft описала работу агентов с крупными кодовыми базами Windows и Azure. Один из проектов — добавить поддержку Clang/LLVM в базу примерно из 400 млн строк. Отдельное направление — модернизация C/C++ в Rust.
Для массовых исправлений агенты выводят общие правила из примеров и собирают базу знаний. Агент-рецензент оценивает корректность и минимальность правок, а небольшая команда экспертов утверждает правила. Затем они применяются по всей базе; обратная связь владельцев кода уточняет подход.
Перевод в Rust ведут по функциям продукта, которые можно проверить целиком. Используют сравнение поведения старого и нового кода и тесты, скрытые от агента. Команда также начала извлекать формальные спецификации из исходника и проверять их соблюдение в Rust через Verus.
Практический вывод для больших миграций: заранее определить проверяемое поведение и критерии приёмки. Сама компиляция ещё не подтверждает, что перевод верен.
Это рассказ о внутренней работе с 2024 года, а не запуск общедоступного инструмента. Авторы признают открытый вопрос: спецификация, выведенная из кода, может описать уже существующую ошибку.
Источник: Microsoft
Схема: Microsoft. Used with permission from Microsoft.
#AIАгенты #Разработка #ПроверкаКода