Introducción MuBPEL

MuBPEL: una Herramienta de Mutación Firme paraWS-BPEL 2.0

A. García Domínguez, A. Estero Botaro, J. J. DomínguezJiménez, I. Medina Bulo y F. Palomo Lozano

Universidad de Cádiz

JISBD 201218 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

Introducción MuBPEL

¿Qué es la prueba de mutaciones?

ConceptoSirve para evaluar la calidad de las pruebasSe cambia el programa con un operador de mutaciónSi las pruebas son buenas, notarán el cambio: la salidanormalmente 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 finalDébil Estado interno justo tras mutaciónFirme 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

Introducción MuBPEL

¿Qué es MuBPEL?

UtilidadImplementa prueba de mutaciones para WS-BPEL 2.0Utiliza mutación firmeDispone de interfaz gráfica y por línea de órdenes

¿Qué es WS-BPEL 2.0?Web Service Business Process Execution Language 2.0Estándar de OASIS para componer Servicios WebLenguaje de programación XML con secuencias, flujosconcurrentes, 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

Introducción MuBPEL

¿Por qué mutación firme?

Cliente(BPELUnit)

Composición(ActiveBPEL)

SW externo 1(BPELUnit)

SW externo 2(BPELUnit)

P R

PR

PR

Problema con mut. fuerteLa respuesta final (la “salida”)puede no reflejar todos losefectos de la composición.

Uso de mut. firmeUsamos peticiones SWexternos y respuestas aclienteSon instantáneas biendefinidas de estadosintermedios

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

Introducción MuBPEL

¿Por qué mutación firme?

Cliente(BPELUnit)

Composición(ActiveBPEL)

SW externo 1(BPELUnit)

SW externo 2(BPELUnit)

P R

PR

PR

Problema con mut. fuerteLa respuesta final (la “salida”)puede no reflejar todos losefectos de la composición.

Uso de mut. firmeUsamos peticiones SWexternos y respuestas aclienteSon instantáneas biendefinidas de estadosintermedios

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

Introducción MuBPEL

Uso de MuBPEL

Mutante WS-BPEL 2.0 Sistema de ejecución

Generador de mutantes

pruebaCasos de

Programa original WS-BPEL 2.0 Análisis operadores mutaciónAnalizador

Mutantes MutantesMutantesno válidosvivos muertos

1 Analizar la composición WS-BPEL para ver qué mutar y cómo2 Generar mutantes como ficheros .bpel sueltos3 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

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