%0 Journal Article
%T Aplicaci車n de un or芍culo de prueba automatizado a la evaluaci車n de salidas de programas basados en XML
%A Dae S. Kim-Park
%A Claudio de la Riva
%A Javier Tuya
%J Revista Espaˋola de Innovaci車n, Calidad e Ingenier赤a del Software
%D 2011
%I Asociaci車n de T谷cnicos de Inform芍tica
%X La prueba de programas que procesan datos XML plantea diversos retos, entre los cuales destaca la obtenci車n de un or芍culo de prueba para dar soporte a la evaluaci車n de las ejecuciones de pruebas. Para abordar este problema, en este trabajo se propone un or芍culo de prueba automatizado dirigido a la prueba de programas de procesamiento de XML. El or芍culo propuesto opera con una especificaci車n del programa bajo prueba combinando dos niveles de especificaci車n: (1) una de los requisitos de comportamiento particulares del programa bajo prueba, proporcionada por el ingeniero de pruebas, y (2) una especificaci車n invariante del mecanismo de evaluaci車n del or芍culo, que determina si el programa cumple los requisitos de comportamiento suministrados. La automatizaci車n del or芍culo est芍 determinada por el uso de un lenguaje de especificaci車n ejecutable, con el que se representan ambos niveles de especificaci車n como c車digo ejecutable. Se ilustra la aplicabilidad de or芍culo mediante un caso de estudio que muestra resultados satisfactorios.
%U http://www.redalyc.org/articulo.oa?id=92218763003