Prentice Hall Engenharia de Software: Teoria e Prática Shari Lawrence Pfleeger Capítulo 8 Defeitos e falhas de software Especificação errada: pode não ter declarado exatamente o que o cliente quer ou necessita Falta de um requisito Especificação pode conter um requisito impossível de implementar Projeto do sistema pode conter um defeito Projeto do programa pode conter um defeito Código do programa pode estar errado

Prentice Hall Engenharia de Software: Teoria e Prática Shari Lawrence Pfleeger Capítulo 8 Terminologias Identificação de defeito: quais defeitos causaram a falha? Correção ou eliminação de defeitos: fazer mudanças no sistema

Prentice Hall Engenharia de Software: Teoria e Prática Shari Lawrence Pfleeger Capítulo 8 Tipos de defeitos Defeito no algoritmo Defeitos de sintaxe Defeitos de computação e de precisão Defeitos na documentação Stress ou defeitos por sobrecarga Defeitos relativos à capacidade ou a limites Defeitos de sincronia ou de coordenação Defeitos de desempenho ou throughput Defeitos de recuperação Defeitos do hardware e do software do sistema Defeitos de padrões e procedimentos

Prentice Hall Engenharia de Software: Teoria e Prática Shari Lawrence Pfleeger Capítulo 8

Prentice Hall Engenharia de Software: Teoria e Prática Shari Lawrence Pfleeger Capítulo 8

Prentice Hall Engenharia de Software: Teoria e Prática Shari Lawrence Pfleeger Capítulo 8 Provando que o código está correto Técnicas de prova formal Execução simbólica Prova automática de teorema

Prentice Hall Engenharia de Software: Teoria e Prática Shari Lawrence Pfleeger Capítulo 8 Teste minucioso Teste de comando Teste de ramificação Teste de caminho Teste de caminho definição-uso Teste de todos os usos Teste de uso de todos os predicados e de alguns usos computacionais Teste de todos os usos computacionais e de alguns usos de predicados

Prentice Hall Engenharia de Software: Teoria e Prática Shari Lawrence Pfleeger Capítulo 8 Comparando técnicas

Prentice Hall Engenharia de Software: Teoria e Prática Shari Lawrence Pfleeger Capítulo 8 Testes de integração Bottom-up Top-down Big-bang sanduíche

Prentice Hall Engenharia de Software: Teoria e Prática Shari Lawrence Pfleeger Capítulo 8

Prentice Hall Engenharia de Software: Teoria e Prática Shari Lawrence Pfleeger Capítulo 8 Planejamento do teste Estabelecer os objetivos do teste Projetar casos de teste Escrever casos de teste Testar casos de teste Executar testes Avaliar resultados dos testes

Prentice Hall Engenharia de Software: Teoria e Prática Shari Lawrence Pfleeger Capítulo 8 Ferramentas automatizadas de testes Análise de código Análise estática analisador de código verificadores de estrutura analisador de dados verificador de seqüência Análise dinâmica monitores de programa Execução de testes –Captura e repetição –Stubs and drivers –Ambientes automatizados de teste Geradores de caso de teste

Prentice Hall Engenharia de Software: Teoria e Prática Shari Lawrence Pfleeger Capítulo 8 Quando encerrar os testes Implantação de defeitos ou implantação de erros Confiança no software