Apresentado pela AWS
Agentes autônomos estão reduzindo os prazos de entrega de software program de semanas para dias. As empresas que dimensionarem os agentes com segurança serão aquelas que construirão usando o desenvolvimento orientado por especificações.
Há um momento em cada mudança tecnológica em que os primeiros adotantes deixam de ser discrepantes e passam a ser a linha de base. Estamos nesse momento de desenvolvimento de software program e a maioria das equipes ainda não percebeu isso.
Há um ano, a codificação de vibração se tornou viral. Não desenvolvedores e desenvolvedores juniores descobriram que poderiam construir além de suas habilidades com IA. Baixou o chão. Tornou a prototipagem muito mais rápida, mas também introduziu um excesso de lixo. O que a indústria precisava então period de algo que elevasse o teto – algo que melhorasse a qualidade do código e funcionasse da mesma forma que os desenvolvedores mais experientes trabalham. O desenvolvimento orientado por especificações fez isso. Ele lançou as bases para agentes de codificação autônomos confiáveis.
As especificações são o modelo de confiança para o desenvolvimento autônomo
A maioria das discussões sobre código gerado por IA concentra-se em saber se a IA pode escrever código. A questão mais difícil é se você pode confiar nisso. A resposta passa diretamente pelas especificações.
O desenvolvimento orientado por especificações começa com uma ideia aparentemente simples: antes de um agente de IA escrever uma única linha de código, ele funciona a partir de uma especificação estruturada e rica em contexto que outline o que o sistema deve fazer, quais são suas propriedades e o que “correto” realmente significa. Essa especificação é um artefato contra o qual o agente raciocina durante todo o processo de desenvolvimento – fundamentalmente diferente das abordagens de IA pré-agentes de escrever documentação após o fato.
As equipes empresariais estão construindo sobre essa base. A equipe do Kiro IDE usou o Kiro para construir o Kiro IDE — um ambiente de codificação agente com desenvolvimento nativo orientado a especificações — reduzindo a criação de recursos de duas semanas para dois dias. Uma equipe de engenharia da AWS concluiu um projeto de rearquitetura de 18 meses, originalmente planejado para 30 desenvolvedores, com seis pessoas em 76 dias usando o Kiro. Uma equipe de engenharia da Amazon.com lançou o “Adicionar à entrega” – um recurso que permite aos compradores adicionar itens após a finalização da compra – dois meses antes do previsto, usando o Kiro e o desenvolvimento orientado por especificações. Alexa+, Amazon Finance, Amazon Shops, AWS, Fireplace TV, Final Mile Supply, Prime Video e muito mais integram o desenvolvimento orientado por especificações como parte de suas abordagens de construção.
Essa mudança muda tudo a jusante.
Testes verificáveis são o que torna a execução segura de agentes autônomos
A especificação se torna um mecanismo de correção automatizado. Quando um desenvolvedor gera 150 check-ins por semana com assistência de IA, nenhum ser humano pode revisar manualmente esse quantity de código. Em vez disso, o código construído com base em uma especificação concreta pode ser verificado por meio de testes baseados em propriedades e técnicas de IA neurossimbólicas que geram automaticamente centenas de casos de teste derivados diretamente da especificação, investigando casos extremos que nenhum ser humano pensaria em escrever à mão. Esses testes provam que o código satisfaz as propriedades definidas pela especificação, indo muito além dos conjuntos de testes escritos à mão para corrigir o comportamento comprovadamente.
Testes verificáveis permitem a mudança da programação única para o desenvolvimento autônomo contínuo. O desenvolvimento tradicional assistido por IA opera como um único tiro: você dá uma especificação ao agente, o agente produz a saída e o processo termina. Os agentes de hoje se corrigem continuamente, alimentando falhas de construção e teste em seu próprio raciocínio, gerando testes adicionais para testar sua própria saída e iterando até produzirem algo funcional e verificável. A especificação é a âncora que evita que esse loop se desvie. Em vez de os desenvolvedores verificarem constantemente se o agente está tomando as decisões corretas, o agente pode verificar a si mesmo em relação às especificações para ter certeza de que está no caminho certo.
O agente autônomo do futuro escreverá suas próprias especificações, usando especificações como mecanismo de autocorreção, de verificação, para garantir que o que ele produz corresponde ao comportamento pretendido do sistema.
Multiagente, autônomo e em execução agora
Os desenvolvedores que definem o ritmo hoje operam de uma maneira fundamentalmente diferente. Os desenvolvedores gastam um tempo significativo construindo suas especificações, bem como escrevendo arquivos de orientação usados pelas especificações para garantir que o agente saiba o que e como construir – mais tempo do que seu agente pode gastar construindo o software program actual. Eles executam vários agentes em paralelo para criticar um problema de diferentes perspectivas, bem como executam várias especificações, cada uma escrita para um componente diferente do sistema que estão construindo. Eles permitem que os agentes trabalhem por horas, às vezes dias. Eles usam milhares de créditos Kiro porque o resultado justifica isso.
Há um ano, os agentes perdiam o contexto e desmoronavam após 20 minutos. Agora, toda semana você pode executá-los por mais tempo do que na semana anterior. As capacidades de agente melhoraram significativamente nos últimos seis meses, de modo que problemas genuinamente complexos são tratáveis. Os LLMs mais recentes são mais eficientes em termos de tokens do que a geração anterior; portanto, com o mesmo gasto, você realiza muito mais.
O desafio é que fazer isso bem requer profundo conhecimento. As ferramentas, metodologias e infraestrutura existem, mas é difícil orquestrá-las. O objetivo do Kiro é levar esses recursos com profundo conhecimento a todos os desenvolvedores, não apenas ao 1% que já descobriu isso.
A infraestrutura está alcançando a ambição
Os agentes serão dez vezes mais capazes dentro de um ano. Essa é a taxa de melhoria que estamos vendo semana após semana.
A infra-estrutura para suportar esse nível de capacidade está convergindo ao mesmo tempo. Os agentes agora são executados na nuvem, em vez de localmente, executando em paralelo e em escala, com comunicação segura e confiável entre os sistemas dos agentes. As organizações agora podem executar cargas de trabalho de agente da mesma forma que executariam qualquer sistema distribuído de nível empresarial — com governança, controles de custos e garantias de confiabilidade que softwares sérios exigem. O desenvolvimento orientado por especificações é a arquitetura dos sistemas autônomos de amanhã.
Os desenvolvedores não estão mais restritos à forma como desejam resolver o problema. Os desenvolvedores que prosperam neste mundo são aqueles que constroem essa base agora: usando o desenvolvimento orientado por especificações, priorizando a testabilidade e a verificação desde o início, trabalhando com agentes como colaboradores e pensando em sistemas em vez de sintaxe.
Deepak Singh é vice-presidente de Kiro na AWS.
Artigos patrocinados são conteúdos produzidos por uma empresa que paga pela postagem ou tem relacionamento comercial com a VentureBeat, e estão sempre claramente marcados. Para mais informações, entre em contato vendas@venturebeat.com.
