| Texto completo | |
| Autor(es): |
Souza, S. R. S.
;
Souza, P. S. L.
;
Brito, M. A. S.
;
Simao, A. S.
;
Zaluska, E. J.
Número total de Autores: 5
|
| Tipo de documento: | Artigo Científico |
| Fonte: | SOFTWARE TESTING VERIFICATION & RELIABILITY; v. 25, n. 3, p. 23-pg., 2015-05-01. |
| Resumo | |
Testing is a key activity to assure the quality of concurrent applications. In recent years, a variety of different mechanisms have been proposed to test concurrent software. However, a persistent problem is the high testing cost because of the large number of different synchronization sequences that must be tested. When structural testing criteria are adopted, a large number of infeasible synchronization sequences is generated, increasing the testing cost. Although the use of reachability testing reduces the number of infeasible combination (because only feasible synchronization sequences are generated), many synchronization combinations are also generated, and this again results in a testing cost with exponential behavior. This paper presents a new composite approach that uses reachability testing to guide the selection of the synchronization sequences tests according to a specific structural testing criterion. This new composite approach is empirically evaluated in the context of message-passing concurrent programs developed with MPI. The experimental study evaluates both the cost and effectiveness of proposed composite approach in comparison with traditional reachability testing and structural testing. The results confirm that the use of the new composite approach has advantages for testing of concurrent applications. Copyright (c) 2015 John Wiley & Sons, Ltd. (AU) | |
| Processo FAPESP: | 08/04614-5 - Subsidios para o teste estrutural de aplicacoes distribuidas. |
| Beneficiário: | Simone Do Rocio Senger de Souza |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Processo FAPESP: | 13/01818-7 - Teste paralelo de programas concorrentes |
| Beneficiário: | Paulo Sérgio Lopes de Souza |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Processo FAPESP: | 10/02839-0 - Teste de aplicações distribuídas: desafios usando o paradigma de passagem de mensagens |
| Beneficiário: | Paulo Sérgio Lopes de Souza |
| Modalidade de apoio: | Bolsas no Exterior - Pesquisa |
| Processo FAPESP: | 09/04517-2 - Avaliação da Efetividade dos Critérios de Teste Estruturais no Contexto de Programas Concorrentes |
| Beneficiário: | Maria Adelina Silva Brito |
| Modalidade de apoio: | Bolsas no Brasil - Mestrado |