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

Structural testing for message-passing concurrent programs: an extended test model

Full text
Author(s):
Souza, Paulo S. L. [1] ; Souza, Simone R. S. [1] ; Zaluska, Ed [2]
Total Authors: 3
Affiliation:
[1] Univ Sao Paulo, Comp Syst Dept, BR-13566590 Sao Carlos, SP - Brazil
[2] Univ Southampton, Southampton SO17 1BJ, Hants - England
Total Affiliations: 2
Document type: Journal article
Source: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE; v. 26, n. 1, p. 21-50, JAN 2014.
Web of Science Citations: 5
Abstract

Developing high-quality, error-free message-passing concurrent programs is not trivial. Although a number of different primitives with associated semantics are available to assist such development, they often increase the complexity of the testing process. In this paper, we extend our previous test model for message-passing programs and present new structural testing criteria, taking into account additional features used in this paradigm, such as collective communication, non-blocking sends, distinct semantics for non-blocking receives, and persistent operations. Our new model also recognizes that sender primitives cannot always be matched with every receive primitive. This improvement allows us to remove statically a significant number of infeasible synchronization edges that would otherwise have to be analyzed later by the tester. In this paper, the test model is presented using the Message-Passing Interface standard; however, our new model has been designed to be flexible, and it can be configured to support a range of different message-passing environments or languages. We have carried out case studies showing the applicability of the new test model to represent message-passing programs and also to reveal errors, mainly those errors related to inter-process communication. In addition to increasing the number of features supported by the test model, we have also reduced the overall cost of testing significantly. Our case studies suggest that the number of synchronization edges can be reduced by up to 93%, mainly by eliminating infeasible edges between unmatchable communication primitives. The main contribution of the paper is to present a more flexible test model that provides improved coverage for message-passing programs and at the same time reduces the cost of testing significantly. Copyright (c) 2012 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: 08/57870-9 - Critical Embedded Systems Institute
Grantee:Jose Carlos Maldonado
Support type: Research Projects - Thematic Grants