Navegación

Búsqueda

Búsqueda avanzada

El autor Juan José Domínguez Jiménez ha publicado 4 artículo(s):

2 - Prueba de mutaciones sobre consultas de procesamiento de eventos en aplicaciones en tiempo real

La prueba de mutaciones es una técnica de prueba de software que ha sido usada con éxito en la prueba de lenguajes de programación clásicos. Sin embargo, no se ha empleado en la prueba de aplicaciones en tiempo real que procesen un gran número de flujos de eventos y en las que se realicen consultas de procesos de eventos. Un error mientras se está diseñando la consulta para procesar un flujo de eventos, puede ocasionar un comportamiento anómalo del sistema. En este trabajo, proponemos la prueba de mutaciones para controlar las consultas en aplicaciones en tiempo real realizadas en el lenguaje EPL de procesamiento de eventos. Se presentan y definen los operadores de mutación para EPL, comparándolos con los operadores de mutación del lenguaje SQL. Definimos los criterios necesarios para matar mutantes en EPL. Finalmente, se presenta una arquitectura para la generación automática de dichos mutantes.

Autores: Lorena Gutiérrez Madroña / Juan José Domínguez Jiménez / Inmaculada Medina Bulo / 
Palabras Clave: Aplicaciones en tiempo real - Casos de prueba adecuados - Lenguaje para el Procesamiento de Eventos - Operadores de mutación para EPL

3 - GAmeraHOM: una herramienta de generación de mutantes de orden superior para WS-BPEL

El desarrollo de técnicas para que la prueba de mutaciones disminuya el tiempo de cómputo y reduzca los mutantes producidos no han ido en paralelo al desarrollo de herramientas generadoras de mutantes que las implementen. Una de las técnicas de optimización propuestas sugiere utilizar mutantes de orden superior, sin embargo apenas existen herramientas que la implementen. En este trabajo se presenta GAmeraHOM, el primer generador de mutantes de orden superior para WS-BPEL, basado en la mutación evolutiva mediante el empleo de un algoritmo genético. Esto conlleva una reducción del número de mutantes generados y ejecutados, seleccionando principalmente los mutantes difíciles de matar y los potencialmente equivalentes. Este conjunto reducido permitirá mejorar la calidad del conjunto de casos de prueba. La herramienta GAmeraHOM provee una configuración fácilmente parametrizable y además permite adaptar el código del generador a otros lenguajes de forma independiente.

Autores: Emma Blanco Muñoz / Antonio García Domínguez / Juan José Domínguez Jiménez / Inmaculada Medina Bulo / 
Palabras Clave: algoritmo genético - composiciones de servicios - generador de mutantes - mutantes de orden superior - prueba de mutaciones - prueba del software - WS-BPEL 2.0

4 - 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