Your SlideShare is downloading. ×
  • Like
MuBPEL: una Herramienta de Mutación Firme para WS-BPEL 2.0
Upcoming SlideShare
Loading in...5
×

Thanks for flagging this SlideShare!

Oops! An error has occurred.

×

Now you can save presentations on your phone or tablet

Available for both IPhone and Android

Text the download link to your phone

Standard text messaging rates apply

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

  • 323 views
Published

MuBPEL: una Herramienta de Mutación Firme para …

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

Published in Education
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Be the first to comment
    Be the first to like this
No Downloads

Views

Total Views
323
On SlideShare
0
From Embeds
0
Number of Embeds
0

Actions

Shares
Downloads
0
Comments
0
Likes
0

Embeds 0

No embeds

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
    No notes for slide

Transcript

  • 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. 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. 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. 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. 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. 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. 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