| Processo: | 14/08713-9 |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Data de Início da vigência: | 01 de agosto de 2014 |
| Data de Término da vigência: | 31 de julho de 2016 |
| Área do conhecimento: | Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação |
| Pesquisador responsável: | Marcelo Medeiros Eler |
| Beneficiário: | Marcelo Medeiros Eler |
| Instituição Sede: | Escola de Artes, Ciências e Humanidades (EACH). Universidade de São Paulo (USP). São Paulo , SP, Brasil |
| Município da Instituição Sede: | São Paulo |
| Assunto(s): | Engenharia de software Teste e avaliação de software Execução simbólica |
| Palavra(s)-Chave do Pesquisador: | Caminhos dependentes de exceção | Execução simbólica | geração automática | Teste estrutural | Engenharia de Software |
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)
| Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio: |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |