Definición de estrategias para la aplicación automática de tácticas de testing en el marco del TTF y Fastest
En el testing basado en modelos (MBT), se busca generar casos de prueba para testear un programa utilizando únicamente un modelo del sistema en cuestión. El Test Template Framework (TTF) es un método de MBT que permite obtener casos de prueba abstractos a partir de una especificación Z del sistema....
Guardado en:
| Autor principal: | Cuenca, Joaquín |
|---|---|
| Otros Autores: | Cristiá, Maximiliano |
| Formato: | bachelorThesis Tésis de Grado acceptedVersion |
| Lenguaje: | Español |
| Publicado: |
Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
2015
|
| Materias: | |
| Acceso en línea: | http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=71 http://hdl.handle.net/2133/3793 http://www.fceia.unr.edu.ar/lcc/t523/tesina.php?campo1=71 http://hdl.handle.net/2133/3793 |
| Aporte de: |
Ejemplares similares
-
Refinamiento a JAVA de casos de prueba abstractos generados por Fastest, un sistema de testing automatizado
por: Coca, Pablo D.
Publicado: (2014) -
The FTCRL Reference Guide (for Version 1.0)
por: Cristiá, Maximiliano
Publicado: (2014) -
Concretización a Perl de casos de prueba abstractos generados a partir de especificaciones Z
por: Bonet, Javier
Publicado: (2023) -
Soporte herramental para el Test Template Framework
por: Cristiá, Maximiliano
Publicado: (2011) -
Estrategia y táctica
por: Rosas, Carlos Jorge
Publicado: (1958)