CIFASIS 20631
CENTRO INTERNACIONAL FRANCO ARGENTINO DE CIENCIAS DE LA INFORMACION Y DE SISTEMAS
Unidad Ejecutora - UE
informe técnico
Título:
Fastest: automatización de testing funcional basado en especificaciones Z
Autor/es:
CRISTIÁ, MAXIMILIANO; RODRÍGUEZ MONETTI, PABLO; HOLLMANN, DIEGO
Fecha inicio/fin:
2007-03-01/2011-02-28
Páginas:
1-19
Naturaleza de la
Producción Tecnológica:
Informática (software)
Campo de Aplicación:
Varios campos
Descripción:
El proyecto trata de desarrollar técnicas y herramientas para automatizar el testing funcional de aplicaciones de software. El enfoque principal es utilizar especificaciones Z: Fastest recibe una especificación Z y una descripción del tipo de testing a realizar y calcula los casos de prueba para la implementación del modelo suministrado.
