Recursos de colección

Repositorio Hipermedial UNR - Repositorio Hipermedial de la Universidad Nacional de Rosario (6.314 recursos)

El Repositorio Hipermedial UNR es un repositorio académico abierto creado para archivar, preservar y distribuir digitalmente en variados formatos tanto materiales de enseñanza y aprendizaje (objetos de aprendizaje) como la producción científica de Investigación y Desarrollo (I+D) de los profesores, profesional es e investigadores de la UNR.

Departamento Ciencias de la Computación (FCEIA-ECEN-DCC)

Mostrando recursos 1 - 1 de 1

  1. Definición de estrategias para la aplicación automática de tácticas de testing en el marco del TTF y Fastest

    Cuenca, Joaquín
    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. Para esto, define tácticas de testing que se aplican sobre el espacio de entrada de una operación de la especificación, particionándolo de distintas maneras según como sean aplicadas. Esto genera clases de prueba de las cuales se derivan los casos de prueba abstractos a utilizar en el testing. Fastest es una...
    (application/pdf) - 29-may-2018

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.