Аналіз комп'ютерної програми, щоб визначити всі можливі шляхи через програму, виявити неповні контури, або відкрити частину програми, які не на будь-який шлях.