Complete composition operators for IOCO-testing theory

Beneš, Nikola and Daca, Przemyslaw and Henzinger, Thomas A and Kretinsky, Jan and Ničković, Dejan (2015) Complete composition operators for IOCO-testing theory. In: CBSE: Component-Based Software Engineering , May 4-8, 2015, Montreal, QC, Canada.

[img] Text
conf-cbse-BenesDHKN15.pdf - Accepted Version
Available under License All rights reserved.
Download (456Kb)
Official URL:


We extend the theory of input-output conformance with operators for merge and quotient. The former is useful when testing against multiple requirements or views. The latter can be used to generate tests for patches of an already tested system. Both operators can combine systems with different action alphabets, which is usually the case when constructing complex systems and specifications from parts, for instance different views as well as newly defined functionality of a~previous version of the system.

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: IOCO, model-based testing, decomposition, specification merging
Subjects: 000 Computer science, knowledge & general works > 000 Computer science, knowledge & systems
Research Group: Henzinger Group
SWORD Depositor: Sword Import User
Depositing User: Sword Import User
Date Deposited: 03 Aug 2016 09:23
Last Modified: 04 May 2017 10:53

Actions (login required)

View Item View Item