Introducción                                                                               MuBPEL       MuBPEL: una Herram...
Introducción                                                                               MuBPEL¿Qué es la prueba de muta...
Introducción                                                                               MuBPEL¿Qué es MuBPEL?      Util...
Introducción                                                                                    MuBPEL¿Por qué mutación fir...
Introducción                                                                                    MuBPEL¿Por qué mutación fir...
Introducción                                                                                                         MuBPE...
Fin de la presentación                    Gracias por su atención                                  Código y descargas:    ...
Upcoming SlideShare
Loading in …5
×

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

580 views
457 views

Published on

MuBPEL: una Herramienta de Mutación Firme para
WS-BPEL 2.0
Jornadas SISTEDES 2012
Universidad de Almería

Published in: Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
580
On SlideShare
0
From Embeds
0
Number of Embeds
3
Actions
Shares
0
Downloads
1
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

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

  1. 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 2012A. 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. 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ónA. 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. 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 funcionalidadA. 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. 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 intermediosA. 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. 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 intermediosA. 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. 6. Introducción MuBPELUso 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álidosA. 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. 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: @antoniogadoA. 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

×