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.

Základní údaje

Originální název

Complete Composition Operators for IOCO-Testing Theory

Autoři

BENEŠ, Nikola (203 Česká republika, garant, domácí), Przemysław DACA (616 Polsko), Thomas A. HENZINGER (40 Rakousko), Jan KŘETÍNSKÝ (203 Česká republika, domácí) a Dejan NIČKOVIĆ (688 Srbsko)

Vydání

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

Nakladatel

ACM

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Spojené státy

Utajení

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

Forma vydání

elektronická verze "online"

Odkazy

URL

Kód RIV

RIV/00216224:14330/15:00080789

Organizační jednotka

Fakulta informatiky

ISBN

978-1-4503-3471-6

DOI

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

UT WoS

000380554800013

Klíčová slova anglicky

ioco; Model-based testing; Decomposition; Specification merging

Štítky

firank_B, formela-conference

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 8. 5. 2015 14:51, RNDr. Nikola Beneš, Ph.D.

Anotace

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.

Návaznosti

EE2.3.30.0009, projekt VaV

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

GBP202/12/G061, projekt VaV

Název: Centrum excelence - Institut teoretické informatiky (CE-ITI) (Akronym: CE-ITI)

Investor: Grantová agentura ČR, Centrum excelence - Institut teoretické informatiky

Citovat

BENEŠ, Nikola, Przemysław DACA, Thomas A. HENZINGER, Jan KŘETÍNSKÝ a 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, s. 101-110. ISBN 978-1-4503-3471-6. Dostupné z: 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Ý a 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, s.~101-110. ISBN~978-1-4503-3471-6. Dostupné z: https://dx.doi.org/10.1145/2737166.2737175.

Podrobný výpis o publikaci