Bolsa 10/05237-0 - Teste e avaliação de software - BV FAPESP
Processo: 10/05237-0
Beneficiário: Laércio da Cruz Asano Júnior
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.