| 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 | |
| TITULO | |
| Matéria(s) publicada(s) em Outras Mídias ( ): | |
| Mais itensMenos itens | |
| VEICULO: TITULO (DATA) | |
| VEICULO: TITULO (DATA) | |