Basiswissen modellbasierter Test

9 Modellierung und Modellprüfung

Nach der Planungsphase folgt im modellbasierten Testprozess die Modellierungsphase (s. Abschnitt 6.2). In diesem Kapitel wird beschrieben, wie man zu eigenständigen Testmodellen gelangen kann. Außerdem geht es um die Nutzung etwaiger bereits vorhandener Systemmodelle zu MBT-Zwecken sowie um mögliche Übergänge zwischen System- und Testmodellen. Vor der Testgenerierung – die Gegenstand des nächsten Kapitels ist – steht schließlich noch die wichtige Frage, welche Qualitätsmerkmale Modelle in einem MBT-Kontext erfüllen müssen und wie eine Qualitätssicherung für Modelle aussehen kann.

9.1 Überblick

Fokus auf Test- und Systemmodellen

Von den drei in Abschnitt 4.3 genannten Modellkategorien konzentriert sich dieses Kapitel ...