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...

Full description

Bibliographic Details
Authors: Vázquez Escudero, Pedro Jesús, García-Peñalvo, Francisco J., Moreno García, María Navelonga
Format: report
Publication Date:2001
Country:España
Institution:Universidad de Salamanca (USAL)
Repository:GREDOS. Repositorio Institucional de la Universidad de Salamanca
OAI Identifier:oai:gredos.usal.es:10366/21729
Online Access:http://hdl.handle.net/10366/21729
Access Level:Open access
Keyword:Lenguaje XML
Verificación automática de programas
Lenguajes de soporte
Repositorio XML
XML language
Automated software testing
XML repository
XML (Lenguaje de marcas)
id ES_06573b602afaf59ed5fd44175c010dfd
oai_identifier_str oai:gredos.usal.es:10366/21729
network_acronym_str ES
network_name_str España
repository_id_str
spelling Verificación con XMLVázquez Escudero, Pedro JesúsGarcía-Peñalvo, Francisco J.Moreno García, María NavelongaLenguaje XMLVerificación automática de programasLenguajes de soporteRepositorio XMLXML languageAutomated software testingXML repositoryXML (Lenguaje de marcas)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.Universidad de Salamanca (España). Departamento de Informática y AutomáticaLaguna Serrano, Miguel ÁngelGarcía-Bermejo Giner, José Rafael2009200920092001info:eu-repo/semantics/reportinfo:eu-repo/semantics/otherapplication/pdfhttp://hdl.handle.net/10366/21729http://hdl.handle.net/10366/21729reponame:GREDOS. Repositorio Institucional de la Universidad de Salamancainstname:Universidad de Salamanca (USAL)EspañolAttribution-NonCommercial-NoDerivs 3.0 Unportedhttps://creativecommons.org/licenses/by-nc-nd/3.0/info:eu-repo/semantics/openAccessoai:gredos.usal.es:10366/217292026-06-07T06:28:51Z
dc.title.none.fl_str_mv Verificación con XML
title Verificación con XML
spellingShingle Verificación con XML
Vázquez Escudero, Pedro Jesús
Lenguaje XML
Verificación automática de programas
Lenguajes de soporte
Repositorio XML
XML language
Automated software testing
XML repository
XML (Lenguaje de marcas)
title_short Verificación con XML
title_full Verificación con XML
title_fullStr Verificación con XML
title_full_unstemmed Verificación con XML
title_sort Verificación con XML
dc.creator.none.fl_str_mv Vázquez Escudero, Pedro Jesús
García-Peñalvo, Francisco J.
Moreno García, María Navelonga
author Vázquez Escudero, Pedro Jesús
author_facet Vázquez Escudero, Pedro Jesús
García-Peñalvo, Francisco J.
Moreno García, María Navelonga
author_role author
author2 García-Peñalvo, Francisco J.
Moreno García, María Navelonga
author2_role author
author
dc.contributor.none.fl_str_mv Laguna Serrano, Miguel Ángel
García-Bermejo Giner, José Rafael
dc.subject.none.fl_str_mv Lenguaje XML
Verificación automática de programas
Lenguajes de soporte
Repositorio XML
XML language
Automated software testing
XML repository
XML (Lenguaje de marcas)
topic Lenguaje XML
Verificación automática de programas
Lenguajes de soporte
Repositorio XML
XML language
Automated software testing
XML repository
XML (Lenguaje de marcas)
description 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.
publishDate 2001
dc.date.none.fl_str_mv 2001
2009
2009
2009
dc.type.none.fl_str_mv info:eu-repo/semantics/report
info:eu-repo/semantics/other
format report
dc.identifier.none.fl_str_mv http://hdl.handle.net/10366/21729
http://hdl.handle.net/10366/21729
url http://hdl.handle.net/10366/21729
dc.language.none.fl_str_mv
Español
language_invalid_str_mv
Español
dc.rights.none.fl_str_mv Attribution-NonCommercial-NoDerivs 3.0 Unported
https://creativecommons.org/licenses/by-nc-nd/3.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivs 3.0 Unported
https://creativecommons.org/licenses/by-nc-nd/3.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad de Salamanca (España). Departamento de Informática y Automática
publisher.none.fl_str_mv Universidad de Salamanca (España). Departamento de Informática y Automática
dc.source.none.fl_str_mv reponame:GREDOS. Repositorio Institucional de la Universidad de Salamanca
instname:Universidad de Salamanca (USAL)
instname_str Universidad de Salamanca (USAL)
reponame_str GREDOS. Repositorio Institucional de la Universidad de Salamanca
collection GREDOS. Repositorio Institucional de la Universidad de Salamanca
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869402912051953664
score 15,301603

Similar Items