Další formáty:
BibTeX
LaTeX
RIS
@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.
|
