Grundlagen des Softwaretestens

Zustandsbasierte Tests - erstellen des Übertragungsbaums

Ziel: Konformanztest
- Start bei Initialzustand
- erfassung aller pfade
- Zweige enthalten Ereignis und ggf Abfrage(Wächterbedingung zB size()<max_size;)
- Zyklen implizit abbilden

Diskussion