Refinamiento a JAVA de casos de prueba abstractos generados por Fastest, un sistema de testing automatizado

dc.contributor.advisorCristiá, Maximiliano
dc.contributor.authorCoca, Pablo D.
dc.date.accessioned2014-10-08T14:19:47Z
dc.date.available2014-10-08T14:19:47Z
dc.date.issued2010-09-02
dc.description.abstractFastestes
dc.description.abstractEl testing funcional basado en especificaciones es el proceso de testear en forma estructurada un software a partir de su especificación. Este proceso comúnmente se divide en varias fases, las cuales pueden ser automatizadas casi en su totalidad. Una fase crítica, es la de ejecutar los casos de prueba abstractos generados en fases anteriores en el proceso de testing. Para esto, antes es necesario refinar los casos de prueba abstractos escritos en el lenguaje de especificación a casos de pruebas concretos escritos en el lenguaje en el que el sistema fue implementado. Una de las técnicas más utilizadas para esta tarea es la de concretización. En este trabajo se desarrolla TCRL v2.0, un lenguaje que permite reducir la brecha semántica de los casos de prueba abstractos escritos en un lenguaje de especificación (por ejemplo Z) a casos de prueba concretos escritos en algún lenguaje de implementación (por ejemplo JAVA o C). Además, se desarrolla el parser y el intérprete para TCRL v2.0 y un prototipo de un sistema de refinamiento de casos de pruebas abstractos escritos en el lenguaje de especificación Z a casos de pruebas concretos para el lenguaje de programación JAVA. Dichos desarrollos se piensan integrar a Fastest, un primer prototipo de una herramienta ideada para automatizar el proceso de testing funcional basado en especificaciones antes mencionado.es
dc.description.peerreviewedPeer reviewedes
dc.identifier.citationhttp://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=27es
dc.identifier.urihttp://hdl.handle.net/2133/3562
dc.language.isospaes
dc.publisherFacultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosarioes
dc.rightsopenAccesses
dc.subjectTestinges
dc.subjectAutomatizadoes
dc.subjectSoftwarees
dc.subjectFastestes
dc.subjectJavaes
dc.titleRefinamiento a JAVA de casos de prueba abstractos generados por Fastest, un sistema de testing automatizadoes
dc.typebachelorThesises
dc.typetrabajo final de grado
dc.typepublishedVersion

Archivos

Bloque original
Mostrando 1 - 1 de 1
Cargando...
Miniatura
Nombre:
Coca.pdf
Tamaño:
815.76 KB
Formato:
Adobe Portable Document Format
Bloque de licencias
Mostrando 1 - 1 de 1
Nombre:
license.txt
Tamaño:
2.95 KB
Formato:
Item-specific license agreed upon to submission
Descripción: