Decomposability in input output conformance testing

N. Noroozi, M.R. Mousavi, T.A.C. Willemse

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review


We study the problem of deriving a specification for a third-party component, based on the specification of the system and the environment in which the component is supposed to reside. Particularly, we are interested in using component specifications for conformance testing of black-box components, using the theory of input-output conformance (ioco) testing. We propose and prove sufficient criteria for decompositionality, i.e., that components conforming to the derived specification will always compose to produce a correct system with respect to the system specification. We also study the criteria for strong decomposability, by which we can ensure that only those components conforming to the derived specification can lead to a correct system.
Original languageEnglish
Title of host publicationProceedings Eigth Workshop on Model-Based Testing (Rome, Italy, March 17, 2013)
EditorsA.K. Petrenko, H. Schlingloff
Publication statusPublished - 2013
Eventconference; Eigth Workshop on Model-Based Testing -
Duration: 1 Jan 2013 → …

Publication series

NameElectronic Proceedings in Theoretical Computer Science
ISSN (Print)2075-2180


Conferenceconference; Eigth Workshop on Model-Based Testing
Period1/01/13 → …
OtherEigth Workshop on Model-Based Testing


Dive into the research topics of 'Decomposability in input output conformance testing'. Together they form a unique fingerprint.

Cite this