Detalle del congreso

Autores: 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.

Tipo de reunión: Workshop.

Tipo de trabajo: Otro.

Producción: Soporte Herramental para el Test Template Framework.

Reunión científica: XIII Workshop de Investigadores en Ciencias de la Computación.

Lugar: Rosario.

Institución organizadora: Red Universidades Nacionales Carreras Informática.

Publicado: Sí

Lugar publicación: Rosario

Mes de reunión: 5

Año: 2011.