MODERNIZACIÓN DE SISTEMAS LEGACY
IA migra COBOL a Java con validación determinística de cada rama del código
Investigadores presentan un método agéntico que logró migrar programas COBOL a Java con 91,90% de cobertura en casos reales. El sistema valida cada rama del código mediante un oráculo determinístico que compara ejecuciones paralelas.
Migrar código COBOL a Java sin romper la lógica de negocio crítica es uno de los desafíos más caros de la infraestructura corporativa. Un nuevo paper de arXiv presenta "Locksmith Loop", un método agéntico que no solo traduce el código sino que valida determinísticamente cada rama comparando ejecuciones del COBOL original contra el Java generado.
Cómo funciona el loop de validación
El método, descrito en el paper de arXiv por Andras Ferenczi y equipo, prepara dos ambientes de runtime: el COBOL fuente y el Java target instrumentados con mocks y ejecutados off-mainframe. Luego ejecuta un loop iterativo agéntico que realiza Witness Search sobre los mocks de entrada para penetrar ramas del programa, seguido de mutaciones que preservan la paridad.
Cuando alcanza límites de ruteo, un analizador identifica un "Locked Paragraph": una condición que impide exploración más profunda. El sistema genera casos de prueba sintéticos que fuerzan la ejecución de cada branch, comparando que COBOL y Java produzcan exactamente el mismo output.
Resultados en programas reales
El equipo probó Locksmith en tres casos de estudio: dos programas open-source y uno interno tipo producción, con rangos de 430 a 4.114 líneas de código fuente. En los dos programas open-source alcanzó cobertura casi completa de branches. En el programa interno production-like logró 91,90% de cobertura, superando consistentemente los plateaus donde métodos de búsqueda de inputs se estancan.
El Java generado pasó checks de paridad determinística en todos los casos de prueba aceptados: cada ejecución en Java replica bit a bit el comportamiento del COBOL de referencia.
Por qué importa
La deuda técnica en COBOL mueve miles de millones en costos ocultos: mainframes caros, escasez de talento, imposibilidad de integrar APIs modernas. Pero migrar a ciegas es peor: un bug en lógica financiera o de compliance puede costar más que mantener el legacy.
Este método representa, según los autores, la primera validación determinística de output agéntico de coding usando un oráculo formal. No es traducción sintáctica: es equivalencia funcional verificable. Para una empresa que necesita modernizar sistemas críticos, esto cambia la ecuación de riesgo. Podés migrar con certeza de que cada caso edge documentado en el COBOL original se preserva en el Java nuevo.
La pregunta que queda: ¿qué pasa con los bugs que ya estaban en el COBOL? El sistema los migra también, fielmente. La IA no arregla deuda de lógica, solo la transporta. Eso requiere una segunda capa: auditoría humana sobre el código ya validado, sabiendo que al menos el comportamiento es idéntico.
SEGUIR LA SEÑAL
VER TODO →
Google lanza Gemini Enterprise for Legal para automatizar contratos
La nueva versión de Gemini se integra con plataformas como iManage, NetDocuments y DocuSign para revisar contratos, realizar investigación jurídica y rastrear cambios regulatorios en estudios y departamentos legales.
Cerebras duplica el rendimiento de su chip WSE-3 con el nuevo acelerador CS-4
La empresa presentó el CS-4, un sistema rack que entrega el doble de velocidad que su predecesor sin cambiar de chip: más frecuencia de reloj, mejor refrigeración y tres wafers por rack en lugar de dos. Cerebras afirma superar en 30× a configuraciones con GPUs de Nvidia.
Mojo lanza su compilador como open source tras tres años de desarrollo
El lenguaje de programación optimizado para GPU cumplió su promesa de 2023 y liberó compilador y toolchain bajo licencia Apache 2. Ya no busca ser un superset de Python, sino una alternativa propia con sintaxis inspirada.