Definição de um Framework para Avaliação Sistemática de Técnicas de Teste no Contexto de Programação Concorrente

Resumo

Várias propostas existem para apoiar o teste de programas concorrentes. De uma maneira geral, as propostas exploram a análise estática ou dinâmica, o paradigma de passagem de mensagem ou memória compartilhada, a linguagem de programação e o uso de padrões. Esses trabalhos tratam de diferentes abordagens de teste como: injeção de falhas, verificação formal, desenvolvimento dirigido a teste, execução controlada, teste de mutação, teste baseado em modelos, teste estrutural, análise simbólica, teste baseado em busca, teste de concorrência probabilística, teste de alcançabilidade e geração de casos de teste. Apesar de existirem diversas soluções, não há ainda um corpo de evidências consolidado que possibilite aos desenvolvedores de aplicações distribuídas na indústria e academia selecionar quais as técnicas, ferramentas e estudos disponíveis, apresentam as melhores relações custo/benefício, quando estes são incorporados à atividade de teste da organização. Este trabalho irá investigar as principais alternativas para a atividade de teste que vêm sendo empregadas no contexto de aplicações concorrentes, a fim de desenvolver um framework para auxiliar a avaliação sistemática dessas técnicas, facilitando a realização de estudos futuros e, principalmente, ajudando os profissionais da academia e da indústria a selecionar a melhor técnica/ferramenta de teste considerando diversos fatores de qualidade como satisfação, custo, eficácia e eficiência.