Basiswissen modellbasierter Test

4 Einführung in die Modellierung

Dieses Kapitel widmet sich den Prinzipien und Techniken der Modellierung. Es beginnt mit einer Antwort auf die Frage, was genau ein Modell ist, und präzisiert dann die drei für den modellbasierten Test wichtigen Modellkategorien Umgebungs-, System- und Testmodell. Da sich die meisten grafischen Modellierungstechniken auf der Graphentheorie abstützen, skizziert ein Exkurs deren grundlegende Begriffe. Das darauf folgende Intermezzo führt die beiden Fallbeispiele »CarKonfigurator« und »Türsteuerung« ein, die zur Veranschaulichung aller im Buch vorgestellten Methoden und Techniken dienen. Nach diesen Präliminarien geht es dann im Hauptteil dieses Kapitels um gängige Modellierungstechniken und Notationen, gegliedert ...