Complete Composition Operators for IOCO-Testing Theory

Logo poskytovatele
Logo poskytovatele

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
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

Citace
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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.