Foliensatz 5

of. G. Kemnitz · Institut für Informatik, Technische Universität Clausthal 13. Juli 2012 36/96
1. Software 4. Testauswahl mit Automatenmodell
Zusammenfassung
Automaten sind ein bewährten Spezifikationsmodell
gut geeignet zur Kontrolle der Spezifikation auf
Vollständigkeit und Widersprüche
Ein Test, der 100% alle Knotenübergänge überprüft, ist perfekt,
wenn:
an jeder Kante nur eine Eingabewert als
Übergangbedingung ausgewertet,
die gesteuerten Aktionen ausschließlich Ausgaben und
alle falschen Kantenübergänge an den Ausgaben
beobachtbar sind.
Automaten, die Operationen steuern und Operationsergebnisse
auswerten
verstecken Funktionalität in Operationen, die nur zufällig
getestet werden, ...