![\"\"](\"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/files\/2023\/07\/DSC_1709-2-copy-e1688632866246.jpg\")
<\/p>\n<\/p>\n
La ex estudiante de doctorado del Instituto IMDEA Software<\/a>, Isabel Garc\u00eda-Contreras<\/a>, gana uno de los dos premios a la mejor tesis de SISTEDES<\/a> (Sociedad de Ingenier\u00eda de Software y Tecnolog\u00edas de Desarrollo de Software). Se trata del segundo reconocimiento que recibe tras ser galardonada con el premio a la mejor tesis doctoral de la UPM<\/a> para el curso 2020\/2021.<\/p>\n \u201cA scalable static analysis framework for reliable program development exploiting incrementality and modularity\u201d es el t\u00edtulo de su tesis, que fue dirigida por los profesores Manuel Hermenegildo<\/a> y Jos\u00e9 Francisco Morales<\/a>, ambos investigadores de IMDEA Software<\/a> y profesores de la Escuela T\u00e9cnica Superior de Ingenier\u00eda Inform\u00e1tica<\/a> de la Universidad Polit\u00e9cnica de Madrid.<\/p>\n Su objeto de estudio viene a responder a la fuerte tendencia de que el an\u00e1lisis y la verificaci\u00f3n autom\u00e1ticos del c\u00f3digo fuente son de gran importancia tanto a nivel de desarrollo como de mantenimiento de software.<\/p>\n La creciente importancia de la fiabilidad de un software en constante evoluci\u00f3n se ha puesto de manifiesto por el n\u00famero de herramientas y plataformas disponibles on-line para la integraci\u00f3n y despliegue continuos de software. En este contexto, en el que los cambios ocurren r\u00e1pido, las herramientas de an\u00e1lisis son \u2000\u00fatiles s\u00f3lo si son precisas y lo suficientemente escalables como para proporcionar resultados m\u00e1s r\u00e1pidamente de lo que ocurren los cambios.<\/p>\n En esta tesis presenta diferentes algoritmos para reanalizar incrementalmente programas enteros, de forma sensible al contexto, reutilizando lo m\u00e1ximo posible un resultado anterior. Un aspecto novedoso y clave de su enfoque es aprovechar la estructura modular de los programas, t\u00edpicamente definida por el programador, pero manteniendo una relaci\u00f3n precisa entre el programa original y el resultado del an\u00e1lisis. Cabe destacar que todos los algoritmos han sido implementados y evaluados para diferentes dominios abstractos dentro de la herramienta CiaoPP<\/a>.<\/p>\n Adicionalmente, presenta un mecanismo para que el programador pueda ayudar al analizador en t\u00e9rminos de precisi\u00f3n y rendimiento mediante aserciones. Isabel muestra que estas aserciones, junto con un an\u00e1lisis incremental, son especialmente \u00fatiles para analizar c\u00f3digo gen\u00e9rico.<\/p>\n","protected":false},"excerpt":{"rendered":" La ex estudiante de doctorado del Instituto IMDEA Software, Isabel Garc\u00eda-Contreras, gana uno de los dos premios a la mejor tesis de SISTEDES (Sociedad de Ingenier\u00eda de Software y Tecnolog\u00edas de Desarrollo de Software). Se trata del segundo reconocimiento que recibe tras ser galardonada con el premio a la mejor tesis doctoral de la UPM para el curso 2020\/2021. \u201cA scalable static analysis framework for reliable program development exploiting incrementality and modularity\u201d es el t\u00edtulo de su tesis, que fue dirigida por los profesores Manuel Hermenegildo y Jos\u00e9 Francisco Morales, ambos investigadores de IMDEA Software y profesores de la Escuela\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":[121],"tags":[],"blocksy_meta":{"styles_descriptor":{"styles":{"desktop":"","tablet":"","mobile":""},"google_fonts":[],"version":4}},"aioseo_notices":[],"aioseo_head":"\n\t\t\n\t\n\t\n\t\n\t\n\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t\n\t\t![\"Primer](\"https:\/\/www.madrimasd.org\/blogs\/Tecnologiasdelainformacionparaelmundodelmanana\/files\/2023\/07\/DSC_1712.jpg\")