4.4 Validierung

GuiBuilder ist nicht nur ein Werkzeug zur bequemen Erstellung von Statecharts, sondern ist auch in der Lage, die erstellten Statecharts auf ihre Korrektheit zu überprüfen. Ein Statechart muss syntaktisch und semantisch korrekt sein, damit es das gewünschte Verhalten der GUI beschreibt. GuiBuilder verwendet zwei Methoden, um die Korrektheit von Statecharts zu überpüfen. Die statische Validierung, die automatisch während der Editierung im Hintergund läuft, und die dynamische Validierung, die in einer laufenden Simulation das Statechart auf Fehler hin untersucht.

Die folgenden Abschnitte beschäftigen sich mit der statischen Validierung und erläutern, wie gefundene Fehler (Probleme) kenntlich gemacht und behoben werden können. Details zur dynamischen Validierung finden Sie in Abschnitt 6.6.