La reparación automática de programas (APR por sus siglas en inglés) proporciona a los desarrolladores de software herramientas capaces de generar automáticamente parches para programas defectuosos. El problema es que, en ocasiones, estos parches no solo no resuelven fallos existentes en el software, sino que introducen otros nuevos.
El hallazgo de los investigadores españoles, recogido este martes en la revista Reports and Proceedings, consiste en un sistema de detección de esos parches incorrectos, que “ahorrará parte del tiempo y el esfuerzo dedicados a la corrección de fallos por los desarrolladores y en el mantenimiento general de los sistemas de software”.
“La eficacia de Fixcheck para generar casos de prueba que revelan fallos en parches incorrectos se evaluó en 160 parches, entre los que se incluían tanto parches creados por desarrolladores como generados por herramientas de APR” indica el autor principal, Facundo Molina, investigador del Instituto Imdea Software.
Los resultados de los investigadores españoles muestran que el sistema Fixcheck puede generar eficazmente pruebas de detección de fallos para el 62 % de los parches incorrectos escritos por desarrolladores, con un alto grado de confianza.
Todos los beneficios, en un solo lugar Descubrí donde te conviene comprar hoy
Lea más: Falla de Microsoft: dos bancos de Paraguay tuvieron problemas con sus aplicaciones