Equivalencias entre los operadores de mutación definidos para WS-BPEL 2.0 y los definidos para otros lenguajes (Equivalences between mutation operators defined for WS-BPEL 2.0 and other languages)

Resumen
Para aplicar prueba de mutaciones a un programa escrito en un lenguaje concreto se requiere un conjunto de operadores de mutación definido para el mismo. Además, es necesario que dichos operadores cubran adecuadamente todas las características del lenguaje para que sean efectivos. En este artículo, se evalúan cualitativamente los operadores de mutación definidos para el lenguaje de ejecución de procesos de negocio WS-BPEL 2.0 y se estudian las analogías y diferencias entre éste y otros lenguajes. Se revisan los operadores existentes para varios lenguajes de propósito general así como para otros específicos del dominio. Los resultados confirman que WS-BPEL es muy diferente a otros lenguajes, ya que aproximadamente sólo la mitad de sus operadores es equivalente a los de otros. Por tanto, es posible mejorar su conjunto de operadores de mutación.
Abstract
Applying mutation testing to a program written in a certain language requires that a set of mutation operators is defined for that language. The mutation operators need to adequately cover the features of that language in order to be effective. In this work, we evaluate qualitatively the operators defined for the Web Services Business Process Execution Language 2.0 (WS-BPEL) and study the differences and similarities between WS-BPEL and other languages. We review the existing operators for several structured and object-oriented general-purpose programming languages, and for several domain-specific languages. Results confirm that WS-BPEL is very different from other languages, as near half of the mutation operators for this language are equivalent to those of other languages. Our study concludes that the set of WS-BPEL mutation operators can be improved.