Complete Composition Operators for IOCO-Testing Theory

Investor logo
Investor logo

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

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

Year of publication 2015
Type Article in Proceedings
Conference Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering
MU Faculty or unit

Faculty of Informatics

Citation
Web http://dx.doi.org/10.1145/2737166.2737175
Doi http://dx.doi.org/10.1145/2737166.2737175
Field Informatics
Keywords ioco; Model-based testing; Decomposition; Specification merging
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.