Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

A Model-Based Approach for Testing Large Scale Systems

Gerson Sunyé 1, 2 
1 AtlanModels - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : This document summarize the author's experience over six years testing large-scale systems. We outline that experience in four points. First, we present a methodology for testing large-scale system. The methodology takes into account three dimensions of these systems: functionality, scalability, and volatility. The methodology proposes to execute tests in different workloads, from a small-scale static system up to a large-scale dynamic system. Experiments show that the alteration of the three dimensional aspects improves code coverage, thus improving the confidence on tests. Second, we introduce a distributed test architecture that uses both, a broadcast protocol to send messages from the test controller to testers and a converge cast protocol to send messages from testers back to the test controller. Experiments show that the architecture is more scalable than traditional centralized architectures when testing systems with more than \num{1000} nodes. Third, we present an approach for using models as dynamic oracles for testing global properties of large-scale systems. This approach focuses on global, liveness, observable and controllable properties. We propose to efficiently keep updating a global model of the system during its execution. This model is then instantiated and evolved at runtime, by monitoring the corresponding distributed system, and serve as oracle for the distributed tests. We illustrate this approach by testing the reliability of two routing algorithms under churn. Results show common flaws in both algorithms. Finally, we present a model-driven approach for software artifacts deployment. We consider software artifacts as a product line and use feature models to represent their configurations and model-based techniques to handle automatic artifact deployment and reconfiguration. Experiments show that this approach reduces network traffic when deploying software on cloud environment.
Document type :
Habilitation à diriger des recherches
Complete list of metadata

Cited literature [105 references]  Display  Hide  Download
Contributor : Gerson Sunyé Connect in order to contact the contributor
Submitted on : Thursday, January 14, 2016 - 9:55:37 AM
Last modification on : Wednesday, April 27, 2022 - 4:45:51 AM
Long-term archiving on: : Friday, November 11, 2016 - 5:11:47 AM


  • HAL Id : tel-01255818, version 1



Gerson Sunyé. A Model-Based Approach for Testing Large Scale Systems. Software Engineering [cs.SE]. Université de Nantes, 2015. ⟨tel-01255818⟩



Record views


Files downloads