Defectos dentro y fuera del alcance de técnicas de verificación : resultados del análisis de una familia de experimentos

Abstract

En este trabajo se desarrolla y aplica un proceso de análisis estadístico para un conjunto de replicaciones de una familia de experimentos diseñados y ejecutados por la Universidad Politécnica de Madrid (UPM). La familia de experimentos de UPM fue diseñada con el objetivo de responder a la siguiente pregunta de investigación: Analizar la aplicación de técnicas de verificación con el propósito de conocer su efectividad a nivel unitario respecto de distintos tipos de defectos, en el contexto de un experimento controlado llevado a cabo por estudiantes universitarios. El conjunto de técnicas a analizar son a nivel unitario y está compuesto por: Lectura por abstracciones sucesivas (reading by stepwise abstraction), Particiones en clases de equivalencia y Criterio de cubrimiento de decisión. El objetivo principal de este trabajo es el estudio de técnicas de análisis estadístico para experimentos controlados, aplicados a la serie de experimentos de UPM. La metodología a seguir consta de tres etapas: Especificación de un procedimiento de análisis para los experimentos, basado en el estudio de otros análisis a experimentos controlados de la literatura y de las técnicas de análisis estadístico aplicables a este tipo de experimentos. Aplicación del procedimiento de análisis generado a cada uno de los experimentos de la serie de UPM. Reporte sobre los resultados del análisis, con la subsiguiente interpretación de los mismos. Propuestas de mejoras para el diseño del experimento y la evolución de la investigación en general. Para lograr este objetivo se realiza un estudio de la teoría y fundamentos de la verificación y validación en ingeniería de software, haciendo foco en las técnicas a nivel unitario y en especial las que se utilizan para la familia de experimentos de UPM.