Advanced search
Start date
(Reference retrieved automatically from Web of Science through information on FAPESP grant and its corresponding number as mentioned in the publication by the authors.)

Empirical evaluation of a new composite approach to the coverage criteria and reachability testing of concurrent programs

Full text
Souza, S. R. S. [1] ; Souza, P. S. L. [1] ; Brito, M. A. S. [1] ; Simao, A. S. [1] ; Zaluska, E. J. [2]
Total Authors: 5
[1] Univ Sao Paulo, Comp Syst Dept, BR-13566590 Sao Carlos, SP - Brazil
[2] Univ Southampton, Elect & Comp Sci, Southampton SO17 1BJ, Hants - England
Total Affiliations: 2
Document type: Journal article
Source: SOFTWARE TESTING VERIFICATION & RELIABILITY; v. 25, n. 3, SI, p. 310-332, MAY 2015.
Web of Science Citations: 3

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: 10/02839-0 - Distributed applications testing: challenges in message passing paradigm
Grantee:Paulo Sérgio Lopes de Souza
Support type: Scholarships abroad - Research
FAPESP's process: 13/01818-7 - Parallel testing of concurrent programs
Grantee:Paulo Sérgio Lopes de Souza
Support type: Regular Research Grants
FAPESP's process: 09/04517-2 - Investigating of the Structural Testing Effectiveness in Context of Concurrent Programs
Grantee:Maria Adelina Silva Brito
Support type: Scholarships in Brazil - Master