HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Testing of component-based systems

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download

Contributor : Marc Aiguier Connect in order to contact the contributor
Submitted on : Wednesday, January 30, 2013 - 5:43:02 PM
Last modification on : Thursday, February 17, 2022 - 2:32:05 PM
Long-term archiving on: : Monday, June 17, 2013 - 5:47:31 PM


Files produced by the author(s)


  • HAL Id : hal-00782889, version 1



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⟩



Record views


Files downloads