Modelagem e implementacao de uma ferramenta da geracao automatica de dados de teste e minimizacao de conjunto de dados de teste.

• Processo: 97/07004-7
• Modalidade de apoio: Bolsas no Brasil - Mestrado
• Data de Início da vigência: 01 de outubro de 1997
• Data de Término da vigência: 31 de março de 1999
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Mario Jino
• Beneficiário: Paulo Marcos Siqueira Bueno
• Instituição Sede: Faculdade de Engenharia Elétrica e de Computação (FEEC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Palavra(s)-Chave do Pesquisador: Dados De Teste | Geracao Automatica | Minimizacao | Teste De Softaware

Resumo

Este Projeto de Pesquisa aborda o estudo dos métodos existentes para geração automática de dados de teste e a implementação de uma ferramenta que desempenhe tal tarefa. Inicialmente será desenvolvido um estudo com o objetivo de identificar os aspectos positivos e negativos de cada método. Serão considerados os métodos baseados em erros e baseados em caminhos do programa. O objetivo é estabelecer um modelo que combine: avaliação e processamento simbólicos, execução real do programa, métodos de minimização de funções e análise de fluxo de dados todos aspectos relevantes para a solução da problema, conforme identificado na literatura. O Gerador insere-se no contexto da ferramenta de auxílio ao teste POKE-TOOL, desenvolvida no DCA/FEEC/Unicamp, tendo como função gerar dados de teste que executem caminhos completos que satisfaçam os critérios de teste apoiados pela ferramenta. Também está no escopo deste projeto o estudo de técnicas de minimização de conjuntos de dados de teste e a sua implementação para minimizar os conjuntos gerados para satisfação dos critérios. (AU)

Publicações acadêmicas

(Referências obtidas automaticamente das Instituições de Ensino e Pesquisa do Estado de São Paulo)

BUENO, Paulo Marcos Siqueira. Geração automatica de dados e tratamento de não executabilidade no teste estrutural de software. 1999. Dissertação de Mestrado - Universidade Estadual de Campinas (UNICAMP). Faculdade de Engenharia Elétrica e de Computação Campinas, SP.