Em um processo de teste estrutural (ou caixa-branca) de um programa, considere os artefatos abaixo.

Programa Java:

1 public static void main(String[] args) {

2 int[] anos = new int[6];

3 int coluna;

4 coluna = 0;

5 while (coluna < 6 && anos[coluna] != 2015)

6 coluna++;

7 }

Grafo de fluxo do programa.



5 indica a execução da condição coluna<6.

5a indica e execução da condição anos[coluna] != 2015.

Conjunto de caminhos independentes do grafo:

C1: ..I......

C2: 1-4, 5, 5a, 6, 5, 5a, 6, 5, 5a, 6, 5, 5a, 6, 5, 5a, 6, 5, 5a, 6, 5, 7

C3: .II.....

Caso de teste para o programa:

Caminho independente Entrada Saída esperada

C1 anos={ 2015,0,0,0,0,0} coluna=0

C2 anos={ 0,0,0,0,0,0} coluna=6

C3 anos={0, 2015,0,0,0,0} coluna=1

As lacunas I e II são preenchidas, correta e respectivamente, por: