Fastest: Automatizando el testing de software

DSpace/Manakin Repository

Show simple item record

dc.contributor.advisor Cristiá, Maximiliano
dc.contributor.author Rodríguez Monetti, Pablo
dc.date.accessioned 2012-05-04T20:13:40Z
dc.date.available 2012-05-04T20:13:40Z
dc.date.issued 2009-03-23
dc.identifier.uri http://hdl.handle.net/2133/1881
dc.description Tesina de Grado de la Licenciatura en Ciencias de la Computación. Departamento de Ciencias de la Computación. Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario es
dc.description.abstract Aún con el uso creciente de los métodos formales en el desarrollo de software, el testing de software continúa siendo la técnica dominante para verificar y validar sistemas. Con el testing basado en especificaciones, la precisión de las especificaciones formales hace del testing una actividad mucho más sistemática. Este trabajo describe el primer prototipo de Fastest, una herramienta que facilita la derivación de casos de prueba a partir de especificaciones en el lenguaje Z. es
dc.language.iso spa es
dc.publisher Departamento de Ciencias de la Computación; Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario es
dc.rights openAccess es
dc.title Fastest: Automatizando el testing de software
dc.type bachelorThesis
dc.type tesis de grado
dc.type publishedVersion
dc.description.peerreviewed Peer reviewed es
dc.relation.publisherversion http://www.fceia.unr.edu.ar/lcc/t523/uploads/9.pdf es


Files in this item

This item appears in the following Collection(s)

Show simple item record

My Account


Search DSpace


Browse

Statistics