Resumen de Síntesis de especificaciones de programas XML para la construcción de oráculos de prueba
Dae S. Kim-Park, Claudio de la Riva Álvarez 
, Pablo Javier Tuya González
La automatización de pruebas de software está limitada por el pro- blema del oráculo, el cual establece que bajo ciertas circunstancias, es difícil o imposible obtener un mecanismo denominado oráculo de prueba, capaz de comprobar la corrección de las salidas de prueba sin intervención humana. Se aborda este problema en el contexto de prueba de programas destinados al pro- cesamiento de datos XML, presentando una técnica para dar soporte automático a la obtención de oráculos de prueba. Dado un programa XML, la técnica sinte- tiza una especificación ejecutable del programa mediante análisis dinámico, ejercitando el programa sobre múltiples entradas generadas mediante perturba- ción de datos. La especificación ejecutable obtenida permite identificar defectos en el programa, y puede ser utilizada como elemento constituyente de un orácu- lo de prueba. Se incluye un caso de estudio para ilustrar la aplicación de la técnica.
