Anàlisi d'un programa d'ordinador per identificar tots els camins possibles a través del programa, per detectar els camins incomplets, o per descobrir parts del programa que no es troba en qualsevol camí.