Análisis de un programa de computadora para identificar todos los posibles caminos a través del programa, para detectar rutas incompletas o descubrir partes del programa que no están en la ruta.