Microsoft разработал инструмент для формального подтверждения кода AI-агентов
PDD Kit преобразует намерения разработчика в формальные спецификации и проверяет код AI-агентов на соответствие этим спецификациям.
AI-агенты могут генерировать код настолько масштабно, что его линейный обзор становится трудным.
PDD Kit преодолевает эту проблему, преобразуя намерения разработчика в формальные спецификации и проверяя их на соответствие.
Это позволяет проверять код, созданный AI-агентами, без необходимости линейного обзора.
В примере на GitHub Next инструмент был использован для формального подтверждения логики входа в систему в приложении Pet Store.
Что пока неизвестно
Источник не приводит конкретных примеров или цифр, подтверждающих эффективность PDD Kit.
Источники
Источник не открывается?
Оригинальная страница может быть временно недоступна. Попробуйте открыть её позже; название и дата источника сохранены выше.