Grundlagen des Softwaretestens

Zustandsbasierte Tests - Endekriterium

Minimal:
- jeder zustand wurde einmal eingenommen
Z-überdeckung = anzahl z getestet / anzahl z
Option:
- jeder Übergang wurde min. einmal ausgeführt
- alle spezifikationsverletzenden Übergänge wurden angeregt
- jedes Ereignis einmal ausgeführt
Kritische Anwendung:
- alle Zyklen einmal durchlaufen

Diskussion