| Full text | |
| Author(s): |
Souza, S. R. S.
;
Souza, P. S. L.
;
Brito, M. A. S.
;
Simao, A. S.
;
Zaluska, E. J.
Total Authors: 5
|
| Document type: | Journal article |
| Source: | SOFTWARE TESTING VERIFICATION & RELIABILITY; v. 25, n. 3, p. 23-pg., 2015-05-01. |
| Abstract | |
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) | |
| FAPESP's process: | 13/01818-7 - Parallel testing of concurrent programs |
| Grantee: | Paulo Sérgio Lopes de Souza |
| Support Opportunities: | Regular Research Grants |
| FAPESP's process: | 10/02839-0 - Distributed applications testing: challenges in message passing paradigm |
| Grantee: | Paulo Sérgio Lopes de Souza |
| Support Opportunities: | Scholarships abroad - Research |
| FAPESP's process: | 09/04517-2 - Investigating of the Structural Testing Effectiveness in Context of Concurrent Programs |
| Grantee: | Maria Adelina Silva Brito |
| Support Opportunities: | Scholarships in Brazil - Master |