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 |