Poda de árboles de Testing a través de la detección de contradicciones matemáticas

El Test Template Framework (TTF) es un framework para testing basado en modelos (MBT), especialmente adecuado para testing de unidad. Fue propuesto por Phil Stocks y David Carrington. En el TTF el espacio de entrada de una operación Z es particionado en lo que se denominan clases de test, las cuale...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Albertengo, Pablo
Otros Autores: Cristiá, Maximiliano
Formato: bachelorThesis tesis de grado publishedVersion
Lenguaje:Español
Publicado: Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2013
Materias:
Testing Basado en Modelos
Acceso en línea:http://hdl.handle.net/2133/2798
http://hdl.handle.net/2133/2798
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario
id I15-R121-2133-2798
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 Testing Basado en Modelos
spellingShingle Testing Basado en Modelos
Albertengo, Pablo
Poda de árboles de Testing a través de la detección de contradicciones matemáticas
topic_facet Testing Basado en Modelos
description El Test Template Framework (TTF) es un framework para testing basado en modelos (MBT), especialmente adecuado para testing de unidad. Fue propuesto por Phil Stocks y David Carrington. En el TTF el espacio de entrada de una operación Z es particionado en lo que se denominan clases de test, las cuales dan lugar a los árboles de testing. Stocks y Carrington sugieren que los casos de test o casos de prueba deben ser derivados solo de las hojas de dichos árboles. El problema que surge es que, debido a ciertas particularidades del TTF, pueden existir hojas de las cuales no es posible obtener un caso de prueba debido a que sus predicados son contradicciones o contienen ciertos términos indefinidos. Por lo tanto, estas hojas deberían ser podadas del árbol de test en una etapa previa al proceso de derivación de casos de prueba. En este trabajo se presenta una propuesta para la poda de arboles de testing en el contexto del TTF y se implementa dicha propuesta en Fastest. Fastest es la primera herramienta que implementa y automatiza el TTF.
author2 Cristiá, Maximiliano
author_facet Cristiá, Maximiliano
Albertengo, Pablo
format bachelorThesis
tesis de grado
publishedVersion
author Albertengo, Pablo
author_sort Albertengo, Pablo
title Poda de árboles de Testing a través de la detección de contradicciones matemáticas
title_short Poda de árboles de Testing a través de la detección de contradicciones matemáticas
title_full Poda de árboles de Testing a través de la detección de contradicciones matemáticas
title_fullStr Poda de árboles de Testing a través de la detección de contradicciones matemáticas
title_full_unstemmed Poda de árboles de Testing a través de la detección de contradicciones matemáticas
title_sort poda de árboles de testing a través de la detección de contradicciones matemáticas
publisher Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
publishDate 2013
url http://hdl.handle.net/2133/2798
http://hdl.handle.net/2133/2798
work_keys_str_mv AT albertengopablo podadearbolesdetestingatravesdeladetecciondecontradiccionesmatematicas
bdutipo_str Repositorios
_version_ 1764820413673635840

Ejemplares similares