Aplicando o modelo de teste estrutural para programas concorrentes em Java

• Processo: 11/19051-9
• Modalidade de apoio: Bolsas no Brasil - Iniciação Científica
• Data de Início da vigência: 01 de dezembro de 2011
• Data de Término da vigência: 30 de novembro de 2012
• Á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: Rafael Regis do Prado
• 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
• Vinculado ao auxílio: 08/57870-9 - Instituto de Sistemas Embarcados Críticos (ISEC), AP.TEM
• Assunto(s): Computação distribuída Java Sistemas distribuídos Reações competitivas
• Palavra(s)-Chave do Pesquisador: java | Teste de Programas Concorrentes | Validação e Verificação de Algoritmos Distribuídos | Sistemas Distribuídos

Resumo

A computação distribuída é impulsionada constantemente por avanços tecnológicos que oferecem novas soluções e novos serviços. No centro desta evolução há aspectos de software concorrente que norteiam o desenvolvimento de aplicações distribuídas. Apesar do uso intenso de processos concorrentes, observa-se uma grande carência de mecanismos e ferramentas de apoio para atividades de garantia de qualidade nesse contexto. O projeto interdisciplinar TestPar, em desenvolvimento no ICMC/USP, visa auxiliar a validação dessas aplicações e envolve pesquisadores da Engenharia de Software e de Sistemas Distribuídos. O TestPar investiga modelos e critérios de teste para fornecer uma medida de cobertura da atividade de teste no contexto de aplicações distribuídas. Este projeto de Iniciação Científica está inserido no contexto do projeto TestPar e tem por objetivo investigar a aplicação do modelo e critérios de teste em programas concorrentes já desenvolvidos para a linguagem Java. Atualmente apenas programas concorrentes desenvolvidos para MPI, PVM, PThreads e BPEL são considerados no projeto TestPar. As semânticas das primitivas de comunicação e sincronização em Java serão investigadas, considerando os paradigmas de passagem de mensagens e memória compartilhada. Os principais resultados esperados são: determinar se o modelo e os critérios propostos no projeto TestPar são flexíveis o suficiente para suportar processos concorrentes que utilizem ambos os paradigmas de comunicação e implementar os módulos da ferramenta de teste estrutural ValiPAR responsáveis pela instanciação desta para a linguagem Java.(AU)

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., 2013-01-01. (11/19051-9, 12/01901-9, 12/14285-4)