Skip to Main content Skip to Navigation
Theses

Modeling and testing of component-based systems

Abstract : In spite of several decades of research, assuring the quality of software systems still represents a major and serious problem nowadays for the industry with respect to both results and costs. This thesis comes within the scope of a proposal centered on a generic unified framework for both complex software systems modeling and testing. The contribution of this paper is then twofold: first, it defines a unified framework for modelling generic components, as well as a formalization of integration rules to combine their behaviour. This is based on a coalgebraic definition of components, which is a categorical representation allowing the unification of a large family of formalisms for specifying state-based systems. Second, it studies compositional conformance testing i.e. checking whether an implementation made from correct interacting components combined with integration operators conforms to its specification
Document type :
Theses
Complete list of metadatas

Cited literature [133 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00659305
Contributor : Abes Star :  Contact
Submitted on : Thursday, January 12, 2012 - 3:13:23 PM
Last modification on : Friday, October 23, 2020 - 4:49:47 PM
Long-term archiving on: : Monday, November 19, 2012 - 1:26:06 PM

File

Kanso_final.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-00659305, version 1

Collections

Citation

Bilal Kanso. Modeling and testing of component-based systems. Other. Ecole Centrale Paris, 2011. English. ⟨NNT : 2011ECAP0050⟩. ⟨tel-00659305⟩

Share

Metrics

Record views

666

Files downloads

377