Advanced search
Start date
Betweenand


Data flow testing in concurrent programs with message passing and shared memory paradigms

Full text
Author(s):
Souza, Paulo S. L. ; Souza, Simone S. ; Rocha, Murilo G. ; Prado, Rafael R. ; Batista, Raphael N. ; Alexandrov, V ; Lees, M ; Krzhizhanovskaya, V ; Dongarra, J ; Sloot, PMA
Total Authors: 10
Document type: Journal article
Source: PROCEEDINGS OF THE XI LATIN AND AMERICAN ALGORITHMS, GRAPHS AND OPTIMIZATION SYMPOSIUM; v. 18, p. 10-pg., 2013-01-01.
Abstract

This paper proposes a novel structural test model to capture information about flows of data, control, communication and synchronization of parallel and distributed applications interacting through both message passing and shared memory paradigms. Our main focus is the data flow among threads of different processes, considering the operations of communication and synchronization related to such flow. This inter-process data-flow represents a challenge to the tester, who must consider the heterogeneity of programming paradigms and languages. The information captured by the test model is used by new testing criteria, which improve the testing activity quality. The proposed model and criteria were applied to an object-oriented and distributed application developed in Java. The results suggest that the model and the criteria are able to represent distributed applications developed with message passing and shared memory paradigms. The main contribution of this paper is to present a more flexible test model capable of improving the structural test activity related to the data flow on processes and threads simultaneously. (AU)

FAPESP's process: 11/19051-9 - Applying structural testing model for concurrent programs in Java
Grantee:Rafael Regis do Prado
Support Opportunities: Scholarships in Brazil - Scientific Initiation
FAPESP's process: 12/01901-9 - Evaluation of a new structural testing model for concurrent programs
Grantee:Murilo Giacometti Rocha
Support Opportunities: Scholarships in Brazil - Scientific Initiation
FAPESP's process: 12/14285-4 - Improving the structural testing of concurrent programs: a deterministic and parallel approach
Grantee:Raphael Negrisoli Batista
Support Opportunities: Scholarships in Brazil - Master