Avaliação da Efetividade dos Critérios de Teste Estruturais no Contexto de Programas Concorrentes

Resumo

Esta proposta de mestrado 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 propostos para aplicações concorrentes. Este projeto de mestrado em particular irá caracterizar e aplicar um estudo experimental com o objetivo de avaliar o custo, eficácia e aspecto complementar dos critérios de teste estruturais propostos para programas concorrentes. Será feito um estudo sobre a taxonomia de defeitos existentes para programas concorrentes, de modo a avaliar se os critérios de teste estudados são apropriados para revelar esses defeitos. Espera-se com os resultados deste projeto que a ferramenta de teste ValiPar - ferramenta de apoio ao teste de programas concorrentes, em desenvolvimento pelo grupo de pesquisa, seja melhorada e que a mesma possa ser utilizada com maior amplitude. Esse objetivo permitirá que a ferramenta seja disponibilizada para uso pela comunidade de programação concorrente e para o ensino de teste de programas concorrentes.