Estudo e Implementação de Mecanismos para Determinação de Elementos não Executáveis durante o Teste Estrutural de Programas Concorrentes

• Processo: 10/05237-0
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de julho de 2010
• Data de Término da vigência: 30 de junho de 2011
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Metodologia e Técnicas da Computação
• Pesquisador responsável: Adenilso da Silva Simão
• Beneficiário: Laércio da Cruz Asano Júnior
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Assunto(s): Teste e avaliação de software
• Palavra(s)-Chave do Pesquisador: elementos não executáveis | programas concorrentes | Teste de Software | engenharia de software, teste de software

Resumo

Esta proposta de iniciação científica está inserida no contexto do projeto Subsídios para o Teste Estrutural de Aplicações Distribuídas (FAPESP 2008/04614-5), cujo objetivo central é investigar alternativas para reduzir o custo de aplicação e a eficácia em revelar defeitos dos critérios porpostos para aplicações concorrentes. Em particular este projeto pretende analisar abordagens para identificação de elementos não executáveis no teste estrutural de programas sequenciais e adaptá-las para o contexto de programas concorrentes. Será feito um levantamento de abordagens efetivas que terão sua adaptabilidade estudada. Espera-se implementar as abordagens estudadas na ferramenta de teste ValiPAR - ferramenta de apoio ao teste de programas concorrentes, em desenvolvimento pelo grupo de pesquisa.