Busca avançada
Ano de início
Entree

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
Linha de fomento:Bolsas no Brasil - Iniciação Científica
Vigência (Início): 01 de julho de 2010
Vigência (Término): 30 de junho de 2011
Área do 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

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.