Busca avançada
Ano de início
Entree

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

Processo: 12/01901-9
Linha de fomento: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

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)

Matéria(s) publicada(s) na Agência FAPESP sobre a bolsa:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)