Teste de Software 01: Introdução Marcelo d’Amorim damorim@cin.ufpe.br

Resumo desta aula Perspectiva Alguma terminologia Provar corretude ou encontrar erros? Alguma terminologia Caso de teste, suite de teste, falha, defeitos, depuração, etc. Dados estatísticos sobre a área

Perspectiva: Métodos Formais e Informais Prova de teorema Prova propriedades complexas, mas requer muito esforço humano. Análise estática (interpretação abstrata) Prova propriedades simples; pode apresentar alarmes falso. Mas é automático. Teste Não prova corretude e não é automático!

Perspectiva: Métodos Formais e Informais “Testing can never demonstrate the absence of errors in software, only their presence.” -- E.W.Dijkstra

Perspectiva: Métodos Formais e Informais “Testing can never demonstrate the absence of errors in software, only their presence.” -- E.W.Dijkstra Principal limitação de testes é incompletude: é possível que teste não encontre um erro latente.

Perspectiva: Métodos Formais e Informais “Testing can never demonstrate the absence of errors in software, only their presence.” -- E.W.Dijkstra Principal limitação de testes é incompletude: é possível que teste não encontre um erro latente. Apesar disto, testes também é: Simples de implantar Documenta intenções e designs, e É eficaz em encontrar erros. Inclusive, erros complexos como memory leakage e deadlock

 "Beware of bugs in the above code; I have only proved it correct, not tried it." -- Donald Knuth

O que é um teste?

O que é um teste? “A set of test inputs, execution conditions, and expected results developed for a particular objective, such as to exercise a particular program path or to verify compliance with a specific requirement” [IEEE, do178b]

O que é um teste? “A set of test inputs, execution conditions, and expected results developed for a particular objective, such as to exercise a particular program path or to verify compliance with a specific requirement” [IEEE, do178b]

O que é um teste? “A set of test inputs, execution conditions, and expected results developed for a particular objective, such as to exercise a particular program path or to verify compliance with a specific requirement” [IEEE, do178b]

Partes de um (caso de) teste “Test inputs” = dados de entrada “Execution conditions” = precondições “Expected results” (oracle) = resultado esperado (oráculo)

Estrutura de um teste Exemplo: caixa eletrônico Cenário: saque de dinheiro Teste: ?

Estrutura de um teste Exemplo: caixa eletrônico Cenário: saque de dinheiro Teste: Inserir cartão Confirmar se leu corretamente Informar senha Confirmar se válida Interromper se opção saque indisponível Informar opção de saque Informar valor de saque Retirar dinheiro Conferir dinheiro

Estrutura de um teste Exemplo: caixa eletrônico Cenário: saque de dinheiro Teste: ENTRADA Inserir cartão Confirmar se leu corretamente Informar senha Confirmar se válida Interromper se opção saque indisponível Informar opção de saque Informar valor de saque Retirar dinheiro Conferir dinheiro CONDIÇÃO RESULTADO ESPERADO

Suíte de teste Definição: conjunto de casos de testes Em geral, relacionado a módulo do sistema Exemplo: suíte de regressão

comum: rodar teste de regressão ao final de cada dia de desenvolvimento continuous testing: rodar teste de regressão a medida que mudanças aparecem impact analysis: rodar apenas os testes afetados por mudanças no código

Terminologia IEEE STD. 982.2-1988 (http://standards.ieee.org/) Fault ou bug (defeito) problema Failure (erro) manifestação do problema Mais detalhes Software Metrics and Reliability [Rosenberg et al., ISSRE’98]

Terminologia IEEE STD. 982.2-1988 (http://standards.ieee.org/) Fault or bug (defeito) problema Failure (erro) manifestação do problema Mais detalhes Software Metrics and Reliability [Rosenberg et al., ISSRE’98] CAUSA EFEITO

Exemplo // pre condicao: v != null public static void sort(int[] v) { for (int i = 0; i <= v.length; i++) { …v[i] … }

Exemplo // pre condicao: v != null public static void sort(int[] v) { for (int i = 0; i <= v.length; i++) { …v[i] … } CAUSA EFEITO

Teste e Depuração Teste é atividade de localizar erros! Depuração é atividade de localizar bugs! Exemplo sort(new int[]{});

Terminologia IEEE STD. 982.2-1988 (http://standards.ieee.org/) Fault or bug (defeito) problema Failure (erro) manifestação do problema Mais detalhes Software Metrics and Reliability [Rosenberg et al., ISSRE’98] Teste procura por manifestações de um problema

Como se manifesta? Erros de lógica Erros universais

Inspeção Forma-se uma equipe para identificar defeitos e chegar a um consenso Qualquer artefato pode ser alvo de inspeção Exemplo Walkthrough (forma de code peer review)

Teste x Depuração x Inpeção Teste e Depuração são atividades ortogonais Inspeção Manual (necessariamente) Complementar à teste e depuração

Alguns dados estatísticos Entre 70 e 80% do custo de desenvolvimento de software envolve atividades de teste e depuração -- National Institute of Standards and Technology (NIST) 2002.

Alguns dados estatísticos Gartner Group estimou em 2006 que o mercado mundial de teste de software é de $13bi. e o tamanho do mercado global de serviços é em torno de $6.1bi. -- www.expresscomputeronline.com

Resumo desta aula Perspectiva Alguma terminologia Provar corretude ou encontrar erros? Alguma terminologia Caso de teste, suíte de teste, falha, defeitos, depuração, etc. Dados estatísticos sobre a área

Enquete ant make JUnit3 JUnit4