Un enfoque comparativo de las técnicas de verificación : Todos los usos y cubrimiento de sentencias

Abstract

Si bien las pruebas unitarias ya están fuertemente establecidas en la industria de software aún no se conoce qué tan efectiva es cada técnica de verificación, ni el costo asociado a su aplicación. Obtener dicho conocimiento no es sencillo porque el comportamiento puede variar dependiendo de la persona que aplica la técnica, del lenguaje de programación y del tipo de aplicación, entre otros. Además, no es posible demostrar formalmente cuál es la efectividad y el costo de una técnica de verificación. Una opción para obtener información es mediante la realización de experimentos formales. Uno de los principales objetivos de este proyecto de grado es obtener información que permita comparar la efectividad y costo de las técnicas de verificación Cubrimiento de Sentencias (CS) y Todos los Usos (TU). Para obtener esta información diseñamos y ejecutamos un experimento formal. También, desarrollamos un marco de comparación que provee formalidad en la comparación de experimentos teniendo en cuenta sus características más relevantes. Se utiliza el marco para comparar algunos experimentos formales en Ingeniería de Software. Al estudiar y comparar los experimentos se logra un mayor conocimiento para definir nuestro experimento formal. Los sujetos que participan en el experimento son estudiantes de la carrera Ingeniería en Computación de la Facultad de Ingeniería de la Universidad de la República, y participan del mismo en el marco de una asignatura. Estos son entrenados mediante clases teórico-prácticas donde se explica como aplicar las técnicas y usar los materiales de soporte. Las clases son preparadas y dictadas por las autoras de este proyecto de grado bajo la supervisión del tutor. Los resultados obtenidos aplicando pruebas de hipótesis indican que no existe evidencia estadística para afirmar que una técnica es más efectiva que la otra. Sin embargo, sí existe evidencia estadística que indica que TU es más costosa que CS.