Analys av ett datorprogram att identifiera alla möjliga vägar genom programmet, att identifiera ofullständiga banor eller att upptäcka delar av programmet som inte på någon bana.