A formal abstract framework for modelling and testing complex software systems

Abstract : The contribution of this paper is twofold: first, it defines a unified framework for modeling abstract 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 of correct interacting components combined with integration operators conforms to its specification.
Document type :
Journal articles
Complete list of metadatas

Cited literature [47 references]  Display  Hide  Download

https://hal-ecp.archives-ouvertes.fr/hal-00782372
Contributor : Marc Aiguier <>
Submitted on : Tuesday, January 29, 2013 - 3:58:19 PM
Last modification on : Thursday, April 25, 2019 - 11:19:39 AM
Long-term archiving on : Monday, June 17, 2013 - 5:13:05 PM

File

root.pdf
Publisher files allowed on an open archive

Identifiers

Collections

Citation

Marc Aiguier, Frédéric Boulanger, Bilal Kanso. A formal abstract framework for modelling and testing complex software systems. Theoretical Computer Science, Elsevier, 2012, 455, pp.66-97. ⟨10.1016/j.tcs.2011.12.072⟩. ⟨hal-00782372⟩

Share

Metrics

Record views

297

Files downloads

548