Sciweavers

Share
CBSE
2015
Springer

Complete Composition Operators for IOCO-Testing Theory

5 years 7 months ago
Complete Composition Operators for IOCO-Testing Theory
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. Categories and Subject Descriptors D.2.4 [Software/Program Verification]: Formal methods Keywords ioco; Model-based testing; Decomposition; Specification merging
Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger
Added 17 Apr 2016
Updated 17 Apr 2016
Type Journal
Year 2015
Where CBSE
Authors Nikola Benes, Przemyslaw Daca, Thomas A. Henzinger, Jan Kretínský, Dejan Nickovic
Comments (0)
books