Zustandsbezogenes Testen

Question 1

Was ist die Idee hinter zustandsbezogenem Testen?

Answer 1

• Verhalten eines Systems vom Verlauf der Berechnungen (Historie) abhängig
• je nach Zustand ergeben sich bei gleichen Angaben u.U. verschiedene Ausgaben und Folgezustände
• das lässt sich mit Hilfe von ‘endlichen Automaten’ modellieren

Question 2

Abstraktionsebenen

Answer 2

• Test einer oo-Klasse, die verschiedene Zustände annehmen kann
• Test eines ganzen Systemtests, bei dem unterschiedliche Systemzustände berücksichtigt werden

Question 3

Modellierung

Answer 3

-Im ersten Schritt wird der Prüfgegenstand als endlicher Automat modelliert
-Dazu müssen
-die wesentlichen Zustände und
-die Aktionen, die einen Zustandswechsel
herbeiführen
identifiziert werden. Dazu Spezifikation, welche das erwartete Verhalten beschreibt.

Question 4

Vollständige Angabe eines Testfalls

Answer 4

1. Vorbedingung: Zustand vor Testbeginn
2. Eingabe: Operationsfolge, ggf. Argumente für Operationen
3. Sollreaktion: erwartete Ausgaben

Question 5

Minimalkriterien

Answer 5

• jeder Zustand wurde einmal erreicht

- jede Transition wurde einmal ausgeführt

Question 6

Vorgehen zur Erstellung eines Transitionsbaumes

Answer 6

1. Der Startzustand ist die Wurzel des Baumes
2. Die Nachfolger eines Knoten sind alle Zustände, die durch eine Transition erreicht werden können
3. Schritt 2 wird solange wiederholt, bis ein Zustand auf dem Pfad zweimal aufgetreten ist