Данная техника базируется на блок-схемах и применяется в случае наличия схем алгоритмов программных единиц. Полные знания про структуру получают за счет исследование процесса превращения исходных данных в исходящие.
Потом строится граф управления, анализ которого дает возможность спроектировать тесты для проверки программного объекта.
Техника потока данных. Реализуется проверкой замены и превращений начальных значений через всю структуру до того момента, пока не будут одержаны конечные результаты.
Модели ссылок для тестирования, которые ориентируются на код. Такой вид тестирования используется в случае наличия других программных модулей (источника данных), из которых они поступают в тестируемый модуль. В таком случае проверяется корректность потоков, для выявления их дефективного влияния на ошибочные исходные данные, которые проверяются.