Teste integrado de software e hardware : reusando casos de teste de software em teste de microprocessadores

摘要: . 11 1 INTRODUCAO 12 2 SELECAO DE TERMINOLOGIAS 15 2.1 Defeito, Falha, Erro e mau funcionamento 2.1.1 Engenharia de software 2.1.2 Tolerância a Falhas 2.1.3 Sistemas Eletronicos 16 2.2 Verificacao, Validacao Teste 17 2.2.1 Software 2.2.2 Digitais 2.3 Terminologia selecionada para Embarcados 18 2.3.1 2.3.2 19 3 TESTE SOFTWARE 21 3.1 Principios do 3.2 Testabilidade 23 3.3 Casos Cobertura 3.4 Criterios 24 3.5 Tecnicas 25 3.5.1 Funcional 3.5.2 Estrutural 27 4 PROCESSADORES EMBARCADOS 32 4.1 Metodos Tipos Processadores 4.1.1 Modelo 34 4.2 Auto-Teste em Emabarcados Baseado 35 5 REUSANDO CASOS PARA MICROPROCESSADOR 39 5.1 Trabalhos Relacionados 5.2 Abordagem Integrado Hardware 40 5.3 O Metodo 41 5.3.1 Conceitual 42 5.3.2 Aplicado 43 5.3.3 Ferramentas por Etapas 49 5.4 Estudos Caso Resultados 50 5.4.1 Experimentos com Biblioteca 54 6 CONSIDERACOES FINAIS 61 6.1 Futuros 6.2 Conclusao 62 REFERENCIAS 64 APENDICE A CODIGO-FONTE DOS ESTUDOS CASO 69 LISTA ABREVIATURAS E SIGLAS IEEE Institute of Electrical and Electronics Engineers HDL Description Language VV&T Verification, Validation Test UML Unified Modeling OMG Object Management Group GFC Grafo Fluxo Controle