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
Aktak:
Taller sobre Pruebas en Ingeniería del Software (PRIS 2010)

Argitaletxea: SISTEDES

Argitalpen urtea: 2010

Orrialdeak: 1-8

Mota: Biltzar ekarpena

Laburpena

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.