{"id":252,"date":"2024-07-30T15:11:40","date_gmt":"2024-07-30T15:11:40","guid":{"rendered":"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/?p=252"},"modified":"2024-07-30T15:11:40","modified_gmt":"2024-07-30T15:11:40","slug":"imdea-software-lanza-un-nuevo-enfoque-que-mejora-la-reparacion-automatica-de-software","status":"publish","type":"post","link":"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/2024\/07\/30\/imdea-software-lanza-un-nuevo-enfoque-que-mejora-la-reparacion-automatica-de-software\/","title":{"rendered":"IMDEA Software lanza un nuevo enfoque que mejora la reparaci\u00f3n autom\u00e1tica de software"},"content":{"rendered":"
La herramienta FIXCHECK ofrece una soluci\u00f3n robusta y efectiva en el campo del mantenimiento de software, revela fallos y previene la introducci\u00f3n de correcciones inadecuadas en el software.<\/h5>\n
\"\"
Dos estudiantes trabajan en el exterior del Instituto IMDEA Software<\/figcaption><\/figure>\n

Todos actualizamos tarde o temprano nuestras aplicaciones m\u00f3viles y programas inform\u00e1ticos, ya sea por las mejoras que ofrecen o porque deja de funcionar la versi\u00f3n anterior, entre otras cosas. Estamos habituados a las ca\u00eddas de WhatsApp o de comercios electr\u00f3nicos que por lo general tardan unas horas en volver a la normalidad. A lo que no estamos acostumbrados es a que pase algo que paralice el mundo durante d\u00edas, como ocurri\u00f3 la semana pasada con la actualizaci\u00f3n de CrowdStrike, proveedor de seguridad de Microsoft. De un modo u otro, ambos casos se generan por defectos en el software. <\/p>\n

Por lo general, si existe un fallo en un software se genera un parche para paliarlo y asegure que el software funcione como debe. Pero algunas veces estos parches no solucionan los problemas para los que fueron creados, o incluso peor, pueden generar fallos adicionales no previstos en el software. Por este motivo generar parches que resuelvan los defectos en el software es una tarea crucial en el mantenimiento de los sistemas inform\u00e1ticos. <\/p>\n

\u00bfComo se detectan?<\/strong><\/p>\n

Los defectos de software generalmente se reportan a trav\u00e9s de casos de prueba, que revelan comportamientos no deseados en el software. En respuesta a estos defectos, los desarrolladores crean parches que deben someterse a validaci\u00f3n antes de ser enviados a la base de c\u00f3digo, garantizando que la prueba proporcionada ya no expone el defecto. Sin embargo, es posible que se den parches incorrectos.<\/p>\n

La detecci\u00f3n de estos parches incorrectos puede repercutir de manera significativa en el tiempo y el esfuerzo dedicados a la correcci\u00f3n de fallos por los desarrolladores y en el mantenimiento general de los sistemas de software.<\/p>\n

El estudio<\/strong><\/p>\n

La reparaci\u00f3n autom\u00e1tica de programas (APR por sus siglas en ingl\u00e9s), proporciona a los desarrolladores de software herramientas capaces de generar autom\u00e1ticamente parches para programas defectuosos. Sin embargo, su uso ha destapado numerosos errores en estos parches que no solventan los fallos de manera adecuada.<\/p>\n

Para solucionar este problema los investigadores de IMDEA Software Facundo Molina<\/a>, Juan Manuel Copia<\/a> y Alessandra Gorla<\/a> han creado FIXCHECK, un enfoque novedoso para mejorar los an\u00e1lisis de correcci\u00f3n de parches que combina an\u00e1lisis est\u00e1ticos, pruebas aleatorias y grandes modelos de lenguaje. FIXCHECK emplea un proceso de dos pasos. El primero consiste en generar pruebas aleatorias, obteniendo un amplio conjunto de casos de prueba. El segundo paso se basa en el uso de grandes modelos de lenguaje, de los cuales se derivan or\u00e1culos significativos para cada caso de prueba. Sus innovaciones, plasmadas en el art\u00edculo: \u201cImproving Patch Correctness Analysis via Random Testing and Large Language Models<\/a>\u201d fueron presentadas en la Conferencia Internacional sobre Pruebas, Verificaci\u00f3n y Validaci\u00f3n de Software (ICST 2024<\/a>).<\/p>\n

Adem\u00e1s, FIXCHECK incluye un mecanismo de selecci\u00f3n y priorizaci\u00f3n que ejecuta los nuevos casos de prueba sobre el programa parcheado y a continuaci\u00f3n, descarta o clasifica estas pruebas en funci\u00f3n de su probabilidad de revelar fallos en el parche.<\/p>\n

\u201cLa eficacia de FIXCHECK para generar casos de prueba que revelan fallos en parches incorrectos se evalu\u00f3 en 160 parches, entre los que se inclu\u00edan tanto parches creados por desarrolladores como generados por herramientas de APR\u201d indica Facundo Molina<\/a>, investigador postdoctoral del Instituto IMDEA Software.<\/p>\n

Resultados<\/strong><\/p>\n

Los resultados muestran que FIXCHECK puede generar eficazmente pruebas de detecci\u00f3n de fallos para el 62% de los parches incorrectos escritos por desarrolladores, con un alto grado de confianza. Adem\u00e1s, complementa t\u00e9cnicas existentes de evaluaci\u00f3n de correcci\u00f3n de parches al proporcionar casos de prueba que revelan fallos para hasta el 50% de los parches incorrectos identificados por las t\u00e9cnicas m\u00e1s avanzadas.<\/p>\n

FIXCHECK representa un avance significativo en el campo de la reparaci\u00f3n y mantenimiento del software, ya que ofrece una soluci\u00f3n robusta para automatizar la generaci\u00f3n de pruebas y detectar fallos durante el mantenimiento del software. Este enfoque no s\u00f3lo mejora la eficacia de la validaci\u00f3n de parches, sino que tambi\u00e9n promueve una adopci\u00f3n m\u00e1s amplia de m\u00e9todos automatizados de reparaci\u00f3n de programas.<\/p>\n

**Este trabajo ha sido financiado por el programa de la Comunidad de Madrid S2018\/TCS-4339 (BLOQUES-CM) y por el Gobierno de Espa\u00f1a MCIN\/AEI\/10.13039\/501100011033\/ERDF a trav\u00e9s de las subvenciones TED2021-132464B-I00 (PRODIGY) y PID2022-142290OB-I00 (ESPADA). Estos proyectos est\u00e1n cofinanciados por los fondos de la Uni\u00f3n Europea FSE, EIE y NextGeneration.<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"

La herramienta FIXCHECK ofrece una soluci\u00f3n robusta y efectiva en el campo del mantenimiento de software, revela fallos y previene la introducci\u00f3n de correcciones inadecuadas en el software. Todos actualizamos tarde o temprano nuestras aplicaciones m\u00f3viles y programas inform\u00e1ticos, ya sea por las mejoras que ofrecen o porque deja de funcionar la versi\u00f3n anterior, entre otras cosas. Estamos habituados a las ca\u00eddas de WhatsApp o de comercios electr\u00f3nicos que por lo general tardan unas horas en volver a la normalidad. A lo que no estamos acostumbrados es a que pase algo que paralice el mundo durante d\u00edas, como ocurri\u00f3 la\u2026<\/p>\n","protected":false},"author":243,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"ngg_post_thumbnail":0},"categories":[81],"tags":[51845,51847,36010,51803,51831,51846,244],"blocksy_meta":{"styles_descriptor":{"styles":{"desktop":"","tablet":"","mobile":""},"google_fonts":[],"version":4}},"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/wp-json\/wp\/v2\/posts\/252"}],"collection":[{"href":"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/wp-json\/wp\/v2\/users\/243"}],"replies":[{"embeddable":true,"href":"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/wp-json\/wp\/v2\/comments?post=252"}],"version-history":[{"count":5,"href":"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/wp-json\/wp\/v2\/posts\/252\/revisions"}],"predecessor-version":[{"id":258,"href":"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/wp-json\/wp\/v2\/posts\/252\/revisions\/258"}],"wp:attachment":[{"href":"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/wp-json\/wp\/v2\/media?parent=252"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/wp-json\/wp\/v2\/categories?post=252"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/wp-json\/wp\/v2\/tags?post=252"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}