Avaliação de um Novo Modelo de Teste Estrutural para Programas Concorrentes

Resumo

Testar programas concorrentes é inerentemente mais difícil que testar programas sequenciais. Atributos como comunicação e sincronização entre processos e não-determinismo trazem problemas em aplicar os tradicionais critérios de teste sequenciais. Entretanto, algumas dessas questões já foram investigadas com resultados positivos. Em particular, o projeto TestPar foi criado no ICMC/USP, em parceria com a UFPR e a Universidade de Southhampton, para adaptar os critérios tradicionais aos programas concorrentes de forma geral. Novos critérios foram aplicados com sucesso em diferentes linguagens e bibliotecas, assim como paradigmas, contando com o suporte da ferramenta ValiPar. Atualmente a ValiPar está instanciada para PVM, MPI, Pthreads e BPEL. Apesar disso, alguns critérios definidos consideravam apenas semânticas restritivas para primitivas de concorrência, obrigando a mudanças de um contexto para outro. Por esse motivo, um modelo estendido foi proposto recentemente suportando uma variedade maior de linguagens, bibliotecas e paradigmas. Este trabalho de IC, neste contexto, tem como objetivo projetar uma nova versão da ferramenta ValiPar para geração e avaliação de elementos a serem cobertos pelos casos de teste, considerando o novo modelo. Seu foco reside principalmente nos módulos Vali_Elem e Vali_Eval. Também busca avaliar a eficiência dos critérios de teste, da execução do teste e da generalidade do modelo de teste em um contexto diferente (da linguagem Java), com o uso da nova versão da ferramenta. Deste modo, algumas das questões em aberto do projeto TestPar serão investigadas.