Título:
Análisis de la efectividad y el costo de 5 técnicas de verificación
Otros títulos:
Coordinador:
Director:
Compilador:
Autor:
De León, María Stephanie
Robaina Rode, Rosana
Robaina Rode, Rosana
Tutor:
Vallespir, Diego
Tipo de documento:
Tesis de grado
Editor:
Palabras clave:
Descriptores:
Año de publicación:
2009
Contenido:
Resumen:
En el presente trabajo se aplica un experimento formal para comparar cinco técnicas de verificación: la técnica estática Inspecciones, las técnicas dinámicas de caja negra Partición de Equivalencia con Análisis de Valores Límite y Tablas de Decisión; y las técnicas estáticas de caja blanca Criterio de Cubrimiento de Condición Múltiple y Trayectorias Linealmente Independientes. En el experimento se comparan las técnicas de verificación respecto a la efectividad y el costo en la detección de defectos. . Catorce estudiantes avanzados de la carrera de Ingeniería en Computación de la Facultad de Ingeniería de la Universidad de la República, aplicaron las cinco técnicas de verificación a cuatro programas, según el diseño del experimento. El resultado principal del estudio es que las técnicas de verificación Tablas de Decisión y Partición de Equivalencia con Análisis de Valores Límite son más efectivas que la técnica Trayectorias Linealmente Independientes.
Descripción:
Editorial:
Udelar.FI.
EN:
Financiadores:
Citación:
De León, M. y Robaina Rode, R. Análisis de la efectividad y el costo de 5 técnicas de verificación [en línea]. Tesis de grado. Montevideo: Udelar. FI. INCO, 2009.
Citación:
metadata.cc.license.name:
Documento del Gobiberno:
URI:
https://hdl.handle.net/20.500.12008/52874
ISBN:
e-ISBN:
ISSN:
ISMN:
Otros identificadores:
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)
Cobertura geográfica:
Cobertura temporal:
metadata.dc.relation.IsVersionOf:
Clasificación:
Es versión de:
Colecciones:
| Ficheros | Descripción | Tamaño | Formato | ||
|---|---|---|---|---|---|
| DR09.pdf | Tesis de grado | 5.42 MB | Adobe PDF |