|
BACTERIO Mutation Test System es una herramienta para probar aplicaciones Java completas. Genera copias de la aplicación e introduce en cada una, a criterio del usuario, uno o más fallos. A partir de este momento, permite ejecutar un test suite compuesto de casos JUnit o UISPec contra la versión original y contra los mutantes: cuando un test suite no encuentra fallos en la aplicación original y, sin embargo, sí que encuentra los que se han sembrado en los mutantes, puede decirse que la prueba de la aplicación ha sido satisfactoria, ya que se dispone de un test suite muy completo que no encuentra fallos en la versión original y elimina un alto porcentaje de mutantes.
El proceso de testing basado en mutación con la herramienta BACTERIO Mutation Test System queda resumido en la siguiente figura:

El proceso de pruebas con BACTERIO Mutation Test System se puede resumir en los siguientes pasos:
1. Generación de mutantes
En este primer paso, BACTERIO Mutation Test System genera versiones defectuosas (mutantes) de las clases que componen la aplicación que se va a probar. Para ello, proporciona varios operadores de mutación: reemplazo de operadores aritméticos, intercambio de parámetros, incrementador y decrementador de operandos, etc.

2. Combinación de mutantes
En el segundo paso, BACTERIO Mutation Test System proporciona tres algoritmos (un mutante por versión, usar cada mutante al menos una vez, y usar todos los pares de mutantes) para combinar los mutantes y producir versiones defectuosas.

3. Ejecución de los casos de prueba
En este último paso, BACTERIO Mutation Test System permite ejecutar los casos de prueba sobre las distintas versiones defectuosas generadas, obteniendo el porcentaje de mutantes eliminados, y por tanto la cobertura alcanzada con el test suite diseñado.

|