| Processo: | 13/01818-7 |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Data de Início da vigência: | 01 de agosto de 2013 |
| Data de Término da vigência: | 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: |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |