Equivalencias entre los operadores de mutación definidos para WS-BPEL 2.0 y los definidos para otros lenguajes

  1. Juan Boubeta Puig 1
  2. Inmaculada Medina Bulo 1
  3. Antonio García Domínguez 1
  1. 1 Dpto. de Lenguajes y Sistemas Informáticos. Escuela Superior de Ingeniería. Universidad de Cádiz. 11002 Cádiz
Actas:
Taller sobre Pruebas en Ingeniería del Software (PRIS 2010)

Editorial: SISTEDES

Año de publicación: 2010

Páginas: 1-8

Tipo: Aportación congreso

GOOGLE SCHOLAR

Resumen

La prueba de mutaciones es una técnica de prueba de software basada en fallos. Para aplicarla, es necesario disponer de un conjunto de operadores de mutación, específicos para cada lenguaje, que serán los que realicen los cambios en el programa a probar. En este artículo se realiza un estudio sobre cuáles de los operadores de mutación definidos para C, Fortran, Ada, SQL, C++, C#, ASP .NET y Java son equivalentes a los operadores definidos para el Lenguaje de Ejecución de Procesos de Negocio con Servicios Web, WS-BPEL 2.0. Esta comparativa nos permitirá identificar posibles mejoras para los operadores de mutación definidos para WS-BPEL.