Analyse van een computerprogramma om te identificeren alle mogelijke paden door het programma, detecteren onvolledig paden, of om te ontdekken delen van het programma die niet op elk pad.