Тестирование программного обеспечения

потоковый граф

базовое множество независимых линейных путей

тестирование ветвей и операции отношений

тестирование циклов

диаграммы причинно-следственных связей