Soporte herramental para el Test Template Framework

Este proyecto trata sobre la automatización y extensión del Test Template Framework (TTF). El TTF es un método de testing basado en modelos (MBT) especialmente orientado a testing de unidad a partir de especificaciones Z. Aunque el TTF es un método sólido y fue ampliamente estudiado desde su primera...

Descripción completa

Detalles Bibliográficos
Autor principal: Cristiá, Maximiliano
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2011
Materias:
Ciencias Informáticas
SOFTWARE ENGINEERING
testing basado en modelos
Frameworks
Test Template Framework
notación Z
Fastest
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/20057
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-20057
record_format dspace
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
SOFTWARE ENGINEERING
testing basado en modelos
Frameworks
Test Template Framework
notación Z
Fastest
spellingShingle Ciencias Informáticas
SOFTWARE ENGINEERING
testing basado en modelos
Frameworks
Test Template Framework
notación Z
Fastest
Cristiá, Maximiliano
Soporte herramental para el Test Template Framework
topic_facet Ciencias Informáticas
SOFTWARE ENGINEERING
testing basado en modelos
Frameworks
Test Template Framework
notación Z
Fastest
description Este proyecto trata sobre la automatización y extensión del Test Template Framework (TTF). El TTF es un método de testing basado en modelos (MBT) especialmente orientado a testing de unidad a partir de especificaciones Z. Aunque el TTF es un método sólido y fue ampliamente estudiado desde su primera publicación, la comunidad de MBT fue perdiendo interés en él. Nosotros creemos que esto se debió, al menos en parte, a la falta o dificultad aparente en dotarlo de un apoyo herramental. De hecho, algunos han sugerido que la generación de casos de prueba abstractos siguiendo el TTF es una actividad manual que requiere que los usuarios manipulen predicados complejos. La intención de este proyecto es mostrar que estas conclusiones son al menos dudosas, implementando una herramienta, llamada Fastest. Fastest no solo es capaz de producir automáticamente casos de prueba abstractos sino que además podrá cubrir las necesidades de la comunidad Z en relación a herramientas de MBT.
format Objeto de conferencia
Objeto de conferencia
author Cristiá, Maximiliano
author_facet Cristiá, Maximiliano
author_sort Cristiá, Maximiliano
title Soporte herramental para el Test Template Framework
title_short Soporte herramental para el Test Template Framework
title_full Soporte herramental para el Test Template Framework
title_fullStr Soporte herramental para el Test Template Framework
title_full_unstemmed Soporte herramental para el Test Template Framework
title_sort soporte herramental para el test template framework
publishDate 2011
url http://sedici.unlp.edu.ar/handle/10915/20057
work_keys_str_mv AT cristiamaximiliano soporteherramentalparaeltesttemplateframework
bdutipo_str Repositorios
_version_ 1764820465048616960

Ejemplares similares