Complete Composition Operators for IOCO-Testing Theory

• Autoři: BENEŠ Nikola; DACA Przemysław; HENZINGER Thomas A.; KŘETÍNSKÝ Jan; NIČKOVIĆ Dejan
• Rok publikování: 2015
• Druh: Článek ve sborníku
• Konference: Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://dx.doi.org/10.1145/2737166.2737175
• Doi: http://dx.doi.org/10.1145/2737166.2737175
• Obor: Informatika
• Klíčová slova: ioco; Model-based testing; Decomposition; Specification merging
• Popis: 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.

Související projekty

• Centrum excelence - Institut teoretické informatiky
• Zaměstnáním čerstvých absolventů doktorského studia k vědecké excelenci