---
_id: '5411'
abstract:
- lang: eng
  text: "Model-based testing is a promising technology for black-box software and
    hardware testing, in which test cases are generated automatically from high-level
    specifications. Nowadays, systems typically consist of multiple interacting components
    and, due to their complexity, testing presents a considerable portion of the effort
    and cost in the design process. Exploiting the compositional structure of system
    specifications can considerably reduce the effort in model-based testing. Moreover,
    inferring properties about the system from testing its individual components allows
    the designer to reduce the amount of integration testing.\r\nIn this paper, we
    study compositional properties of the IOCO-testing theory. We propose a new approach
    to composition and hiding operations, inspired by contract-based design and interface
    theories. These operations preserve behaviors that are compatible under composition
    and hiding, and prune away incompatible ones. The resulting specification characterizes
    the input sequences for which the unit testing of components is sufficient to
    infer the correctness of component integration without the need for further tests.
    We provide a methodology that uses these results to minimize integration testing
    effort, but also to detect potential weaknesses in specifications. While we focus
    on asynchronous models and the IOCO conformance relation, the resulting methodology
    can be applied to a broader class of systems."
alternative_title:
- IST Austria Technical Report
author:
- first_name: Przemyslaw
  full_name: Daca, Przemyslaw
  id: 49351290-F248-11E8-B48F-1D18A9856A87
  last_name: Daca
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Willibald
  full_name: Krenn, Willibald
  last_name: Krenn
- first_name: Dejan
  full_name: Nickovic, Dejan
  id: 41BCEE5C-F248-11E8-B48F-1D18A9856A87
  last_name: Nickovic
citation:
  ama: Daca P, Henzinger TA, Krenn W, Nickovic D. <i>Compositional Specifications
    for IOCO Testing</i>. IST Austria; 2014. doi:<a href="https://doi.org/10.15479/AT:IST-2014-148-v2-1">10.15479/AT:IST-2014-148-v2-1</a>
  apa: Daca, P., Henzinger, T. A., Krenn, W., &#38; Nickovic, D. (2014). <i>Compositional
    specifications for IOCO testing</i>. IST Austria. <a href="https://doi.org/10.15479/AT:IST-2014-148-v2-1">https://doi.org/10.15479/AT:IST-2014-148-v2-1</a>
  chicago: Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic.
    <i>Compositional Specifications for IOCO Testing</i>. IST Austria, 2014. <a href="https://doi.org/10.15479/AT:IST-2014-148-v2-1">https://doi.org/10.15479/AT:IST-2014-148-v2-1</a>.
  ieee: P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, <i>Compositional specifications
    for IOCO testing</i>. IST Austria, 2014.
  ista: Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications
    for IOCO testing, IST Austria, 20p.
  mla: Daca, Przemyslaw, et al. <i>Compositional Specifications for IOCO Testing</i>.
    IST Austria, 2014, doi:<a href="https://doi.org/10.15479/AT:IST-2014-148-v2-1">10.15479/AT:IST-2014-148-v2-1</a>.
  short: P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, Compositional Specifications
    for IOCO Testing, IST Austria, 2014.
date_created: 2018-12-12T11:39:11Z
date_published: 2014-01-28T00:00:00Z
date_updated: 2025-09-29T11:40:47Z
day: '28'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.15479/AT:IST-2014-148-v2-1
file:
- access_level: open_access
  checksum: 0e03aba625cc334141a3148432aa5760
  content_type: application/pdf
  creator: system
  date_created: 2018-12-12T11:54:21Z
  date_updated: 2020-07-14T12:46:46Z
  file_id: '5543'
  file_name: IST-2014-148-v2+1_main_tr.pdf
  file_size: 534732
  relation: main_file
file_date_updated: 2020-07-14T12:46:46Z
fulldoi: https://doi.org/10.15479/AT:IST-2014-148-v2-1
has_accepted_license: '1'
language:
- iso: eng
month: '01'
oa: 1
oa_version: Published Version
page: '20'
publication_identifier:
  issn:
  - 2664-1690
publication_status: published
publisher: IST Austria
pubrep_id: '152'
related_material:
  record:
  - id: '2167'
    relation: later_version
    status: public
status: public
title: Compositional specifications for IOCO testing
type: technical_report
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...