AWS ускоряет поставку программного обеспечения с помощью Kiro IDE

При поддержке AWS

Автономные агенты сокращают сроки поставки программного обеспечения с недель до дней. Предприятия, которые безопасно масштабируют агентов, — это те, кто ведет разработку на основе спецификаций (spec-driven development).

В каждом технологическом сдвиге наступает момент, когда ранние последователи перестают быть исключением и становятся новой нормой. Мы находимся именно в таком моменте в разработке программного обеспечения, и большинство команд этого еще не осознают.

Год назад завирусилось вайб-кодинг (vibe coding). Люди без опыта разработки и начинающие программисты обнаружили, что с помощью ИИ они могут создавать продукты за рамками своих текущих навыков. Это снизило порог входа. Прототипирование стало намного быстрее, но это также привело к потоку низкокачественного кода. То, что тогда потребовалось индустрии — это нечто, повышающее планку: то, что улучшает качество кода и работает так, как работают самые опытные разработчики. Именно это и сделала разработка на основе спецификаций. Она заложила основу для надежных автономных агентов кодирования.

Спецификации — это модель доверия для автономной разработки

Большинство дискуссий об искусственно сгенерированном коде сосредоточены на том, может ли ИИ писать код. Более сложный вопрос заключается в том, можете ли вы доверять этому коду. Ответ на него напрямую упирается в спецификацию.

Разработка на основе спецификаций начинается с обманчиво простой идеи: прежде чем ИИ-агент напишет хотя бы одну строку кода, он работает со структурированной, насыщенной контекстом спецификацией, которая определяет, что система должна делать, каковы ее свойства и что на самом деле означает «правильно». Эта спецификация представляет собой артефакт, с которым агент соотносит свои действия на протяжении всего процесса разработки — в корне отличаясь от подходов к ИИ до появления агентов, когда документация пишется постфактум.

Корпоративные команды строят свою работу на этом фундаменте. Команда Kiro IDE использовала Kiro для создания самой Kiro IDE — среды агентированного программирования с нативной поддержкой разработки на основе спецификаций, — сократив создание функций с двух недель до двух дней. Инженерная команда AWS завершила 18-месячный проект по реархитектуре, изначально рассчитанный на 30 разработчиков, силами шести человек за 76 дней с использованием Kiro. Инженерная команда Amazon.com внедрила функцию «Добавить в доставку» (позволяющую покупателям добавлять товары после оформления заказа) на два месяца раньше графика, используя Kiro и разработку на основе спецификаций. Alexa+, Amazon Finance, Amazon Stores, AWS, Fire TV, Last Mile Delivery, Prime Video и другие интегрируют разработку на основе спецификаций в свои подходы к созданию ПО.

Этот сдвиг меняет всё, что следует за ним.

Проверяемое тестирование делает запуск автономных агентов безопасным

Спецификация становится автоматизированным механизмом проверки корректности. Когда разработчик с помощью ИИ генерирует по 150 чекинов в неделю, ни один человек не сможет вручную проверить такой объем кода. Вместо этого код, созданный на основе конкретной спецификации, может быть проверен с помощью тестирования на основе свойств (property-based testing) и нейросимволических методов ИИ, которые автоматически генерируют сотни тестовых сценариев, проистекающих непосредственно из спецификации, исследуя граничные случаи, которые ни один человек не додумался бы написать вручную. Эти тесты доказывают, что код удовлетворяет свойствам, определенным в спецификации, выходя далеко за рамки написанных вручную наборов тестов и обеспечивая доказуемо корректное поведение.

Проверяемое тестирование позволяет перейти от однократного программирования к непрерывной автономной разработке. Традиционная разработка с помощью ИИ работает по принципу «одного выстрела»: вы даете агенту спецификацию, агент выдает результат, и процесс завершается. Современные агенты непрерывно корректируют себя сами, передавая информацию об ошибках сборки и тестирования обратно в свой механизм принятия решений, генерируя дополнительные тесты для проверки собственного результата и выполняя итерации до тех пор, пока не получат что-то функциональное и проверяемое. Спецификация — это якорь, который не дает этому циклу отклониться от курса. Вместо того чтобы разработчики постоянно проверяли, принимает ли агент правильные решения, агент может сверять свои действия со спецификацией, чтобы убедиться, что он находится на верном пути.

Автономный агент будущего будет сам писать свои спецификации, используя их в качестве механизма для самокоррекции, верификации и гарантии того, что созданный им продукт соответствует предполагаемому поведению системы.

Мультиагентные, автономные системы работают прямо сейчас

Разработчики, задающие темп сегодня, работают совершенно иначе. Разработчики тратят значительное время на составление спецификации, а также на написание управляющих файлов (steering files), которые спецификация использует для того, чтобы агент знал, что и как строить — больше времени, чем их агент может потратить на создание самого программного обеспечения. Они запускают несколько агентов параллельно, чтобы оценить проблему с разных точек зрения, а также используют несколько спецификаций, каждая из которых написана для отдельного компонента создаваемой системы. Они позволяют агентам работать часами, а иногда и днями. Они тратят тысячи кредитов Kiro, потому что результат того стоит.

Год назад агенты теряли контекст и разваливались через 20 минут. Теперь каждую неделю их можно задействовать дольше, чем на предыдущей. Возможности агентов за последние шесть месяцев улучшились настолько значительно, что теперь поддаются решению по-настоящему сложные проблемы. Новые языковые модели (LLM) более эффективны в плане токенов по сравнению с предыдущим поколением, поэтому за те же деньги вы получаете гораздо больше результатов.

Проблема в том, что для успешного применения этого требуется глубокая экспертиза. Инструменты, методологии и инфраструктура существуют, но их оркестровка — сложная задача. Цель Kiro — предоставить эти возможности и глубокую экспертизу каждому разработчику, а не только тому верхнему одному проценту, который уже во всем разобрался.

Инфраструктура догоняет амбиции

В течение года агенты станут в десять раз более способными. Именно такой темп улучшений мы наблюдаем от недели к неделе.

Инфраструктура для поддержки такого уровня возможностей развивается синхронно. Агенты теперь запускаются в облаке, а не локально, выполняясь параллельно в масштабе с безопасной и надежной связью между системами агентов. Организации теперь могут запускать агентированные рабочие нагрузки так же, как любую распределенную систему корпоративного уровня — с обеспечением управления, контроля затрат и гарантий надежности, которые требуются для серьезного программного обеспечения. Разработка на основе спецификаций — это архитектура автономных систем завтрашнего дня.

Разработчики больше не ограничены тем, как они хотят решить проблему. Разработчики, которые преуспевают в этом мире, — это те, кто закладывает этот фундамент уже сейчас: используя разработку на основе спецификаций, уделяя первостепенное внимание тестируемости и верификации с самого начала, работая с агентами как с соавторами и мысля категориями систем, а не синтаксиса.

Дипак Сингх (Deepak Singh) — вице-президент по направлению Kiro в AWS.

Спонсорские статьи — это контент, подготовленный компанией, которая либо оплачивает публикацию, либо имеет деловые отношения с VentureBeat, и такие материалы всегда четко отмечены. Для получения дополнительной информации обращайтесь по адресу sales@venturebeat.com.