Verificación con XML

Abstract

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.

This document presents a framework for automated software testing in object oriented systemsenvironments. The heart of the system consists of an XML-classes repository. A parser orsyntactic analyzer inspects the source code of the language of choice and extracts the relevantinformation into the repository. XML language is used as metalanguage in order to create thesyntax abstract tree that is independent of the programming language. The repository can beused for test generation purposes. The test patterns usage will facilitate the automatic generationof test modules that will then be seeded by the selected test cases. The advantages of usingXML as metalanguage are the extensibility of the framework: just adding a parser for anotherlanguage the whole system will be available for this language. No changes are needed in thetools created for the system. Further more, a UML parser should make a step into the designphase, anticipating the test case creation to this phase of the software life cycle.