Article (Scientific journals)
Model-based testing of global properties on large-scale distributed systems
Sunyé, G.; De Almeida, E. C.; Le Traon, Yves et al.
2014In Information and Software Technology, 56 (7), p. 749-762
Peer reviewed


Full Text
Model-based testing of global properties.pdf
Publisher postprint (1.87 MB)

All documents in ORBilu are protected by a user license.

Send to


Keywords :
Distributed software; Model-based testing; Software testing; Defects; Experiments; Model checking; Distributed Hash Table; Distributed test architecture; Experimental validations; Large-scale distributed system; Model based testing; Open source implementation; Trustworthy softwares; Distributed computer systems
Abstract :
[en] Context Large-scale distributed systems are becoming commonplace with the large popularity of peer-to-peer and cloud computing. The increasing importance of these systems contrasts with the lack of integrated solutions to build trustworthy software. A key concern of any large-scale distributed system is the validation of global properties, which cannot be evaluated on a single node. Thus, it is necessary to gather data from distributed nodes and to aggregate these data into a global view. This turns out to be very challenging because of the system's dynamism that imposes very frequent changes in local values that affect global properties. This implies that the global view has to be frequently updated to ensure an accurate validation of global properties. Objective In this paper, we present a model-based approach to define a dynamic oracle for checking global properties. Our objective is to abstract relevant aspects of such systems into models. These models are updated at runtime, by monitoring the corresponding distributed system. Method We conduce real-scale experimental validation to evaluate the ability of our approach to check global properties. In this validation, we apply our approach to test two open-source implementations of distributed hash tables. The experiments are deployed on two clusters of 32 nodes. Results The experiments reveal an important defect on one implementation and show clear performance differences between the two implementations. The defect would not be detected without a global view of the system. Conclusion Testing global properties on distributed software consists of gathering data from different nodes and building a global view of the system, where properties are validated. This process requires a distributed test architecture and tools for representing and validating global properties. Model-based techniques are an expressive mean for building oracles that validate global properties on distributed systems. © 2014 Elsevier B.V. All rights reserved.
Disciplines :
Computer science
Identifiers :
Author, co-author :
Sunyé, G.;  Lina - Université de Nantes, 2 rue de la Houssinière, Nantes Cedex 03, France
De Almeida, E. C.;  Departamento de Informática, Centro Politécnico, Rua Cel. Francisco H. dos Santos, 100, Jardim das Americas - Curitiba PR, CEP 81531-980, Brazil
Le Traon, Yves ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Baudry, B.;  IRISA Rennes, Campus Universitaire de Beaulieu, 263 Avenue du Général Leclerc, CS 74205, 35042 Rennes cedex, France
Jézéquel, J.-M.;  IRISA Rennes, Campus Universitaire de Beaulieu, 263 Avenue du Général Leclerc, CS 74205, 35042 Rennes cedex, France
External co-authors :
Language :
Title :
Model-based testing of global properties on large-scale distributed systems
Publication date :
Journal title :
Information and Software Technology
Publisher :
Volume :
Issue :
Pages :
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 03 March 2016


Number of views
110 (1 by Unilu)
Number of downloads
605 (0 by Unilu)

Scopus citations®
Scopus citations®
without self-citations
WoS citations


Similar publications

Contact ORBilu