Aplicación de un oráculo de prueba automatizado a la evaluación de salidas de programas basados en XML
Fuente:
Redalyc
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Artículo científico |
| Lingua: | es |
| Pubblicazione: |
Asociación de Técnicos de Informática
2011
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1876460807606239232 |
|---|---|
| author | Dae S. Kim-Park |
| author_facet | Dae S. Kim-Park |
| contents | Aplicación de un oráculo de prueba automatizado a la evaluación de salidas de programas basados en XML Dae S. Kim-Park Claudio de la Riva Javier Tuya Computación Prueba de software oráculos de prueba automatización de pruebas programas de procesamiento XML 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. 2011 artículo científico 1885-4486 https://www.redalyc.org/articulo.oa?id=92218763003 es http://www.redalyc.org/revista.oa?id=922 REICIS. Revista Española de Innovación, Calidad e Ingeniería del Software application/pdf Asociación de Técnicos de Informática REICIS. Revista Española de Innovación, Calidad e Ingeniería del Software (España) Num.1 Vol.7 |
| format | Artículo científico |
| id | redalyc_92218763003 |
| institution | Redalyc |
| language | es |
| publishDate | 2011 |
| publisher | Asociación de Técnicos de Informática |
| spellingShingle | Aplicación de un oráculo de prueba automatizado a la evaluación de salidas de programas basados en XML Dae S. Kim-Park Computación Prueba de software oráculos de prueba automatización de pruebas programas de procesamiento XML Aplicación de un oráculo de prueba automatizado a la evaluación de salidas de programas basados en XML Dae S. Kim-Park Claudio de la Riva Javier Tuya Computación Prueba de software oráculos de prueba automatización de pruebas programas de procesamiento XML 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. 2011 artículo científico 1885-4486 https://www.redalyc.org/articulo.oa?id=92218763003 es http://www.redalyc.org/revista.oa?id=922 REICIS. Revista Española de Innovación, Calidad e Ingeniería del Software application/pdf Asociación de Técnicos de Informática REICIS. Revista Española de Innovación, Calidad e Ingeniería del Software (España) Num.1 Vol.7 |
| title | Aplicación de un oráculo de prueba automatizado a la evaluación de salidas de programas basados en XML |
| topic | Computación Prueba de software oráculos de prueba automatización de pruebas programas de procesamiento XML |
| url | https://www.redalyc.org/articulo.oa?id=92218763003 |