Busca avançada
Ano de início
Entree

Teste de aplicações distribuídas: desafios usando o paradigma de passagem de mensagens

Processo: 10/02839-0
Linha de fomento:Bolsas no Exterior - Pesquisa
Vigência (Início): 01 de setembro de 2010
Vigência (Término): 31 de agosto de 2011
Á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:Paulo Sérgio Lopes de Souza
Anfitrião: Edward John Zaluska
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
Local de pesquisa: University of Southampton, Inglaterra  
Vinculado ao auxílio:08/57870-9 - Instituto de Sistemas Embarcados Críticos (ISEC), AP.TEM
Assunto(s):Computação distribuída   Programação concorrente   Sistemas distribuídos   Comunicação por computador

Resumo

A computação distribuída é impulsionada constantemente por avanços tecnológicos que oferecem novas soluções e novos serviços. No centro dessa 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 pós-doutorado dá continuidade às pesquisas realizadas pelo candidato no projeto TestPar. O objetivo deste projeto de pós-doutorado é investigar possíveis extensões aos modelos e critérios de teste aplicados aos processos concorrentes, permitindo que esses representem outras semânticas de primitivas de comunicação e sincronização, considerando passagem de mensagens. Atualmente apenas as semânticas de primitivas ponto-a-ponto bloqueantes foram investigadas no TestPar. Serão investigadas as semânticas das primitivas não bloqueantes, coletivas e também diferentes modos da primitiva send bloqueante e não bloqueante. Os principais resultados esperados são: a extensão do modelo e dos critérios de teste para processos concorrentes com primitivas de comunicação para passagem de mensagens, a implementação de tais extensões na ferramenta de teste ValiPar. Pretende-se realizar este pós-doutorado no grupo de pesquisa interdisciplinar IAM (Intelligence, Agents, Multimedia Group) da Universidade de Southampton/UK. O IAM destaca-se internacionalmente pelas suas pesquisas no desenvolvimento de grandes e complexos sistemas distribuídos, onde diferentes agentes interagem de maneira flexível para atingir suas metas. (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)

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, S. R. S.; SOUZA, P. S. L.; BRITO, M. A. S.; SIMAO, A. S.; ZALUSKA, E. J.. Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs. SOFTWARE TESTING VERIFICATION & RELIABILITY, v. 25, n. 3, SI, p. 310-332, . (10/02839-0, 13/01818-7, 09/04517-2, 08/04614-5)
SOUZA, PAULO S. L.; SANTANA, REGINA H. C.; SANTANA, MARCOS J.; ZALUSKA, ED; FAICAL, BRUNO S.; ESTRELLA, JULIO C.. Load Index Metrics for an Optimized Management of Web Services: A Systematic Evaluation. PLoS One, v. 8, n. 7, . (10/02839-0, 08/57870-9)
SOUZA, PAULO S. L.; SOUZA, SIMONE R. S.; ZALUSKA, ED. Structural testing for message-passing concurrent programs: an extended test model. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, v. 26, n. 1, p. 21-50, . (10/02839-0, 08/57870-9)

Por favor, reporte erros na lista de publicações científicas escrevendo para: cdi@fapesp.br.