Testing of component-based systems

Marc Aiguier (1) , Bilal Kanso (2, 3) , Frédéric Boulanger (3) , Christophe Gaston (4)

1 MAS - Mathématiques Appliquées aux Systèmes - EA 4037
2 Ecole Centrale Paris
3 E3S - Supélec Sciences des Systèmes
4 LIST (CEA) - Laboratoire d'Intégration des Systèmes et des Technologies

In this paper, we pursue our works on generic modeling and conformance testing of component-based systems. Here, we extend our theory of conformance testing to the testing of component-based systems. We first show that testing a global system can be done by testing its components thanks to the projection of global behaviors onto local ones. Secondly, based on our projection techniques, we define a framework to build adequate test purposes automatically for testing components in the context of the global system where they are plugged in. The underlying idea is to identify from any trace tr of the global system, the trace of any component involved in tr. Those projected traces can be then seen as test cases that should be tested on individual components.

Mots clés: Test purpose; Component-based system; Conformance testing; Compositional testing; Testing in context; Projection; Test purpose.

Domaines: Logique en informatique [cs.LO]

Marc Aiguier, Bilal Kanso, Frédéric Boulanger, Christophe Gaston. Testing of component-based systems. 19th Asia-Pacific Software Engineering Conference APSEC'12, Dec 2012, Hong-Kong, Hong Kong SAR China. pp.1-6. ⟨hal-00782889⟩