Programação Modular: Exercício T4 e Considerações Finais

Transcrição

1 Programação Modular: Eercício T4 e Considerações Finais Alessandro Garcia LES/DI/PUC-Rio Cronograma Aula 13/6: Eercício do T3 relativo a: critérios de cobertura de teste caia-branca instrumentação para análise de cobertura dos testes (uso do módulo CONTA) Aulas 18 e 20/6 dúvidas trabalho T4 e conteúdo Dúvidas podem sempre ser enviadas por Monitoria: setas as 11:00 13:00 Até 6a. Feira (15/6): envio a lista de eercícios para estudo para prova Prova P2 25/6 (segunda) PUC s/ atividades: 27/6, 2/7 Entrega do T4 29/6 (seta) LES/DI/PUC-Rio 2 / 41 1

2 Prova 25/06 (segunda) Toda matéria Em particular, material após P1 Dicas: Revisem o eercício dado em sala e corrigidos (resposta estará no site) tentem resolver os eercícios da lista a ser enviada Alessandro Garcia LES/DI/PUC-Rio 3 / 32 Trabalho 29/06 (seta) Caprichem nesta reta final conclusão do programa Truco programas modularidade de qualidade são programas robustos e confiáveis mas isso não é alcançado sem emprego de uma série de práticas: teste com qualidade, instrumentação, tratamento de eceções, etc... testes do programa: cenários de teste em um documento (e. doc Word), formato livre não esquecer dos testes de todos os módulos do Lista, incluindo aqueles já feitos e entregues no T2 Não coloquem nomes de membros ao grupo sem mérito Não compartilhe código ou qualquer artefato do trabalho com ninguém plágio Alessandro Garcia LES/DI/PUC-Rio 4 / 32 2

3 Objetivos da disciplina Conscientizá-los que a qualidade de um programa começa pela preocupação com a qualidade de cada pequena parte (módulo) reúso, facilidade de manutenção e confiabilidade disciplina e rigor são essenciais Programas modulares robustos e confiáveis requerem o uso combinado de várias práticas especificação, arquitetura, documentação do código assertivas revisão e inspeção tratamento de eceção, testes automatizados e com qualidade, instrumentação Conscientizá-los que desenvolvimento de programas maiores requer proatividade dos desenvolvedores e. lidar e aprender algumas sutilezas de ferramentas que podem não estar em tutoriais ou em documentação de APIs Alessandro Garcia LES/DI/PUC-Rio 5 / 32 Programação Modular ( and beyond ) Vocês foram epostos a outras práticas (ágeis, etc...) de engenharia de software indiretamente: Test first Pair (group) programming Sistemas auto-adaptativos (self-healing, self-repairing, etc...) Etc... Alessandro Garcia LES/DI/PUC-Rio 6 / 32 3

4 Por que Programação Modular é importante?... Em uma série de contetos? Eemplo: Does Technical Debt Lead to the Rejection of Pull Requests?, Oliveira Silva et al., Simpósio Brasileiro de Sistemas de Informação 2016 Rejeição de contribuição é uma penalidade para (a reputação do) desenvolvedores Quais são as causas mais frequentes de rejeições em 7 projetos no GitHub? Alessandro Garcia LES/DI/PUC-Rio 7 / 32 Rejeição de contribuições em projetos Quais são as causas mais frequentes de rejeições em 7 projetos no GitHub? 1. problemas no projeto modular das funções e módulos 39,34% quebra de encapsulamento, interfaces mal projetadas (assinaturas compleas), não especificação de eceções e seus tratamentos, etc testes incompletos ou mal escolhidos 23,7% 3. violações a padrões/convenções de programação 15,64% 4. problemas de desempenho 9,58% 5. falta ou problema de documentação 5,69% 6. falta ou problema em arquivos de configuração/composição (p.e. nosso caso, make file) 2,37% 7. problemas de segurança 1,42% Alessandro Garcia LES/DI/PUC-Rio 8 / 32 4

5 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. } 9 / 32 A B C D E F H I J K L M N Critérios de cobertura: instruções D S A B i = ( i + j ) / 2 ; C if ( ( i < 10 ) && ( j < 10 )) j = 10 ; i = 10 ; S if ( i > 5 ) N N E Cobertura de instruções (vértices) Cada instrução é eecutada pelo menos uma vez no conjunto de todos os casos de teste rotulam-se as instruções e criam-se os casos de teste cada caso percorre pelo menos uma instrução ainda não percorrida 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 10 / 32 5

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

7 Fluograma 13 / 32 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 14 / 32 7

8 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 15 / 32 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 16 / 32 8

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? 17 / 32 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 18 / 32 9

10 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 19 / 32 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 20 / 32 10

11 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 21 / 32 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 22 / 32 11

12 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 de cobertura 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 23 / 32 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. } 24 / 32 A B C D antes do return no bloco if E F H I J K L M N 12

13 Programação Modular: Eercício T4 e Considerações Finais Alessandro Garcia LES/DI/PUC-Rio 13