Reference : Model-based testing of global properties on large-scale distributed systems
Scientific journals : Article
Engineering, computing & technology : Computer science
Model-based testing of global properties on large-scale distributed systems
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 mailto [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]
Information and Software Technology
Yes (verified by ORBilu)
[en] 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
[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.

File(s) associated to this reference

Fulltext file(s):

Open access
Model-based testing of global properties.pdfPublisher postprint1.83 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.