El objetivo de estas pruebas es obtener información útil para la validación de la implementación de los algoritmos estudiados. Se asume para esta parte que el software ha cumplido la etapa de verificación, por lo tanto está libre de errores de tiempo de ejecución, lo que no significa que esté libre de errores lógicos (diferencias entre la estrategia propuesta y la implementada).

La estrategia propuesta para las mismas es la siguiente:

• Considerar redes de tamaño relativamente pequeño (confiables y no confiables).
• Calcular el índice de confiabilidad de forma manual (utilizando por ejemplo el algoritmo de enumeración completa de estados, o en casos en que sea posible, en forma analítica).
• Comparar con los resultados proporcionados por los algoritmos.