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:
Testing
Integración
TTF
MBT
Uses
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:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario
Descripción
Sumario: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.

Ejemplares similares