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

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.