---
_id: '2167'
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. In 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.
article_number: '6823899'
article_processing_charge: No
arxiv: 1
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
  last_name: Nickovic
citation:
  ama: 'Daca P, Henzinger TA, Krenn W, Nickovic D. Compositional specifications for
    IOCO testing. In: <i>IEEE 7th International Conference on Software Testing, Verification
    and Validation</i>. IEEE; 2014. doi:<a href="https://doi.org/10.1109/ICST.2014.50">10.1109/ICST.2014.50</a>'
  apa: 'Daca, P., Henzinger, T. A., Krenn, W., &#38; Nickovic, D. (2014). Compositional
    specifications for IOCO testing. In <i>IEEE 7th International Conference on Software
    Testing, Verification and Validation</i>. Cleveland, USA: IEEE. <a href="https://doi.org/10.1109/ICST.2014.50">https://doi.org/10.1109/ICST.2014.50</a>'
  chicago: Daca, Przemyslaw, Thomas A Henzinger, Willibald Krenn, and Dejan Nickovic.
    “Compositional Specifications for IOCO Testing.” In <i>IEEE 7th International
    Conference on Software Testing, Verification and Validation</i>. IEEE, 2014. <a
    href="https://doi.org/10.1109/ICST.2014.50">https://doi.org/10.1109/ICST.2014.50</a>.
  ieee: P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, “Compositional specifications
    for IOCO testing,” in <i>IEEE 7th International Conference on Software Testing,
    Verification and Validation</i>, Cleveland, USA, 2014.
  ista: 'Daca P, Henzinger TA, Krenn W, Nickovic D. 2014. Compositional specifications
    for IOCO testing. IEEE 7th International Conference on Software Testing, Verification
    and Validation. ICST: International Conference on Software Testing, Verification
    and Validation, 6823899.'
  mla: Daca, Przemyslaw, et al. “Compositional Specifications for IOCO Testing.” <i>IEEE
    7th International Conference on Software Testing, Verification and Validation</i>,
    6823899, IEEE, 2014, doi:<a href="https://doi.org/10.1109/ICST.2014.50">10.1109/ICST.2014.50</a>.
  short: P. Daca, T.A. Henzinger, W. Krenn, D. Nickovic, in:, IEEE 7th International
    Conference on Software Testing, Verification and Validation, IEEE, 2014.
conference:
  end_date: 2014-04-04
  location: Cleveland, USA
  name: 'ICST: International Conference on Software Testing, Verification and Validation'
  start_date: 2014-03-31
date_created: 2018-12-11T11:56:06Z
date_published: 2014-03-01T00:00:00Z
date_updated: 2023-09-07T11:58:33Z
day: '01'
department:
- _id: ToHe
doi: 10.1109/ICST.2014.50
ec_funded: 1
external_id:
  arxiv:
  - '1904.07083'
language:
- iso: eng
main_file_link:
- open_access: '1'
  url: https://arxiv.org/abs/1904.07083
month: '03'
oa: 1
oa_version: Preprint
project:
- _id: 25EE3708-B435-11E9-9278-68D0E5697425
  call_identifier: FP7
  grant_number: '267989'
  name: Quantitative Reactive Modeling
- _id: 25F5A88A-B435-11E9-9278-68D0E5697425
  call_identifier: FWF
  grant_number: S11402-N23
  name: Moderne Concurrency Paradigms
publication: IEEE 7th International Conference on Software Testing, Verification and
  Validation
publication_identifier:
  isbn:
  - 978-1-4799-2255-0
  issn:
  - 2159-4848
publication_status: published
publisher: IEEE
publist_id: '4817'
quality_controlled: '1'
related_material:
  record:
  - id: '5411'
    relation: earlier_version
    status: public
  - id: '1155'
    relation: dissertation_contains
    status: public
scopus_import: 1
status: public
title: Compositional specifications for IOCO testing
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
year: '2014'
...