Pasar al contenido principal
Inicio Departamento de Ciencias de la Computación Logo LCC
Depto. de Ciencias de la Computación
Departamento de Ciencias de la Computación
Facultad de Ciencias Exactas, Ingeniería y Agrimensura
Universidad Nacional de Rosario
Logo FCEIA Logo UNR

Menú principal

  • Inicio
  • Departamento
  • LCC
  • Materias
  • Ingresantes
  • Docentes

Formulario de búsqueda

Login Menu

  • Login

Idiomas

  • Es
  • En

Usted está aquí

Inicio » LCC » Tesinas de Grado » Tesinas
  • Materias
  • Perfil y Plan
  • Jornadas de Cs. de la Computación
  • Tesinas de Grado
    • Propuestas
    • Tesinas
  • El Proyecto PROMINF‐LCC‐FCEIA
  • Lista de correo

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

Autor: 
Joaquín Cuenca
Fecha Defensa: 
27/08/2014
Resumen: 
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 herramienta que automatiza gran parte del proceso de testing descripto por el TTF, pero no realiza de forma automática la generación de las clases de prueba, es decir, es el usuario quien debe aplicar manual y sucesivamente las tácticas a fin de dar forma y orientar el testing a las áreas deseadas. Este proceso requiere no sólo de un esfuerzo considerable por parte del usuario, sino también un gran conocimiento de los detalles de la especificación. En este trabajo se definen estrategias de testing las cuales combinan y aplican de forma automática las tácticas definidas en el TTF y Fastest con el fin de automatizar en mayor medida el proceso de generación de casos de prueba. Además, se define un lenguaje para la definición de estrategias de testing en Fastest.
Institución: 
FCEIA-UNR
Director: Maximiliano Cristiá
Tesina: 
Icono PDF 71.pdf

Contacto

Administración: webmasterlcc@fceia.unr.edu.ar
Preguntas: ingrlcc@fceia.unr.edu.ar

Logo FCEIA Logo UNR
  • Inicio
  • Departamento
  • LCC
    • Materias
    • Perfil y Plan
    • Jornadas de Cs. de la Computación
    • Tesinas de Grado
      • Propuestas
      • Tesinas
    • El Proyecto PROMINF‐LCC‐FCEIA
    • Lista de correo
  • Materias
  • Ingresantes
  • Docentes
Diseñado por
Sitemap