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 metadatas

Cited literature [24 references]  Display  Hide  Download

https://hal-ecp.archives-ouvertes.fr/hal-00782889
Contributor : Marc Aiguier <>
Submitted on : Wednesday, January 30, 2013 - 5:43:02 PM
Last modification on : Thursday, April 25, 2019 - 11:19:37 AM
Long-term archiving on: Monday, June 17, 2013 - 5:47:31 PM

File

apsec2012_submission_159.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00782889, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

412

Files downloads

464