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 →
Nvidia lanza PAIR: convierte tus computadoras inactivas en centro de IA local
La compañía presentó Personal AI Router, una herramienta que sincroniza PCs y laptops en red para ejecutar tareas de IA cuando no las estás usando. Funciona con GPUs RTX desde la serie 20 y chips Apple M4 o superiores.
Google Pics desafía a Canva con edición de imágenes por IA dentro de Workspace
Google lanza Pics, su herramienta de creación y edición de imágenes con IA que funciona directamente en Docs, Slides y Drive. Con segmentación de objetos, traducción de texto in-situ y colaboración en tiempo real, apunta al mismo terreno que Canva pero sin salir del ecosistema Workspace.
Meta prueba robots para operar sus centros de datos y reducir personal
La compañía está evaluando brazos robóticos que enchufan cables, reinician servidores y cortan electricidad en sus instalaciones. Trabajadores temen que la tecnología reemplace hasta el 80% de algunas tareas humanas.