ES2 Tarefa 10 - Teste Estrutural

int maximo (int k)
{
	int max;
	for (i=1; i<=k;i++)
	{
		scanf(“%d %d”, &m,&n);
		max=m;
		if (n>m)
			max=n;
		return (max);
	}
}


Jorge Luiz
Tarefa 10 - Teste Estrutural


a) Elabore o GFC.

números entre parênteses referem-se ao número da linha de código

  (1,2,3)
     v
 (4,5,6,7)
     v   v
    (8)  |
   /   \ |
   v   | |
  (9)  | |
   \   | |
    v  v |
    (10) |
     v   /
     |  /
     (12)



b) Determine a complexidade ciclomática e especifique o conjunto básico de caminhos linearmente independentes para o programa.

Complexidade ciclomática: 3 (número de regiões, ou número de decisões+1)
Normalmente seriam 4 regiões por causa do loop for (teria uma ligação do nó 10 com o 4, formando mais uma região), mas como a instrução é um return ela vai obrigatoriamente terminar o loop, impedindo a criação de uma nova região (a linha 11 é inalcançável).

Caminhos necessários (escrito apenas o primeiro nó de cada conjunto de instruções):
A - 1 4 11
B - 1 4 8 10 12
C - 1 4 8 9 10 12



c) Elabore casos de teste que exercitem os caminhos definidos pelo critério baseado em complexidade, se possível.

A - k=0
B - k=123, m=k, n=0
C - k=999, m=0, n=k



d) Determine os elementos requeridos (nós e arestas) pelos critérios baseados em fluxo de controle Todos-Nós e Todas-Aresta.

(escrito apenas o primeiro nó de cada conjunto de instruções)
Nós: (1,2,3), (4,5,6,7), (8), (9), (10), (12)
Arestas: 1->4, 4->12, 4->8, 8->10, 8->9, 9->10, 10->12


e) Elabore casos de teste que exercitem os caminhos definidos pelos critérios baseados em fluxo de controle, se possível.

Nós: 2 casos de teste necessários para cobrir todos os nós.
caso 1: k=123, m=k, n=0
caso 2: k=999, m=0, n=k

Arestas: 2 casos de teste necessários para cobrir todas as arestas.
caso 1: k=123, m=k, n=0
caso 2: k=999, m=0, n=k


e) (sic) Realize os testes executando os casos de teste. (assumindo linguagem C)

Dado de teste   | Resultado Esperado     | Resultado Obtido | Defeito Revelado
k=0             | depende dos requisitos | lixo             | variável não inicializada
k=123, m=k, n=0 | 123                    | 1                | loop apenas executa uma vez
k=999, m=0, n=k | 999                    | 1                | loop apenas executa uma vez