| Autores: |
Vázquez Escudero, P.
Moreno García, M.
García Peñalvo, F.
|
| Título: |
Verificación Con XML
|
 |
| Fecha de Publicación: |
noviembre 2001
|
| País de publicación: |
España
|
| Idioma de Publicación: |
Español
|
| Identificador del informe técnico: |
DPTOIA-IT-2001-001
|
| Institución: |
Universidad de Salamanca. Dpto. Informática y Automática
|
| Resumen: |
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 de clases 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 repositorio sirve 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 la extensibilidad 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 herramientas creadas 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.
|
| Memoria: |
Descargar
|
|
|
