Fabrízio Piccoli Maziero GERAÇÃO AUTOMÁTICA DE TESTES BASEADA EM ALGORITMOS GENÉTICOS PARA VERIFICAÇÃO FUNCIONAL Dissertação submetida ao Programa dePós-GraduaçãoemEngenhariaElé- tricaparaaobtençãodoGraudeMes- tre em Engenharia Elétrica. Universidade Federal de Santa Cata- tina. Orientador: Prof. Dr. Djones Vinicius Lettnin Florianópolis 2016 Ficha de identificação da obra elaborada pelo autor através do Programa de Geração Automática da Biblioteca Universitária da UFSC. Maziero, Fabrízio Piccoli Geração automática de testes baseada em algoritmos genéticos para verificação funcional / Fabrízio Piccoli Maziero ; orientador, Djones Vinicius Lettnin - Florianópolis, SC, 2016. 112 p. Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. Inclui referências 1. Engenharia Elétrica. 2. Sistemas Embarcados. 3. Verificação Funcional. 4. Algoritmos Genéticos. I. Lettnin, Djones Vinicius. II. Universidade Federal de Santa Catarina. Programa de Pós-Graduação em Engenharia Elétrica. III. Título. Dedicoessetrabalhoàtodosquemeacom- panharamnestacaminhadapessoalepro- fissional. AGRADECIMENTOS Em primeiro lugar, gostaria de agradecer aos meus pais, Vilma e Nilson, por todo o apoio que me deram não apenas neste período, mas em toda a vida. Tudo que sou hoje devo à eles. Também ao meu irmão, Maurízio, pelo companheirismo e apoio. Agradeçoàtodososmeusamigos,tantodePassoFundo,quanto Florianópolis, e de qualquer outro lugar, que estiveram presentes em minhavidanestemomento. Asconversas,saídas,econvíviocertamente ajudaram muito para a conclusão desta etapa. Agradeço ao meu orientador, Djones Lettnin, pela orientação e auxílio ao longo deste trabalho. Agradeço aos colegas de laboratório, em especial ao Rogério Pa- ludo e Vinícius Alves, por toda a contribuição e ajuda que me deram ao longo deste tempo, para o trabalho ou não. Agradeço ao Programa de Pós Graduação em Engenharia Elé- trica da UFSC e ao CNPq pela oportunidade de realizar este trabalho. A ciência é a busca desinteressada pela verdadeobjetivaarespeitodomundona- tural. (Richard Dawkins)
Description: