IX Jornadas de Informática e Investigación Operativa

8 al 12 de noviembre de 2004
Montevideo, Uruguay

Instituto de Computación, Facultad de Ingeniería, PEDECIBA Informática, Universidad de la República
navegacion

  • PÁGINA PRINCIPAL

  • LLAMADO

  • RECEPCIÓN DE RESUMENES

  • PROGRAMA

  • MODERADORES

  • SESIONES


  • LINKS
    • FACULTAD DE INGENIERÍA

    • INSTITUTO DE COMPUTACIÓN

    • EDICIÓN ANTERIOR

      COMITE ORGANIZADOR:
      • Daniel Calegari
      • Diego Garat
      • Antonio Mauttone
      • Franco Robledo
Título: JFing - Desarrollo de una Herramienta de Generación Semiautomática de Casos de Prueba

Marco de Trabajo: INVESTIGACION

Área de desarrollo: Ingenieria de Software

Autor: Diego Vallespir

Contacto: dvallesp@fing.edu.uy

Día: LUNES

Hora: 13:30:00

Palabras Claves: Testing Unitario, Automatización del Testing, Ingeniería de Software
Resumen:

JFing es un proyecto de investigación que comenzó en el año 2003. El objetivo principal de este proyecto es desarrollar una herramienta que genere automáticamente casos de prueba a partir de especificaciones de una clase. Las especificaciones están dadas a dos niveles, especificación de metodos y especificación intraclase. La primera se realiza mediante pre y post condiciones de cada método de la clase. La segunda se realiza mediante la especificación del invariante de clase y el diagrama de estado del objeto. La calidad del conjunto de casos de prueba generados se controla y controlará durante todo el proyecto mediante dos clases de métricas diferentes (cubrimiento de código y mutant score). En esta presentación se describirá el proyecto de investigación, la teoría de cómo derivar los casos de prueba a partir de las especificaciones, las oportunidades o aplicaciones posibles de la herramienta en la industria y los puntos fuertes y débiles de este encare del testing unitario.


Ultima modificacion 5 de Octubre 2004 16:30