La IA migró programas COBOL a Java, con errores incluidos
AI migrated legacy COBOL programs to Java, bugs included
Un nuevo método agéntico, el 'Locksmith Loop', valida de forma determinista la migración de código COBOL a Java. El enfoque instrumenta ambos entornos con mocks, realiza búsqueda de testigos para explorar ramas y aplica mutaciones que preservan la paridad. En tres casos de estudio, que van desde 430 hasta 4,114 líneas de código, se logró una cobertura de ramas de hasta el 91.90% en un programa interno, y el código Java generado coincidió con el COBOL de referencia en todas las pruebas aceptadas.
A través de estos hallazgos demostramos, hasta donde sabemos, un enfoque novedoso para validar la salida de codificación agéntica utilizando un oráculo determinista.