Navegación

Búsqueda

Búsqueda avanzada

El autor Antonia Estero Botaro ha publicado 4 artículo(s):

1 - Generación automática de casos de prueba mediante siembra automática para WS-BPEL 2.0

Dada la importancia que en los últimos años están cobrando los servicios web en el ámbito de los procesos de negocio, es imprescindible contar con un soporte de casos de prueba lo suficientemente amplio como para detectar fallos en estos servicios. La automatizacíon de la generación de casos de prueba es importante en este contexto, ya que va a permitir reducir el coste asociado a las tareas de prueba. En este trabajo se aplica por primera vez a composiciones WS-BPEL 2.0 la siembra automática, que combina la generación aleatoria de casos de prueba con información adicional de las constantes del programa. Además, se define una optimizacíon de esta técnica para evitar la generación de conjuntos grandes de casos de prueba.

Autores: Valentín Liñeiro Barea / Antonia Estero Botaro / Antonio García Domínguez / Inmaculada Medina Bulo / 
Palabras Clave: generación automática de casos de prueba - servicios web - siembra automática - WS-BPEL

3 - Operadores de Mutacíon de Cobertura para WS-BPEL 2.0

Dada la importancia que en los últimos años están cobrando los servicios web en el ámbito de los procesos de negocio, es imprescindible contar con un soporte de casos de prueba lo suficientemente amplio como para detectar fallos y hacer que se apliquen criterios de cobertura sobre estos servicios. En este contexto está enmarcada la prueba de mutaciones, una técnica de prueba basada en fallos que requiere la definicíon de un conjunto de operadores de mutacíon para realizar cambios sintácticos en el programa que se desea probar. En este trabajo se define e implementa, por primera vez, un conjunto de operadores de mutacíon de cobertura para WS-BPEL 2.0, que aplican los criterios de cobertura definidos dentro del contexto de las pruebas de caja blanca. Además se muestran los resultados experimentales obtenidos al aplicar dichos operadores a varias composiciones WS-BPEL, viendo la aportacíon de éstos en el proceso de prueba.

Autores: Antonia Estero Botaro / Juan Boubeta Puig / Valentín Liñeiro Barea / Inmaculada Medina Bulo / 
Palabras Clave: criterios de cobertura - operadores de mutación - prueba de mutaciones - servicios web - WS-BPEL

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