Seja S o grafo de fluxo de controle de um programa P. Se o teste que aplica um conjunto de dados de teste satisfaz o critério todos os ramos de S, então pode-se concluir que esse conjunto também irá satisfazer o critério
