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

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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Cuenca, Joaquín
Otros Autores: Cristiá, Maximiliano
Formato: bachelorThesis Tésis de Grado acceptedVersion
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2015
Materias:
Estrategias de testing
Tácticas de testing
ANTLR
Fastest
FTSDL
Acceso en línea:http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=71
http://hdl.handle.net/2133/3793
http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=71
http://hdl.handle.net/2133/3793
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario
id I15-R121-2133-3793
record_format dspace
institution Universidad Nacional de Rosario
institution_str I-15
repository_str R-121
collection Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR)
language Español
orig_language_str_mv spa
topic Estrategias de testing
Tácticas de testing
ANTLR
Fastest
FTSDL
spellingShingle Estrategias de testing
Tácticas de testing
ANTLR
Fastest
FTSDL
Cuenca, Joaquín
Definición de estrategias para la aplicación automática de tácticas de testing en el marco del TTF y Fastest
topic_facet Estrategias de testing
Tácticas de testing
ANTLR
Fastest
FTSDL
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.
author2 Cristiá, Maximiliano
author_facet Cristiá, Maximiliano
Cuenca, Joaquín
format bachelorThesis
Tésis de Grado
acceptedVersion
author Cuenca, Joaquín
author_sort Cuenca, Joaquín
title Definición de estrategias para la aplicación automática de tácticas de testing en el marco del TTF y Fastest
title_short Definición de estrategias para la aplicación automática de tácticas de testing en el marco del TTF y Fastest
title_full Definición de estrategias para la aplicación automática de tácticas de testing en el marco del TTF y Fastest
title_fullStr Definición de estrategias para la aplicación automática de tácticas de testing en el marco del TTF y Fastest
title_full_unstemmed Definición de estrategias para la aplicación automática de tácticas de testing en el marco del TTF y Fastest
title_sort definición de estrategias para la aplicación automática de tácticas de testing en el marco del ttf y fastest
publisher Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
publishDate 2015
url http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=71
http://hdl.handle.net/2133/3793
http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=71
http://hdl.handle.net/2133/3793
work_keys_str_mv AT cuencajoaquin definiciondeestrategiasparalaaplicacionautomaticadetacticasdetestingenelmarcodelttfyfastest
bdutipo_str Repositorios
_version_ 1764820412347187202

Ejemplares similares