Petiano: Décio de Souza Oliveira Júnior
Orientador: Prof. Dr. Marcelo Medeiros Eler (Currículo Lattes)
O teste de software é uma atividade fundamental para a garantia da qualidade de software. Técnicas de teste auxiliam testadores na criação de casos de teste capazes de revelar diferentes tipos de falhas. Em particular, a técnica estrutural destaca-se por propor critérios que orientam a criação de casos de teste capazes de exercitar as estruturas do programa sob teste, como caminhos, instruções, desvios de fluxo, e variáveis.Gerar casos de teste para atender os critérios do teste estrutural exige muito esforço. Para isso, ferramentas de geração automática de dados de teste podem ser utilizadas para apoiar esta atividade. Em especial, a execução simbólica aliada a solucionadores de restrições tem sido utilizada como uma técnica efetiva para gerar dados de teste para cobrir critérios de fluxo de controle. Apesar de ser uma abordagem utilizada há mais de três décadas, ela ainda enfrenta muitos desafios e por isso não consegue gerar dados de teste suficientes para cobrir todos os trechos de código de um programa sob teste. Conhecer as características dos trechos de código não cobertos por essas abordagens pode fornecer uma informação valiosa sobre como adaptar ou propor novas técnicas para aperfeiçoar a geração automática com base em execução simbólica. Por isso, o objetivo deste projeto é investigar as características de trechos de código que geralmente não são cobertos por ferramentas de geração automática de dados de teste baseadas em execução simbólica. As características obtidas desses trechos de código serão então analisadas por ferramentas estatísticas e de visualização de dados para a identificação de padrões de características e comparação com os potenciais problemas deste tipo de abordagem que já foram relatados na literatura.