Generación Genética de Casos de Prueba para Composiciones WS-BPEL

  1. Antonia Estero-Botaro 1
  2. Antonio García-Domínguez 1
  3. Juan José Domínguez-Jiménez 1
  4. Francisco Palomo-Lozano 1
  5. Inmaculada Medina-Bulo 1
  1. 1 Departamento de Ingeniería Informática, Universidad de Cádiz, C/Chile 1, 11002, Cádiz, España
Aktak:
JISBD 2013: XVIII Jornadas de Ingeniería del Software y Bases de Datos

Argitaletxea: SISTEDES

ISBN: 978-84-695-8310-4

Argitalpen urtea: 2013

Orrialdeak: 220-233

Mota: Biltzar ekarpena

Laburpena

La generación automática de casos de prueba juega un papel de gran importancia dentro de la prueba de software. En concreto, la prueba basada en búsqueda genera casos de prueba codificando un criterio de cobertura como una función de aptitud que guía la búsqueda. De hecho, los algoritmos genéticos han sido aplicados con éxito a la prueba basada en búsqueda utilizando principalmente criterios de cobertura estructural. Este trabajo presenta un generador de casos de prueba para composiciones WS-BPEL denominado Rodan que está basado en un algoritmo genético. Su objetivo es generar casos de prueba que maten a los mutantes producidos a partir de la composición a probar. El algoritmo genético diseñado adopta algunas de las características de los algoritmos bacteriológicos, también propuestos para la generación de casos de prueba. Hemos aplicado Rodan a una composición WS-BPEL, comparandonuestra técnica con la generación aleatoria de casos de prueba y concluyéndose que con nuestra técnica se obtienen resultados prometedores.