Radar Tech: agentes IA migram COBOL para Java — e a validação determinística por paridade muda o jogo

Radar Tech: agentes IA na migração de legado

As últimas 24 horas foram marcadas por um debate intenso sobre o papel da IA aplicada à engenharia de software — e o tema que mais cresceu foi a migração de COBOL para Java assistida por agentes.

O que está rodando

Um estudo (arXiv 2607.28271) propôs o "Locksmith Loop": um método agentico para validar de forma determinística a migração de programas legados. Em vez de confiar que a tradução "parece certa", a técnica roda a origem (COBOL) e o alvo (Java) com os mesmos mocks em hardware comum, e um oráculo de paridade compara a saída byte a byte.

• Witness Search gera mocks de entrada para penetrar em branches ainda não cobertos.
• Mutações preservadoras de paridade ampliam a cobertura mantendo a igualdade de saída.
• Quando algo bloqueia a exploração, um analista identifica o parágrafo bloqueado e o desbloqueia.
• Nos casos de estudo (430 a 4.114 LOC), a cobertura chegou a quase 100% em código aberto e a 91,9% num programa produtivo-like — com o Java aceito sob checagens determinísticas.

O debate de fundo: bug-for-bug

A discussão mais quente não é se a IA consegue traduzir, mas o que fazer com os bugs. A resposta da comunidade é clara: quando dezenas de relatórios e jobs dependem de um comportamento "errado" (Lei de Hyrum), corrigi-lo na migração quebra o que já funciona. Por isso a migração moderna preserva o bug como característica e abre um ADR separado para eliminá-lo gradualmente.

Dois pontos que separam sucesso de desastre:

• Determinismo: a tradução de código é feita de forma determinística (AST, temperatura zero); o LLM planeja, gera testes e revisa — não "chuta" a tradução.
• Oracle, não opinião: cada caso é julgado por paridade de saída, não por inspeção visual. Se não passar, é divergência a investigar, nunca "arredondar" o problema.

Por que isso importa

São centenas de bilhões de linhas de COBOL em produção, e a mão de obra especializada encolhe. Ferramentas de migração assistida por IA já são reais — o ganho estratégico é o controle: saber que a mudança preserva o comportamento antes de promovê-la. Migrar legado deixa de ser aposta e vira engenharia verificável.

No nosso marketplace, publicamos um pacote completo de prompts para aplicar exatamente esse método: você orquestra agentes de planejamento, migração, teste e revisão, com harness de verificação e critérios objetivos de aceite. O mesmo assunto desta edição do Radar Tech, pronto para uso no seu time.

Resumo do dia

• Riscos de migração: integração com CICS/VSAM/JCL e precisão numérica (PIC, COMP-3, EBCDIC) são os pontos onde a paridade costuma quebrar.
• Bugs ≠ defeitos na migração: o comportamento observável vira contrato.
• Validação determinística é o diferencial: cobertura orientada a branches + oracle de paridade.

Acompanhe o Radar Tech para continuar ligado no que a IA está mudando na engenharia de software.