A formal abstract framework for modelling and testing complex software systems - CentraleSupélec Access content directly
Journal Articles Theoretical Computer Science Year : 2012

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.
Fichier principal
Vignette du fichier
root.pdf (325.17 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
185 View
475 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More