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.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2012, 455, pp.66-97. 〈10.1016/j.tcs.2011.12.072〉
Liste complète des métadonnées

Littérature citée [47 références]  Voir  Masquer  Télécharger

https://hal-ecp.archives-ouvertes.fr/hal-00782372
Contributeur : Marc Aiguier <>
Soumis le : mardi 29 janvier 2013 - 15:58:19
Dernière modification le : mardi 17 avril 2018 - 11:48:04
Document(s) archivé(s) le : lundi 17 juin 2013 - 17:13:05

Fichier

root.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

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〉

Partager

Métriques

Consultations de la notice

197

Téléchargements de fichiers

253