Navegación

Búsqueda

Búsqueda avanzada

El autor Francisco Palomo Lozano ha publicado 1 artículo(s):

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

La prueba de mutaciones evalúa la calidad de un conjunto de casos de prueba realizando cambios en el programa y comprobando si las pruebas los detectan. Se ha aplicado con éxito sobre programas FORTRAN, C y Java, entre otros. Dos problemas comunes son la dificultad de detectar cambios que no modifican el significado del programa, y su alto coste computacional. La mutación firme es una variante de la mutación fuerte tradicional que compara estados intermedios. En este trabajo presentamos MuBPEL, una herramienta de código abierto de mutación firme para composiciones de servicios Web escritas en WS-BPEL 2.0. Los operadores de mutación están implementados en XSLT 2.0 y su organización permite añadir nuevos operadores de forma sencilla. MuBPEL integra el motor ActiveBPEL y la biblioteca de pruebas unitarias BPELUnit de forma transparente y permite paralelizar el trabajo.

Autores: Antonio García Domínguez / Antonia Estero Botaro / Juan José Domínguez Jiménez / Inmaculada Medina Bulo / Francisco Palomo Lozano / 
Palabras Clave: composiciones de servicios - mutación firme - prueba de mutaciones - prueba del software - WS-BPEL 2.0