Proyectos finales (grado)

Permanent URI for this collection

Now showing 1 - 1 of 1

Reparación de programas distribuida: Stryker distribuido
(2017) Gilly, Francis Iván; Bejarano González, Fernando; Frías, Marcelo; Zemin, Luciano
"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."