Detalles del recurso
Pertenece a:
Repositorio Hipermedial UNR - Repositorio Hipermedial de la Universidad Nacional de Rosario
Descripción: Aún con el uso creciente de los métodos formales en el desarrollo de software, el testing de software continúa siendo la técnica dominante para verificar y validar sistemas. Con el testing basado en especificaciones, la precisión de las especificaciones formales hace del testing una actividad mucho más sistemática. Este trabajo describe el primer prototipo de Fastest, una herramienta que facilita la derivación de casos de prueba a partir de especificaciones en el lenguaje Z.
Autor(es): Rodríguez Monetti, Pablo -
Id.: 55263392
Idioma:
español
-
Versión: 1.0
Estado: Final
Tipo de recurso:
Dissertation
-
Tipo de Interactividad: Expositivo
Nivel de Interactividad: muy bajo
Audiencia:
Estudiante
- Profesor
- Autor
-
Estructura: Atomic
Coste: no
Copyright: sí
: Open access
Requerimientos técnicos: Browser: Any -
Relación:
[References] http://www.fceia.unr.edu.ar/lcc/t523/uploads/9.pdf
Fecha de contribución: 05-may-2012
Contacto:
Localización:
