Operadores de mutación de cobertura para WS-BPEL 2.0

  1. Antonia Estero Botaro
  2. Juan Boubeta Puig
  3. Valentín Liñeiro Barea
  4. Inmaculada Medina Bulo
Actas:
XVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2012)

Editorial: SISTEDES

ISBN: 978-84-15487-28-9

Año de publicación: 2012

Páginas: 355-368

Tipo: Aportación congreso

GOOGLE SCHOLAR

Resumen

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 definición de un conjunto de operadores de mutación 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 mutación 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 aportación de estos en el proceso de prueba.