Busca avançada
Ano de início
Entree

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
Data de Início da vigência: 01 de abril de 2012
Data de Término da vigência: 31 de março de 2013
Área de 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)

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

Publicações científicas
(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)
SOUZA, PAULO S. L.; SOUZA, SIMONE S.; ROCHA, MURILO G.; PRADO, RAFAEL R.; BATISTA, RAPHAEL N.; ALEXANDROV, V; LEES, M; KRZHIZHANOVSKAYA, V; DONGARRA, J; SLOOT, PMA. Data flow testing in concurrent programs with message passing and shared memory paradigms. PROCEEDINGS OF THE XI LATIN AND AMERICAN ALGORITHMS, GRAPHS AND OPTIMIZATION SYMPOSIUM, v. 18, p. 10-pg., . (11/19051-9, 12/01901-9, 12/14285-4)