Avaliação de custo e eficácia de métodos e critérios de teste baseado em Máquinas de Estados Finitos

xvii 1 Introducao 1 1.1 Contextualizacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 1.2 Motivacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.3 Objetivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 1.4 Organizacao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2 Teste de Software 7 2.1 Consideracoes Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 2.2 Teste de Software . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.1 Conceitos e Definicoes . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 2.2.2 Visoes do Processo de Teste de Software . . . . . . . . . . . . . . . . . . 9 2.2.3 Fases de Teste . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.2.4 Tecnicas de Teste . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.3 Teste Baseado em Erros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.4 Teste Baseado em Modelos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 2.4.1 Maquinas de Estados Finitos (MEFs) . . . . . . . . . . . . . . . . . . . . 13 2.4.2 Maquinas de Estados Finitos Estendidas (MEFEs) . . . . . . . . . . . . . 13 2.4.3 Statecharts . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.4.4 Redes de Petri . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 2.5 Consideracoes Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18 3 Maquinas de Estados Finitos 19 3.1 Consideracoes Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 3.2 Maquinas de Estados Finitos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3.3 Teste Baseado em Maquinas de Estados Finitos . . . . . . . . . . . . . . . . . . . 25 3.4 Consideracoes Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26 4 Metodos de Geracao e Criterios de Cobertura de Teste Baseado em MEFs 27 4.1 Consideracoes Iniciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 4.2 Metodos de Geracao de Teste Baseado em MEFs . . . . . . . . . . . . . . . . . . 28 4.2.1 Metodo TT . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29