Other formats:
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Ý 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.
|