Respostas Exercício: Cobertura Teste Caixa Branca

Transcrição

1 Respostas Eercício: Cobertura Teste Caia Branca Alessandro Garcia LES/DI/PUC-Rio Junho 2016

2 Eercício 1 a) Fluograma Note que eistem dois comandos (13 e 14), com rótulos G e H, na mesma linha. G 1. #include <stdio.h> int comparar() { 4. int num1, num2, num3, maior = 0; 5. printf ("Entre 3 numeros positivos"); 6. scanf ("%d %d %d", &num1, &num2, &num3); 7. if ((num1 > num2) && (num1 > num3)) { 8. maior = num1; 9. return maior; 10. } else { 11. if (num2 == num3) { 12. printf ("Nao eiste maior "); 13. if (num3 == num1) { printf ("... e todos sao iguais!"); } 15. return maior; 16. } 17. if ((num2 > num3) && (num2!= num 1)) { 18. maior = num2; 19. return maior; 20. } 21. if ((num3 > num2) && (num3!= num1)) { 22. maior = num3; 23. return maior; 24. } 25. printf ("Nao eiste maior "); 26. return maior; 25. } 26. } 2/ 32 A B C D E F H I J K L M N

3 Critérios de cobertura: instruções Cobertura de instruções A if ( ( i < 10 ) && ( j < 10 )) N (vértices) Cada instrução é eecutada pelo menos uma vez no B S i = ( i + j ) / 2 ; conjunto de todos os casos de teste rotulam-se as instruções e C criam-se os casos de teste S if ( i > 5 ) N cada caso percorre pelo D E menos uma instrução ainda não percorrida j = 10 ; i = 10 ; até que todas as instruções tenham sido percorridas i = 4 ; j = 8 A B C D i = 4 ; j = 6 A B C E Jun 2009 LES/DI/PUC-Rio 3/ 32

4 Eercício 1a a) Fluograma Quem pode fazer o fluograma no quadro? 4/ 32

5 Fluograma 5/ 32

6 Eercício 1a a) As entradas dos cinco casos de teste abaio representam um conjunto suficiente e mínimo para satisfazer o critério de cobertura de instruções? Justifique. num1 = 3, num2 = 2, num3 = 2 num1 = 3, num2 = 4, num3 = 3 num1 = 3, num2 = 4, num3 = 5 num1 = 4, num2 = 5, num3 = 5 num1 = 5, num2 = 5, num3 = 5 6/ 32

7 Eercício 1a a) As entradas dos cinco casos de teste abaio representam um conjunto suficiente e mínimo para satisfazer o critério de cobertura de instruções? Justifique. num1 = 3, num2 = 2, num3 = 2 -> A B C num1 = 3, num2 = 4, num3 = 3 -> A B D E J K num1 = 3, num2 = 4, num3 = 5 -> A B D E J L M num1 = 4, num2 = 5, num3 = 5 -> A B D E F G I num1 = 5, num2 = 5, num3 = 5 -> A B D E F G H I Não, pois nenhum dos casos de teste resulta na eecução de N. Faltou caso onde (num1 = num2) > num3 7/ 32

8 Eercício 1a A B C A B D E J K A B D E J L M A B D E F G I A B D E F G H I falta: A B D E J L N eemplo: num1 = 5, num2 = 5, num3 = 4 caso onde não eiste maior 8/ 32

9 Eercício 1a A B C A B D E J K A B D E J L M A B D E F G I A B D E F G H I É o conjunto mínimo? precisa dos dois? 9/ 32

10 Eercício 1a A B C A B D E J K A B D E J L M A B D E F G I A B D E F G H I bastaria o segundo (em cobertura de instruções) ou seja, o conjunto suficiente e mínimo seria: num1 = 3, num2 = 2, num3 = 2 -> A B C num1 = 3, num2 = 4, num3 = 3 -> A B D E J K num1 = 3, num2 = 4, num3 = 5 -> A B D E J L M num1 = 4, num2 = 5, num3 = 5 -> A B D E F G I num1 = 5, num2 = 5, num3 = 5 -> A B D E F G H I num1 = 5, num2 = 5, num3 = 4 -> A B D E J L N 10/ 32

11 Eercício 1b b) Os três caminhos (arcos de eecução) abaio descrevem casos de teste abstratos para a função comparar(). Note que os rótulos (letras) estão associados com instruções e/ou blocos de código da função. Complete o conjunto de caminhos abaio de forma a obter um conjunto mínimo de casos de teste para satisfazer o padrão de cobertura de arestas. Qual o número mínimo de casos de teste que foi necessário para satisfazer tal padrão? Inicial: ABC, ABDEFGI, ABDEJK 11/ 32

12 Eercício 1b A B C A B D E F G I A B D E J K arestas já eercitadas Note que faltam pelo menos 3 caminhos para eercitar as arestas faltantes 12/ 32

13 Eercício 1b A B C A B D E F G I A B D E J K arestas já eercitadas Note que faltam pelo menos 3 caminhos para eercitar as arestas faltantes 13/ 32

14 Eercício 1b b) Os três caminhos (arcos de eecução) abaio descrevem casos de teste abstratos para a função comparar(). Note que os rótulos (letras) estão associados com instruções e/ou blocos de código da função. Complete o conjunto de caminhos abaio de forma a obter um conjunto mínimo de casos de teste para satisfazer o padrão de cobertura de arestas. Qual o número mínimo de casos de teste que foi necessário para satisfazer tal padrão? Inicial: ABC, ABDEFGI, ABDEJK ABDEFGHI, ABDEJLM, ABDEJLN, totalizando 6 casos de teste 14/ 32

15 Eercício 1 c) Apresente a epressão regular geradora de caminhos que permita identificar os casos de teste necessários para satisfação do critério decobertura de caminhos. Use os rótulos (letras) associados acima ao código da função comparar(). AB ( C (DE ( (FG(HI I))) (J(K (L(M N) )))))) Qual seria o caminho mais longo e o mais curto que poderiam ser gerados a partir desta epressão? mais curto: ABC mais longo: ABDEFGHI 15/ 32

16 Eercício 1 D) locais onde poderiam ser inseridos os contadores (de arestas) G 1. #include <stdio.h> int comparar() { 4. int num1, num2, num3, maior = 0; 5. printf ("Entre 3 numeros positivos"); 6. scanf ("%d %d %d", &num1, &num2, &num3); 7. if ((num1 > num2) && (num1 > num3)) { 8. maior = num1; 9. return maior; 10. } else { 11. if (num2 == num3) { 12. printf ("Nao eiste maior "); 13. if (num3 == num1) { printf ("... e todos sao iguais!"); } 15. return maior; 16. } 17. if ((num2 > num3) && (num2!= num 1)) { 18. maior = num2; 19. return maior; 20. } 21. if ((num3 > num2) && (num3!= num1)) { 22. maior = num3; 23. return maior; 24. } 25. printf ("Nao eiste maior "); 26. return maior; 25. } 26. } 16/ 32 A B C D antes do return no bloco if E F H I J K L M N

17 Respostas Eercício: Cobertura Teste Caia Branca Alessandro Garcia LES/DI/PUC-Rio Junho 2016