Verificación con XML
Este documento presenta un marco de trabajo para la verificación automática de programas en entornos de sistemas orientados a objetos. El núcleo del sistema lo constituye un repositorio declases en formato XML. Un parser o analizador sintáctico analiza el código fuente en el lenguaje seleccionado, e...
| Autores: | , , |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 2001 |
| País: | España |
| Institución: | Universidad de Salamanca (USAL) |
| Repositorio: | GREDOS. Repositorio Institucional de la Universidad de Salamanca |
| OAI Identifier: | oai:gredos.usal.es:10366/21729 |
| Acceso en línea: | http://hdl.handle.net/10366/21729 |
| Access Level: | acceso abierto |
| Palabra clave: | Lenguaje XML Verificación automática de programas Lenguajes de soporte Repositorio XML XML language Automated software testing XML repository XML (Lenguaje de marcas) |
| Sumario: | Este documento presenta un marco de trabajo para la verificación automática de programas en entornos de sistemas orientados a objetos. El núcleo del sistema lo constituye un repositorio declases en formato XML. Un parser o analizador sintáctico analiza el código fuente en el lenguaje seleccionado, extrae de él la información relevante del programa y alimenta el repositorio. El lenguaje XML es utilizado como metalenguaje para la creación de un árbol de sintaxis abstracto que lo independiza del lenguaje de programación utilizado. El repositoriosirve para la creación de casos de prueba. El uso de patrones de prueba facilitará la generación automática de módulos de prueba que serán posteriormente alimentados por los casos de prueba seleccionados. Las ventajas de utilizar XML como metalenguaje se pueden observar en laextensibilidad del entorno de trabajo: basta con añadir un parser para otro lenguaje y el sistema completo será utilizable para dicho lenguaje. No será necesario modificar las herramientascreadas para el sistema. Es más, con un parser UML es posible subir hasta la fase de diseño, anticipando la creación de casos de prueba a dicha etapa del ciclo de vida. |
|---|