Proyecto final de Grado: Reparación de programas distribuida: Stryker distribuido
Fecha
2017
Título de la revista
ISSN de la revista
Título del volumen
Editor
Resumen
"La herramienta "Stryker" implementa una técnica para reparar programas equipados con contratos. Esta técnica combina análisis dinámico (en tiempo de ejecución) con análisis estático para verificar las reparaciones candidatas y emplea un mecanismo para detectar y podar candidatos no viables aprovechando las especificaciones del programa. En este artículo se presenta "Stryker distribuido", una herramienta prototipo que implementa una mejora a la técnica de Stryker para permitir su escalamiento a múltiples computadoras. En esta nueva técnica se desarrolló un mecanismo de poda distribuida. La técnica fue evaluada para comparar su funcionamiento en múltiples computadoras utilizando un benchmark que pertenece a Stryker y que consiste en un conjunto de clases de Java con fallas. Los experimentos muestran que en general el tiempo de ejecución disminuye a medida que se aumenta la cantidad de computadoras que se utilizan. También se demostró que a mayores cantidades de fallas en el programa, se obtienen mayores reducciones en cuanto al tiempo."
Descripción
Palabras clave
ANALISIS DE FALLAS, ALGORITMOS, INGENIERIA DE SOFTWARE