MuBPEL: una Herramienta de Mutación Firme para WS-BPEL 2.0
1. Introducción MuBPEL
MuBPEL: una Herramienta de Mutación Firme para
WS-BPEL 2.0
A. García Domínguez, A. Estero Botaro, J. J. Domínguez
Jiménez, I. Medina Bulo y F. Palomo Lozano
Universidad de Cádiz
JISBD 2012
18 de septiembre de 2012
A. García Domínguez, A. Estero Botaro, J. J. Domínguez Jiménez et al. UCASE (Universidad de Cádiz)
MuBPEL: una Herramienta de Mutación Firme para WS-BPEL 2.0 1/6
2. Introducción MuBPEL
¿Qué es la prueba de mutaciones?
Concepto
Sirve para evaluar la calidad de las pruebas
Se cambia el programa con un operador de mutación
Si las pruebas son buenas, notarán el cambio: la salida
normalmente será distinta (el mutante “muere”)
Aplicada a C, C++, FORTRAN, Java, C#, SQL, etc.
Tipos según concepto de “salida”
Fuerte Sólo resultado visible final
Débil Estado interno justo tras mutación
Firme Estado interno en algún punto tras mutación
A. García Domínguez, A. Estero Botaro, J. J. Domínguez Jiménez et al. UCASE (Universidad de Cádiz)
MuBPEL: una Herramienta de Mutación Firme para WS-BPEL 2.0 2/6
3. Introducción MuBPEL
¿Qué es MuBPEL?
Utilidad
Implementa prueba de mutaciones para WS-BPEL 2.0
Utiliza mutación firme
Dispone de interfaz gráfica y por línea de órdenes
¿Qué es WS-BPEL 2.0?
Web Service Business Process Execution Language 2.0
Estándar de OASIS para componer Servicios Web
Lenguaje de programación XML con secuencias, flujos
concurrentes, condicionales, etc.
Reúne varios SW en un nuevo SW con más funcionalidad
A. García Domínguez, A. Estero Botaro, J. J. Domínguez Jiménez et al. UCASE (Universidad de Cádiz)
MuBPEL: una Herramienta de Mutación Firme para WS-BPEL 2.0 3/6
4. Introducción MuBPEL
¿Por qué mutación firme?
Cliente Problema con mut. fuerte
(BPELUnit)
La respuesta final (la “salida”)
puede no reflejar todos los
P R
efectos de la composición.
Composición
(ActiveBPEL) Uso de mut. firme
P P Usamos peticiones SW
R R externos y respuestas a
cliente
SW externo 1 SW externo 2
Son instantáneas bien
(BPELUnit) (BPELUnit)
definidas de estados
intermedios
A. García Domínguez, A. Estero Botaro, J. J. Domínguez Jiménez et al. UCASE (Universidad de Cádiz)
MuBPEL: una Herramienta de Mutación Firme para WS-BPEL 2.0 4/6
5. Introducción MuBPEL
¿Por qué mutación firme?
Cliente Problema con mut. fuerte
(BPELUnit)
La respuesta final (la “salida”)
puede no reflejar todos los
P R efectos de la composición.
Composición
(ActiveBPEL) Uso de mut. firme
P P Usamos peticiones SW
R R externos y respuestas a
cliente
SW externo 1 SW externo 2
Son instantáneas bien
(BPELUnit) (BPELUnit)
definidas de estados
intermedios
A. García Domínguez, A. Estero Botaro, J. J. Domínguez Jiménez et al. UCASE (Universidad de Cádiz)
MuBPEL: una Herramienta de Mutación Firme para WS-BPEL 2.0 4/6
6. Introducción MuBPEL
Uso de MuBPEL
Programa original WS-BPEL 2.0 Analizador Análisis operadores mutación
Mutantes Mutantes Mutantes Generador de mutantes
vivos muertos no válidos
Casos de Sistema de ejecución Mutante WS-BPEL 2.0
prueba
1 Analizar la composición WS-BPEL para ver qué mutar y cómo
2 Generar mutantes como ficheros .bpel sueltos
3 Ejecutarlos para clasificarlos en vivos, muertos y no válidos
A. García Domínguez, A. Estero Botaro, J. J. Domínguez Jiménez et al. UCASE (Universidad de Cádiz)
MuBPEL: una Herramienta de Mutación Firme para WS-BPEL 2.0 5/6
7. Fin de la presentación
Gracias por su atención
Código y descargas:
http://tinyurl.com/jisbd12mubpel
Correo:
antonio.garciadominguez@uca.es
Twitter:
@antoniogado
A. García Domínguez, A. Estero Botaro, J. J. Domínguez Jiménez et al. UCASE (Universidad de Cádiz)
MuBPEL: una Herramienta de Mutación Firme para WS-BPEL 2.0 6/6