Busca avançada
Ano de início
Entree

Teste paralelo de programas concorrentes

Processo: 13/01818-7
Modalidade de apoio:Auxílio à Pesquisa - Regular
Vigência: 01 de agosto de 2013 - 31 de julho de 2015
Á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
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
Pesquisadores associados: Edward John Zaluska ; João Manuel dos Santos Lourenço ; Júlio Cézar Estrella ; Marcos José Santana ; Regina Helena Carlucci Santana ; Sarita Mazzini Bruschi ; Simone Do Rocio Senger de Souza
Assunto(s):Computação de alto desempenho  Sistemas distribuídos  Teste e avaliação de software 
Palavra(s)-Chave do Pesquisador:Computacão de Alto Desempenho | Ferramenta Paralela de Teste | sistemas computacionais distribuídos | Teste Estrutural de Software Concorrente | Sistemas Distribuídos

Resumo

A computação na atualidade é considerada pervasiva e distribuída. Sistemas computacionais estão presentes em diferentes setores da sociedade e interagem para melhorar nossa qualidade de vida. A programação concorrente está presente em tais sistemas, oferecendo primitivas para a interação (comunicação e sincronização) de processos. Estas primitivas são muito utilizadas e são responsáveis por defeitos difíceis de serem revelados, pois tais defeitos são fortemente influenciados pelo não determinismo inerente à programação concorrente. O teste de programas concorrentes insere-se nesse contexto como uma atividade essencial à busca de defeitos, valendo-se de critérios de teste específicos e do apoio de ferramentas de teste. O projeto TestPar, em desenvolvimento no ICMC/USP, visa aprimorar o teste de programas concorrentes, porém, um problema ainda está em aberto: o alto custo de aplicação deste teste. Este projeto de pesquisa em particular aborda o problema do custo, propondo a paralelização da atividade de teste estrutural de programas concorrentes desenvolvidos nos paradigmas de passagem de mensagens e memória compartilhada. O principal objetivo da paralelização é a redução do tempo de resposta do teste, reduzindo-se com isso o custo sem reduzir a qualidade em termos de cobertura do código fonte. As investigações consideram o processo de teste como um todo, incluindo modelos, critérios e a ferramenta de teste ValiPar. A equipe de desenvolvimento conta com a contribuição de pesquisadores da Universidade de Southampton/UK e da Universidade Nova de Lisboa. Alunos da graduação e da pós-graduação também estão envolvidos neste projeto. As principais contribuições deste projeto são: (1) melhorar a eficácia da atividade de teste de programas concorrentes, reduzindo seu custo sem perder qualidade e (2) disponibilizar uma plataforma paralela voltada a este tipo de teste, a qual contribuirá diretamente com a indústria, as pesquisas e o ensino em Engenharia de Software, Computação Paralela e Sistemas Distribuídos. (AU)

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

Publicações científicas (5)
(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, 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, p. 23-pg., . (08/04614-5, 13/01818-7, 10/02839-0, 09/04517-2)
MELO, SILVANA MORITA; DE SOUZA, SIMONE DO ROCIO SENGER; SARMANHO, FELIPE SANTOS; LOPES DE SOUZA, PAULO SERGIO. Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. SOFTWARE QUALITY JOURNAL, v. 26, n. 3, SI, p. 921-959, . (15/23653-5, 13/01818-7, 13/05046-9, 10/04042-1)
SHISHIDO, HENRIQUE YOSHIKAZU; ESTRELLA, JULIO CEZAR; MOTTA TOLEDO, CLAUDIO F.; REIFF-MARGANIEC, STEPHAN; IEEE. A CloudSim extension for evaluating security overhead in workflow execution in clouds. 2018 SIXTH INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR 2018), v. N/A, p. 7-pg., . (13/01818-7, 13/07375-0, 11/09524-7)
MELO, SILVANA MORITA; DE SOUZA, SIMONE DO ROCIO SENGER; SARMANHO, FELIPE SANTOS; LOPES DE SOUZA, PAULO SERGIO. Contributions for the structural testing of multithreaded programs: coverage criteria, testing tool, and experimental evaluation. SOFTWARE QUALITY JOURNAL, v. 26, n. 3, p. 39-pg., . (15/23653-5, 13/01818-7, 10/04042-1, 13/05046-9)

Por favor, reporte erros na lista de publicações científicas utilizando este formulário.