Cecilia|
Apa|
ceapa@fing.edu.uy|
Instituto de Computación - Facultad de Ingeniería - UdelaR|
Diseño y Ejecución de un Experimento Formal con 5 Técnicas de Verificación|
Ingeniería de Software, Ingeniería de Software Empírica, Testing, Testing Unitario|
INVESTIGACION|
Publicación en Conferencia Internacional|
En este trabajo se presenta el diseño, ejecución y análisis de un experimento formal con el fin de conocer la efectividad de 5 técnicas de verificación unitaria.

Las técnicas que se utilizan son: Inspeciones de Escritorio, Particiones en Clases de Equivalencia y Análisis de Valores Límites, Tablas de decisión, Trayectorias Linealmente Independientes, y el Criterio de Cubrimiento de Condición Múltiple. 

El diseño propuesto para este experimento es de un factor con múltiples niveles. Éste es el primer experimento formal que conocemos que utiliza las técnicas de Tablas de Decisión, Trayectorias Linealmente Independientes y el Criterio de Cubrimiento de Condición Múltiple. 

El experimento se ejecuta por 14 participantes que aplican las técnicas en 4 programas diferentes, desarrollados especialmente para este experimento. 

Los resultados del análisis estadístico muestran que las técnicas Tablas de Decisión y Particiones en Clases de Equivalencia son más efectivas que la técnica Trayectorias Linealmente Independientes.|