期刊名称：REICIS. Revista Española de Innovación, Calidad e Ingeniería del Software
电子版ISSN：1885-4486
出版年度：2011
卷号：7
期号：1
页码：23-46
语种：Spanish
出版社：Asociación de Técnicos de Informática
摘要：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.
其他摘要：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 objectoriented 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.
关键词：Prueba de software; análisis de mutaciones; servicios web; WS-BPEL.
其他关键词：Software testing; mutation analysis; web services; WS-BPEL.
