Extensión del TTF a testing de integración

El Test Template Framework (TTF) es un método de testing basado en modelos (Model Base Testing, MBT) para la notación Z, originalmente propuesto para el testing de unidad. En este trabajo analizamos cómo el TTF puede ser extendido para el testing de integración. Como el testing de integración está r...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Mesuro, Joaquín
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 2016
Materias:
TTF
MBT
Acceso en línea:http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=81
http://hdl.handle.net/2133/5765
http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=81
http://hdl.handle.net/2133/5765
Aporte de:
id I15-R121-2133-5765
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
Integración
TTF
MBT
Uses
spellingShingle Testing
Integración
TTF
MBT
Uses
Mesuro, Joaquín
Extensión del TTF a testing de integración
topic_facet Testing
Integración
TTF
MBT
Uses
description El Test Template Framework (TTF) es un método de testing basado en modelos (Model Base Testing, MBT) para la notación Z, originalmente propuesto para el testing de unidad. En este trabajo analizamos cómo el TTF puede ser extendido para el testing de integración. Como el testing de integración está relacionado con el diseño del software, decidimos investigar la relación entre el TTF y un elemento clave de la teoría de diseño de David Parnas, la llamada relación "uses". Proponemos cómo debería estar estructurada una especificación Z para poder aplicarle el testing de integración a través de la relación "uses". Analizamos también el problema de la generación de "stubs", es decir, la substitución de unidades de implementación por otras triviales y correctas en pos de facilitar el testing. El TTF ha sido automatizado aproximadamente al mismo nivel que otros MBT por la herramienta Fastest. La herramienta ha sido adaptada y modificada para poder seguir el proceso de integración propuesto. Finalmente, discutimos los tipos de errores que el testing de integración puede descubrir. Además, parte del presente trabajo fue publicado como "Extending the TestTemplate Framework to Integration Testing" en la conferencia internacional Fundamental Approaches to Software Engineering (FASE) en abril de 2014.
author2 Cristiá, Maximiliano
author_facet Cristiá, Maximiliano
Mesuro, Joaquín
format bachelorThesis
tesis de grado
publishedVersion
author Mesuro, Joaquín
author_sort Mesuro, Joaquín
title Extensión del TTF a testing de integración
title_short Extensión del TTF a testing de integración
title_full Extensión del TTF a testing de integración
title_fullStr Extensión del TTF a testing de integración
title_full_unstemmed Extensión del TTF a testing de integración
title_sort extensión del ttf a testing de integración
publisher Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
publishDate 2016
url http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=81
http://hdl.handle.net/2133/5765
http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=81
http://hdl.handle.net/2133/5765
work_keys_str_mv AT mesurojoaquin extensiondelttfatestingdeintegracion
bdutipo_str Repositorios
_version_ 1764820412892446722