Complete composition operators for IOCO-testing theory Conference Paper

Author(s): Beneš, Nikola; Daca, Przemysław; Henzinger, Thomas A; Křetínský, Jan; Ničković, Dejan
Title: Complete composition operators for IOCO-testing theory
Title Series: Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering
Affiliation IST Austria
Abstract: 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.
Keywords: ioco; Model-based testing; Decomposition; Specification merging
Conference Title: CBSE: Component-Based Software Engineering
Conference Dates: May 4-8, 2015
Conference Location: Montréal, QC, Canada
Publisher: ACM  
Location: New York, NY, USA
Date Published: 2015-05-01
Start Page: 101
End Page: 110
DOI: 10.1145/2737166.2737175
Notes: This research was funded in part by the European Research Council (ERC) under grant agreement 267989 (QUAREM), by the Austrian Science Fund (FWF) projects S11402-N23(RiSE) and Z211-N23 (Wittgestein Award), by People Programme (Marie Curie Actions) of the European Union's Seventh Framework Programme (FP7/2007-2013) under REA grant agreement 291734, and by the ARTEMIS JU under grant agreement 295373 (nSafeCer). Jan Křetínský has been partially supported by the Czech Science Foundation, grant No. P202/12/G061. Nikola Beneš has been supported by the MEYS project No. CZ.1.07/2.3.00/30.0009 Employment of Newly Graduated Doctors of Science for Scientific Excellence.
Open access: yes (repository)
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
  2. Przemysław, Daca
    12 Daca
Related IST Austria Work