testingar meetup 4to encuentro - automatic software repair - rodrigo martin

Pregunta para la audiencia…

1 TestingAR Meetup – 4ta edición – 5 de Julio de 2016

Takeaways


•  Conceptos Clave

•  Reparación en tiempo real

•  Generación automática de parches

•  Aplicación en mantenimiento de tests de UI

Qué es Automatic Software Repair?

TestingAR Meetup – 4ta edición – 5 de Julio de 2016 3

Definición de Bug


“Un bug es la desviación entre el comportamiento esperado de un programa en ejecución, y lo que realmente ocurrió”

Especificación


Oráculos


Tipos de Oráculos


•  Oráculo de Bugs

•  Oráculo de Regresión

Clases de Bugs

•  Buffer Overflow

•  Memory Leaks

•  Infinite Loops

•  Etc.


Método de reparación automática


Algoritmo principal de reparación


Mientras HAYA un bug {

Probar otra reparación

}

Operadores de reparación


Takeaways






Reparación en tiempo real


Oráculo de Bug


•  Un crash (En el 95% de los casos)

Mario, bajá!


Operadores de reparación de estado


•  Alternativas

•  Reconfiguración

•  Cambiar el input

•  Forward Recovery

•  Etc.

Rejuvenation


Takeaways






Generación automática de Parches


•  Oráculo de Bug: Test Case (95% de los casos)

•  Oráculo de Regresión: Test Suite (95% de los casos)

Operadores de reparación “Behavioral”


•  Añadir / quitar / reemplazar código

•  Añadir una precondición

•  Reemplazar una condición

•  Añadir un chequeo

Takeaways






Aplicación ejemplo


Reparación automática de tests de UI


Método para reparación automática


•  Elegir una clase de Bug

•  Encontrar un oráculo de Bug

•  Configurar acciones de reparación

•  Correr el algoritmo

Clase de bug a reparar

25 Copyright Protected · Marketing Material · www.avature.net

Snapshot inicial


Buscando candidatos


Algoritmo de reparación


Commit resultado


Takeaways






Conclusión


Preguntas


Thank You!


testingar meetup 4to encuentro - automatic software repair - rodrigo martin

Technology