Hacia la construcción automática de workarounds para reparar programas

En este trabajo se propone una t écnica de reparaci ón automáatica de programas basada en el concepto de workaround. Esta t écnica aprovecha la redundancia que usualmente se encuentra en sistemas basados en componentes, para intentar construir autom áticamente una implementaci ón alternativa a una r...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Uva, Marcelo, Aguirre, Nazareno Matías
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2012
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
Construcción automática
Workarounds
Reparar programas
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23731
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-23731
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
SOFTWARE ENGINEERING
Construcción automática
Workarounds
Reparar programas
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
Construcción automática
Workarounds
Reparar programas
Uva, Marcelo
Aguirre, Nazareno Matías
Hacia la construcción automática de workarounds para reparar programas
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
Construcción automática
Workarounds
Reparar programas
description En este trabajo se propone una t écnica de reparaci ón automáatica de programas basada en el concepto de workaround. Esta t écnica aprovecha la redundancia que usualmente se encuentra en sistemas basados en componentes, para intentar construir autom áticamente una implementaci ón alternativa a una rutina con fallas, que aproveche la interfaz de la componente en la cual esta se encuentra. La t écnica requiere que la componente est e especi cada formalmente con contratos (pre y post condiciones, invariantes de clase), y garantiza la correcci on de la soluci on construida en ambitos acotados, dado que se basa en el uso de mecanismos de veri caci on acotada. A diferencia de otros enfoques basados en workarounds, la t ecnica aquí presentada se aplica directamente a c ódigo, y construye workarounds permanentes, en el sentido de que los mismos reparan las rutinas a las cuales se aplican para todos los estados (acotados) de ejecuci ón de la misma, y no para entradas o estados particulares. Adem ás de presentar la t écnica, se mostrar a un caso de estudio simple, en el cual se eval ua de manera preliminar las capacidades de la misma.
format Objeto de conferencia
Objeto de conferencia
author Uva, Marcelo
Aguirre, Nazareno Matías
author_facet Uva, Marcelo
Aguirre, Nazareno Matías
author_sort Uva, Marcelo
title Hacia la construcción automática de workarounds para reparar programas
title_short Hacia la construcción automática de workarounds para reparar programas
title_full Hacia la construcción automática de workarounds para reparar programas
title_fullStr Hacia la construcción automática de workarounds para reparar programas
title_full_unstemmed Hacia la construcción automática de workarounds para reparar programas
title_sort hacia la construcción automática de workarounds para reparar programas
publishDate 2012
url http://sedici.unlp.edu.ar/handle/10915/23731
work_keys_str_mv AT uvamarcelo hacialaconstruccionautomaticadeworkaroundspararepararprogramas
AT aguirrenazarenomatias hacialaconstruccionautomaticadeworkaroundspararepararprogramas
bdutipo_str Repositorios
_version_ 1764820466137038848

Ejemplares similares