Decomposability in input output conformance testing

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Samenvatting

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.
Originele taal-2Engels
TitelProceedings Eigth Workshop on Model-Based Testing (Rome, Italy, March 17, 2013)
RedacteurenA.K. Petrenko, H. Schlingloff
UitgeverijEPTCS
Pagina's51-66
DOI's
StatusGepubliceerd - 2013
Evenementconference; Eigth Workshop on Model-Based Testing -
Duur: 1 jan 2013 → …

Publicatie series

NaamElectronic Proceedings in Theoretical Computer Science
Volume111
ISSN van geprinte versie2075-2180

Congres

Congresconference; Eigth Workshop on Model-Based Testing
Periode1/01/13 → …
AnderEigth Workshop on Model-Based Testing

Vingerafdruk

Duik in de onderzoeksthema's van 'Decomposability in input output conformance testing'. Samen vormen ze een unieke vingerafdruk.

Citeer dit