Reparación de programas distribuida: Stryker distribuido
"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 v...
Guardado en:
| Autores principales: | , |
|---|---|
| Otros Autores: | |
| Formato: | Proyecto final de Grado |
| Lenguaje: | Español |
| Publicado: |
2017
|
| Materias: | |
| Acceso en línea: | http://ri.itba.edu.ar/handle/123456789/953 |
| Aporte de: |
| Sumario: | "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." |
|---|