Geração automática de dados de teste para cobrir caminhos dependentes de exceção usando execução simbólica

Resumo

A atividade de teste de software é uma atividade chave para a garantia de qualidade de software. Técnicas de teste auxiliam testadores na criação e avaliação de casos de teste. A execução simbólica tem sido utilizada como uma técnica efetiva para a geração automática de dados de teste para cobrir os requisitos de teste definidos pelo critério de fluxo de controle da técnica de teste estrutural. Na execução simbólica, cada caminho do programa sob teste é representado por uma sequência de restrições que devem ser satisfeitas para que o caminho seja executado. Soluções concretas são encontradas para as sequências de restrições por meio de solucionadores de restrições (constraint solvers), e essas soluções são usadas como dados de teste para executar o caminho em questão. A maioria das abordagens explora apenas técnicas para gera dados de teste para caminhos livres de exceção, que são caminhos nos quais os mecanismos de tratamento de exceção não são levados em consideração. A geração de dados de teste para caminhos dependentes de exceção, que são os caminhos que são executados apenas quando uma exceção específica é lançada, não tem sido tratada apropriadamente pelas abordagens atuais porque as condições/restrições para que uma exceção seja lançada não estão explícitas no código. Não há restrições próprias para sinalizar o lançamento de uma exceção, a não que seja uma exceção criada pelo desenvolvedor. Do contrário, somente uma análise do código sob a ótica de cada tipo de exceção pode revelar quais dados de teste podem provocar a exceção. Portanto, este projeto de pesquisa tem o objetivo de investigar a geração de dados de teste para caminhos dependentes de exceção e propor técnicas para definir restrições capazes de garantir que as exceções necessárias sejam lançadas e evitar que as exceções indesejadas sejam ativadas. (AU)