Paper Info
Title
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 modelling 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.
Year
DOI
Venue
2012
10.1016/j.tcs.2011.12.072
Theor. Comput. Sci.
Keywords
DocType
Volume
large family,formal abstract framework,state-based system,unified framework,complex software system,categorical representation,correct interacting component,integration rule,integration operator,coalgebraic definition,compositional conformance testing,abstract component
Journal
455,
ISSN
Citations 
PageRank 
0304-3975
9
0.58
References 
Authors
29
3
Name
Order
Citations
PageRank
Marc Aiguier19814.95
Frédéric Boulanger210517.17
Bilal Kanso3342.93