Considere as seguintes afirmativas a respeito de critérios de cobertura de teste .

I O grafo de fluxo de controle representa um programa na forma de um grafo onde as arestas são operadores e os nós são operandos de uma expressão.

II O critério de cobertura “todos os caminhos” não é um critério muito utilizado, em razão de duas dificuldades principais: alguns programas geram infinidade de caminhos e existem caminhos que nunca serão executados (independentemente dos valores passados como parâmetro).

III Se uma suíte de testes atinge 100% de cobertura de statements (linhas de código), o programa foi completamente testado e, se existir algum bug, será detectado pelos testes.

IV Os critérios de teste estruturais também são conhecidos como critérios de teste caixa branca.

Estão corretas as afirmativas