Анализ компьютерной программы, чтобы определить все возможные пути через программы, для выявления неполного пути, или обнаружить части программы, которые не являются на любом пути.