Seja S o grafo de fluxo de controle de um programa P. Se teste que aplica um conjunto de dados de teste satisfaz critério todos os ramos de S. entã...

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

Todos os caminhos de P.
Todas as classes de P.
Todas as respostas de P.
Todos os comandos de P.
Todos os predicados de P.
a) Todos os caminhos de P.
b) Todas as classes de P.
c) Todas as respostas de P.
d) Todos os comandos de P.
e) Todos os predicados de P.