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

DSpace/Manakin Repository

Show simple item record

dc.contributor.advisor Cristiá, Maximiliano
dc.contributor.author Coca, Pablo D.
dc.date.accessioned 2014-10-08T14:19:47Z
dc.date.available 2014-10-08T14:19:47Z
dc.date.issued 2010-09-02
dc.identifier.citation http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=27 es
dc.identifier.uri http://hdl.handle.net/2133/3562
dc.description.abstract Fastest es
dc.description.abstract El 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.language.iso spa es
dc.publisher Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario es
dc.rights openAccess es
dc.subject Testing es
dc.subject Automatizado es
dc.subject Software es
dc.subject Fastest es
dc.subject Java es
dc.title Refinamiento a JAVA de casos de prueba abstractos generados por Fastest, un sistema de testing automatizado es
dc.type bachelorThesis es
dc.type trabajo final de grado
dc.type publishedVersion
dc.description.peerreviewed Peer reviewed es


Files in this item

This item appears in the following Collection(s)

Show simple item record

My Account


Search DSpace


Browse

Statistics