Más noticias en nuestro canal de "X"

PRIME_$type=blogging$author=hide$comment=hide$rm=hide$title=out-of-thumbnail$count=1

TECNOLOGÍA. IMDEA Software desarrolla una nueva aplicación que mejora la reparación automática de software

IMDEA Software lanza un nuevo enfoque que mejora la reparación automática de software

 

Instituto IMDEA Software de la Comunidad de Madrid

·  El enfoque de los investigadores de IMDEA Software revela fallos y previene la introducción de correcciones inadecuadas en el software

·  La herramienta FIXCHECK ofrece una solución robusta y efectiva en el campo del mantenimiento de software

23 julio 2024.- Los investigadores de IMDEA Software Facundo Molina, Juan Manuel Copia y Alessandra Gorla presentan FIXCHECK, un enfoque novedoso para mejorar los análisis de corrección de parches que combina análisis estáticos, pruebas aleatorias y grandes modelos de lenguaje. Sus innovaciones, plasmadas en el artículo: “Improving Patch Correctness Analysis via Random Testing and Large Language Models” fueron presentadas en la Conferencia Internacional sobre Pruebas, Verificación y Validación de Software (ICST 2024).

Contexto

Generar parches que resuelvan los defectos en el software es una tarea crucial en el mantenimiento de los sistemas informáticos. Por lo general, los defectos de software se reportan a través 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ón antes de ser enviados a la base de código, garantizando que la prueba proporcionada ya no expone el defecto. Sin embargo, es posible que los parches no solucionen debidamente el fallo subyacente o introduzcan nuevos fallos, lo que da lugar a parches incorrectos. 

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

El estudio

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. Sin embargo, su uso ha destapado numerosos errores en estos parches que no solventan los fallos de manera adecuada.

Para abordar este problema, los investigadores de IMDEA Software han creado FIXCHECK, un método innovador que combina pruebas aleatorias y grandes modelos lingüísticos para generar automáticamente nuevos casos con el objetivo de detectar fallos en parches potencialmente incorrectos. 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áculos significativos para cada caso de prueba.

Además, FIXCHECK incluye un mecanismo de selección y priorización que ejecuta los nuevos casos de prueba sobre el programa parcheado y a continuación, descarta o clasifica estas pruebas en función de su probabilidad de revelar fallos en el parche.

“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 Facundo Molina, investigador postdoctoral del Instituto IMDEA Software. 

Los resultados muestran que 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 del software. Este enfoque no sólo mejora la eficacia de la validación de parches, sino que también promueve una adopción más amplia de métodos automatizados de reparación de programas.

**Este trabajo ha sido financiado por el programa de la Comunidad de Madrid S2018/TCS-4339 (BLOQUES-CM) y por el Gobierno de España MCIN/AEI/10.13039/501100011033/ERDF a través de las subvenciones TED2021-132464B-I00 (PRODIGY) y PID2022-142290OB-I00 (ESPADA). Estos proyectos están cofinanciados por los fondos de la Unión Europea FSE, EIE y NextGeneration.

Referencia bibliográfica: 

Molina, F., Copia, J. M., & Gorla, A. (2024). Improving Patch Correctness Analysis via Random Testing and Large Language Models (Replication Package). Zenodo. https://doi.org/10.5281/zenodo.10498174

Sobre el Instituto IMDEA Software

IMDEA Software forma parte de una red de siete centros internacionales de investigación promovida por la Comunidad de Madrid. El Instituto asume el reto de mejorar las técnicas actuales de desarrollo de software con el fin de alcanzar el nivel adecuado de fiabilidad, seguridad y rendimiento, de una manera rentable. Para más información, visite: https://software.imdea.org.

COMENTARIOS

Nombre

actualidad,1164,ADN,3,agenda,7,agricultura,129,agujeros negros,5,ALCINE,2,alergia,5,alimentación,2,alzheimer,68,anemia,1,animales,130,antibióticos,2,apnea,1,arañas,1,ARNm,2,arqueologia,100,arte,2,artrosis,1,aspirina,1,astronomia,159,atrofia muscular espinal,1,audiovisual,252,autismo,17,ávaros,1,aviso,4,avuelapluma,14,BIC,4,biocombustibles,7,biodiversidad,39,biotecnología,18,BIP,1,botox,1,calefacción,1,calentamiento global,19,calor,5,cambio climático,85,cancer,201,cannabidiol,1,cannabis,4,CAR-T,8,carnavales_2024,15,CBD,1,cemento,1,cerebro,1,ciberseguridad,2,ciencia,449,cine,119,clima,1,CO2,9,colesterol,3,compromiso179,8,computación cuántica,3,contaminación,24,convocatoria,50,COP28,5,COP29,1,covid-19,120,CRISPR,3,Crohn,1,cultura,235,cultura_alcala,7,cultura_guadalajara,1,cultura_torrejon,1,danza,6,deal,62,demencia,5,dengue,2,deportes,330,depresión,10,diabetes,63,dieta,1,economia,428,economia_empleo,135,economia_negocios,379,economia_sociales,74,economia_vivienda,82,edición genética,8,EII,1,El Niño,1,ELA,2,elecciones,26,elecciones_partidos,8,elecciones_UE2024,26,elecciones2023,78,elecciones2023_alcala,6,elecciones2023_coslada,1,elecciones2023_guadalajara,31,elecciones2023_madrid,7,elecciones2023_torrejon,24,elecciones2023_villalbilla,3,empleo,21,energia,936,energía nuclear,7,energía solar,67,energia_almacenamiento,8,energia_eolica,19,energías renovables,113,enfermedades infecciosas,18,enigmas,158,ensayos,3,enseñanza,1,envejecimiento,7,epigenética,2,epilepsia,2,esclerosis,22,esnoticia,4130,esnoticia_alcala,1013,esnoticia_anchuelo,1,esnoticia_azuqueca,104,esnoticia_breves,20,esnoticia_coslada,404,esnoticia_guadalajara,444,esnoticia_madrid,1635,esnoticia_sanfernando,201,esnoticia_torrejon,468,esnoticia_velilla,2,esnoticia_villalbilla,93,espacio,6,esquizofrenia,1,estrés,1,europa,47,eventos,32,exposiciones,36,fagos,1,FESCIGU,3,Fiestas_Alcala,9,fiestas_azuqueca,9,financiación_autonómica,1,FITUR_2023,18,FITUR_2024,16,FIVE,1,formacion,39,foros y debates,57,gastronomia,48,gemelo digital,1,geoingeniería,1,geología,1,glioblastoma,1,gripe aviar,4,halloween,6,hidrógeno verde,34,hispanidad,2,Hispanidad_2024,4,historia,186,historias,446,horteralia,1,huracanes,1,ictus,1,IMDEA,1,imserso,1,inca,1,incendios,2,influenza,1,inmigración,4,inmunoterapia,45,inteligencia artificial,105,investigación,1,ITS,1,James Webb,8,ketamina,1,laboral,34,LGBT,1,libros,173,lídar,1,litio,3,malaria,2,manos unidas,1,marburgo,2,mayas,3,MDMA,1,medicamentos,33,medioambiente,361,melanoma,2,micenas,1,microplásticos,6,migrañas,1,miocarditis,1,mitosyleyendas,61,motor,579,motor_electricos,137,motor_hibridos,82,motor_innovacion,65,motor_mercado,154,motor_noticias,153,movilidad,17,mpox,7,mujer,1,mundo antiguo,1,museos,2,musica,20,naturaleza,137,Navidad2023,52,neardental,2,neurociencia,35,Nobel2024,4,nocturia,1,nutricion,149,nutrición,5,obesidad,11,opinión,216,osteoartritis,1,paleontología,1,parkinson,24,peliculas,37,pensiones,1,permanente,1,personajes,100,pesca,1,plantas,38,plásticos,2,poesia,46,polen,2,presupuestos2024,1,prime,75,psicologia,1,psilocibina,1,relatos,2,renfe,2,robótica,28,sal,1,salud,726,salud dental,14,salud mental,14,semana_santa,15,servicios_profesionales,1,SIDA,1,sueño,3,teatro,22,tecnologia,251,telemedicina,1,terremotos,1,THC,1,tradiciones,67,transmisión_sexual,1,transporte,2,TRIAPOL,1,turismo,270,universo,14,vacunas,5,vacunas ARN,7,vidasaludable,158,video,41,VIH,4,violenciadegenero,1,viruela,2,virus,4,virus del nilo,2,yuca,1,
ltr
item
La Crónica del Henares: TECNOLOGÍA. IMDEA Software desarrolla una nueva aplicación que mejora la reparación automática de software
TECNOLOGÍA. IMDEA Software desarrolla una nueva aplicación que mejora la reparación automática de software
IMDEA Software lanza un nuevo enfoque que mejora la reparación automática de software
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiCCYgAH1a_OsPqlV3ygHr8rwwJNA-JOntqrYABOx-hN783hU_qF4TU__TXHc1fHeToWTkuhEweSCOhFZpp94y3DUlEcvTI9SzWBzTsm8ssx49x6EpOf46BUaGpdPiBTIGnMubnliLtfoU870FKejhdEMkbrLjp-CLc3GzTtjIQjShwCfhIDf5-C3lJjpPf/s320/slider-programming.jpg
https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiCCYgAH1a_OsPqlV3ygHr8rwwJNA-JOntqrYABOx-hN783hU_qF4TU__TXHc1fHeToWTkuhEweSCOhFZpp94y3DUlEcvTI9SzWBzTsm8ssx49x6EpOf46BUaGpdPiBTIGnMubnliLtfoU870FKejhdEMkbrLjp-CLc3GzTtjIQjShwCfhIDf5-C3lJjpPf/s72-c/slider-programming.jpg
La Crónica del Henares
https://www.cronicadelhenares.com/2024/07/tecnologia-imdea-software-desarrolla.html
https://www.cronicadelhenares.com/
https://www.cronicadelhenares.com/
https://www.cronicadelhenares.com/2024/07/tecnologia-imdea-software-desarrolla.html
true
5995595061750506997
UTF-8
Cargar todos los posts No se encuentra Ver todo Leer más Responder Cancelar respuesta Borrar Por Inicio Páginas Posts Ver todo Relacionados Etiqueta ARCHIVO BUSCAR Todos los posts No se encuentra INICIO Domingo Lunes Martes Miércoles Jueves Viernes Sábado Dom Lun Mar Mie Jue Vie Sab Enero Febrero Marzo Abril Mayo Junio Julio Agosto Septiembre Octubre Noviembre Diciembre Ene Feb Mar Abr Mayo Jun Jul Ago Sep Oct Nov Dic justo ahora hace 1 minuto hace $$1$$ minutos hace 1 hora hace $$1$$ horas Ayer hace $$1$$ días hace $$1$$ semanas hace más de 5 semanas Seguidores Siguen THIS PREMIUM CONTENT IS LOCKED STEP 1: Share to a social network STEP 2: Click the link on your social network Copy All Code Select All Code All codes were copied to your clipboard Can not copy the codes / texts, please press [CTRL]+[C] (or CMD+C with Mac) to copy Tabla de contenidos