Avaliação de um novo modelo de teste estrutural para programas concorrentes

• Processo: 12/01901-9
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Vigência (Início): 01 de abril de 2012
• Vigência (Término): 31 de março de 2013
• Área do conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Paulo Sérgio Lopes de Souza
• Beneficiário: Murilo Giacometti Rocha
• 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): Engenharia de software Computação paralela Programação concorrente Sistemas distribuídos Teste e avaliação de software
• Palavra(s)-Chave do Pesquisador: computação paralela | Engenharia de Software | programação concorrente | Sistemas Distribuídos | Teste de Software | Teste estrutural | Programação Concorrente

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.(AU)