english Icono del idioma   español Icono del idioma  

Por favor, use este identificador para citar o enlazar este ítem: https://hdl.handle.net/20.500.12008/51854 Cómo citar
Título: Un enfoque comparativo de las técnicas de verificación : Todos los usos y cubrimiento de sentencias
Autor: Bogado, Carmen
Moreno, Silvana
Tutor: Vallespir, Diego
Tipo: Tesis de grado
Palabras clave: Ingeniería de Software, Experimento Formal, Técnica de Veri ficación, Pruebas Unitarias
Fecha de publicación: 2009
Resumen: 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.
Editorial: Udelar.FI
Citación: Bogado, C. y Moreno, S. Un enfoque comparativo de las técnicas de verificación : Todos los usos y cubrimiento de sentencias [en línea]. Tesis de grado. Montevideo : Udelar. FI. INCO, 2009.
Título Obtenido: Ingeniero en Computación
Facultad o Servicio que otorga el Título: Universidad de la República (Uruguay). Facultad de Ingeniería.
Licencia: Licencia Creative Commons Atribución - No Comercial - Sin Derivadas (CC - By-NC-ND 4.0)
Aparece en las colecciones: Tesis de grado - Instituto de Computación

Ficheros en este ítem:
Fichero Descripción Tamaño Formato   
BM09.pdfTesis de grado4,22 MBAdobe PDFVisualizar/Abrir


Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons Creative Commons