Congress detail

Authors: Cristiá, Maximiliano.

Resumen: 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ía cubrir las necesidades de la comunidad Z en relación a herramientas de MBT.

Meeting type: Workshop.

Type of job: Otro.

Production: Soporte Herramental para el Test Template Framework.

Scientific meeting: XIII Workshop de Investigadores en Ciencias de la Computación.

Meeting place: Rosario.

Organizing Institution: Red Universidades Nacionales Carreras Informática.

It's published?: Yes

Publication place: Rosario

Meeting month: 5

Year: 2011.