Complete Composition Operators for IOCO-Testing Theory

D 2015

Complete Composition Operators for IOCO-Testing Theory

BENEŠ, Nikola, Przemysław DACA, Thomas A. HENZINGER, Jan KŘETÍNSKÝ, Dejan NIČKOVIĆ et. al.

Basic information

Original name

Complete Composition Operators for IOCO-Testing Theory

Authors

BENEŠ, Nikola (203 Czech Republic, guarantor, belonging to the institution), Przemysław DACA (616 Poland), Thomas A. HENZINGER (40 Austria), Jan KŘETÍNSKÝ (203 Czech Republic, belonging to the institution) and Dejan NIČKOVIĆ (688 Serbia)

Edition

New York, NY, USA, Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, p. 101-110, 10 pp. 2015

Publisher

ACM

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

United States of America

Confidentiality degree

není předmětem státního či obchodního tajemství

Publication form

electronic version available online

References:

URL

RIV identification code

RIV/00216224:14330/15:00080789

Organization unit

Faculty of Informatics

ISBN

978-1-4503-3471-6

DOI

http://dx.doi.org/10.1145/2737166.2737175

UT WoS

000380554800013

Keywords in English

ioco; Model-based testing; Decomposition; Specification merging

Abstract

V originále

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.

Links

EE2.3.30.0009, research and development project

Name: Zaměstnáním čerstvých absolventů doktorského studia k vědecké excelenci

GBP202/12/G061, research and development project

Name: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Acronym: CE-ITI)

Investor: Czech Science Foundation

Citovat

BENEŠ, Nikola, Przemysław DACA, Thomas A. HENZINGER, Jan KŘETÍNSKÝ and Dejan NIČKOVIĆ. Complete Composition Operators for IOCO-Testing Theory. Online. In Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering. New York, NY, USA: ACM, 2015, p. 101-110. ISBN 978-1-4503-3471-6. Available from: https://dx.doi.org/10.1145/2737166.2737175.

@inproceedings{1299074,
   author = {Beneš, Nikola and Daca, Przemysław and Henzinger, Thomas A. and Křetínský, Jan and Ničković, Dejan},
   address = {New York, NY, USA},
   booktitle = {Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering},
   doi = {http://dx.doi.org/10.1145/2737166.2737175},
   keywords = {ioco; Model-based testing; Decomposition; Specification merging},
   howpublished = {elektronická verze "online"},
   language = {eng},
   location = {New York, NY, USA},
   isbn = {978-1-4503-3471-6},
   pages = {101-110},
   publisher = {ACM},
   title = {Complete Composition Operators for IOCO-Testing Theory},
   url = {http://dx.doi.org/10.1145/2737166.2737175},
   year = {2015}
}

TY  - JOUR
ID  - 1299074
AU  - Beneš, Nikola - Daca, Przemysław - Henzinger, Thomas A. - Křetínský, Jan - Ničković, Dejan
PY  - 2015
TI  - Complete Composition Operators for IOCO-Testing Theory
PB  - ACM
CY  - New York, NY, USA
SN  - 9781450334716
KW  - ioco
KW  - Model-based testing
KW  - Decomposition
KW  - Specification merging
UR  - http://dx.doi.org/10.1145/2737166.2737175
L2  - http://dx.doi.org/10.1145/2737166.2737175
N2  - 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.
ER  -

BENEŠ, Nikola, Przemysław DACA, Thomas A. HENZINGER, Jan KŘETÍNSKÝ and Dejan NIČKOVI$\backslash$'C. Complete Composition Operators for IOCO-Testing Theory. Online. In \textit{Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering}. New York, NY, USA: ACM, 2015, p.~101-110. ISBN~978-1-4503-3471-6. Available from: https://dx.doi.org/10.1145/2737166.2737175.

Detailed Information on Publication Record