Definición de estrategias para la aplicación automática de tácticas de testing en el marco del TTF y Fastest

DSpace/Manakin Repository

Show simple item record

dc.contributor.advisor Cristiá, Maximiliano
dc.creator Cuenca, Joaquín
dc.date.accessioned 2015-02-05T13:28:08Z
dc.date.available 2015-02-05T13:28:08Z
dc.date.issued 2014-08-27
dc.identifier.uri http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=71
dc.identifier.uri http://hdl.handle.net/2133/3793
dc.description En el testing basado en modelos (MBT), se busca generar casos de prueba para testear un programa utilizando únicamente un modelo del sistema en cuestión. El Test Template Framework (TTF) es un método de MBT que permite obtener casos de prueba abstractos a partir de una especificación Z del sistema. Para esto, define tácticas de testing que se aplican sobre el espacio de entrada de una operación de la especificación, particionándolo de distintas maneras según como sean aplicadas. Esto genera clases de prueba de las cuales se derivan los casos de prueba abstractos a utilizar en el testing. Fastest es una herramienta que automatiza gran parte del proceso de testing descripto por el TTF, pero no realiza de forma automática la generación de las clases de prueba, es decir, es el usuario quien debe aplicar manual y sucesivamente las tácticas a fin de dar forma y orientar el testing a las áreas deseadas. Este proceso requiere no sólo de un esfuerzo considerable por parte del usuario, sino también un gran conocimiento de los detalles de la especificación. En este trabajo se definen estrategias de testing las cuales combinan y aplican de forma automática las tácticas definidas en el TTF y Fastest con el fin de automatizar en mayor medida el proceso de generación de casos de prueba. Además, se define un lenguaje para la definición de estrategias de testing en Fastest. es
dc.format application/pdf
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 Estrategias de testing es
dc.subject Tácticas de testing es
dc.subject ANTLR es
dc.subject Fastest es
dc.subject FTSDL es
dc.title Definición de estrategias para la aplicación automática de tácticas de testing en el marco del TTF y Fastest es
dc.type bachelorThesis
dc.type Tésis de Grado
dc.type acceptedVersion
dc.description.peerreviewed Peer reviewed


Files in this item

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record

My Account


Search DSpace


Browse

Statistics