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...
Guardado en:
Autores principales: | , |
---|---|
Formato: | Objeto de conferencia |
Lenguaje: | Español |
Publicado: |
2012
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/23731 |
Aporte de: |
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 |