A formal abstract framework for modelling and testing complex software systems - CentraleSupélec
Article Dans Une Revue Theoretical Computer Science Année : 2012

A formal abstract framework for modelling and testing complex software systems

Résumé

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.
Fichier principal
Vignette du fichier
root.pdf (325.17 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-00782372 , version 1 (29-01-2013)

Identifiants

Citer

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

Altmetric

Partager

More