Genios españoles encuentran el Santo Grial de la informática y podrían solucionar todos los problemas tecnológicos

El hallazgo de los investigadores españoles fue recogido este martes en la revista Reports and Proceedings.

Investigadores del Instituto madrileño de Estudios Avanzados (Imdea) de Software han desarrollado un método innovador, fundamental para solucionar frecuentes problemas informáticos.

Lo llamaron Fixcheck, y detecta errores en los parches que solucionan los problemas que presentan los programas.

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 descubrimiento de investigadores españoles

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.

Además, complementa técnicas existentes de evaluación de corrección de parches al proporcionar casos de prueba que revelan fallos para hasta el 50% de los parches incorrectos identificados por las técnicas más avanzadas.

"Fixcheck representa un avance significativo en el campo de la reparación y mantenimiento del software, ya que ofrece una solución robusta para automatizar la generación de pruebas y detectar fallos durante el mantenimiento", ha agregado el investigador.

Bueno es, saberlo.