期刊名称：REICIS. Revista Española de Innovación, Calidad e Ingeniería del Software
电子版ISSN：1885-4486
出版年度：2011
卷号：7
期号：1
页码：6-22
语种：Spanish
出版社：Asociación de Técnicos de Informática
摘要：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.
其他摘要：Testing of XML processing programs poses diverse challenges: obtaining a test oracle to assist the evaluation of the test executions is one of the most difficult. This work presents an automated test oracle for testing XML processing programs in order to address this problem. The proposed oracle operates with a specification of the program under test combining two specification levels: (1) one for the behavioural requirements of the program provided by the test engineer, and (2) an invariant specification of the evaluation mechanism of the oracle, intended to determine whether the program satisfies the given behavioural requirements. The oracle automation is determined by the use of an executable specification language which represents specification levels as executable code. The applicability of the oracle is illustrated through a case study that shows successful results.
关键词：Prueba de software; automatización de pruebas; oráculos de prueba; programas de procesamiento XML.
其他关键词：Software testing; test automation; test oracles; XML processing programs.
