Decomposability in formal conformance testing

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

Research output: Book/ReportReportAcademic

30 Downloads (Pure)

Abstract

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
Place of PublicationEindhoven
PublisherTechnische Universiteit Eindhoven
Number of pages25
Publication statusPublished - 2013

Publication series

NameComputer science reports
Volume1302
ISSN (Print)0926-4515

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

  • Cite this

    Noroozi, N., Mousavi, M. R., & Willemse, T. A. C. (2013). Decomposability in formal conformance testing. (Computer science reports; Vol. 1302). Technische Universiteit Eindhoven.