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

Publisher: SISTEDES

Year of publication: 2010

Pages: 1-8

Type: Conference paper

GOOGLE SCHOLAR

Abstract

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.