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
Modalidade de apoio: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
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.

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)