Resumen de Propuesta de una arquitectura para la generación de mutantes de orden superior en WS-BPEL
Emma Blanco Muños, Antonio García Domínguez 
, Juan José Domínguez Jiménez , Inmaculada Medina Bulo
La prueba de mutaciones es una técnica que ha sido amplia- mente utilizada en diferentes lenguajes de programación, para lo cuál es necesario disponer de un sistema generador de mutantes. Este trabajo presenta una arquitectura para la generación automática de mutantes de orden superior para composiciones WS-BPEL. Los mutantes de orden superior son creados por la aplicación de una secuencia de operadores de mutación de primer orden al programa original. La arquitectura que se presenta está basada en GAmera, un generador de mutantes de primer orden basado en algoritmos genéticos para composiciones WS-BPEL. El trabajo introduce los cambios a realizar en GAmera para transformarlo en un generador de mutantes de orden superior. Además de detallar las modificaciones que deben realizarse, se describen los nuevos operadores genéticos de cruce y mutación que deben incorporarse para tratar con la nueva estructura de los mutantes.
