PDF-Datei (ca. 1 MByte)

102 KAPITEL 10. WIEDERHOLUNGSANWEISUNGEN
Es mu die Aufgabenstellung fur alle sich aus der Landschaftcharakterisierung ergebenden
moglichen Ausgangssituationen korrekt und vollstandig losen.
Es darf fur keine sich aus der Landschaftcharakterisierung ergebenden moglichen Ausgangssituation
zu einem Laufzeitfehler fuhren.
Es mu nach endlicher Zeit fur alle sich aus der Landschaftcharakterisierung ergebenden
moglichen Ausgangssituationen enden, es sei denn, eine Nicht-Terminierung des Programms
wird in der Aufgabenstellung explizit erlaubt.
10.2.4 Beispiele
10.2.4.1 Beispiel 1
Das Hamsterprogramm fur das oben skizzierte Problem, da der Hamster irgendwo in einer
Landschaft steht und bis zur nachsten Mauer laufen soll, sieht folgenderma en aus:
void main()
{
while (vorn_frei())
{
vor();
}
}
Uberprufen wir einmal, ob das Programm fur die Landschaft in Abbildung 10.1 (links) korrekt
arbeitet (siehe auch Abbildung 10.3 (links)).
#######
#
#
# # o #
#
#
> # o #
# o #
# # o #
# ######
#######
#
#
# # o #
#
#
> # o #
# o #
# # o #
# ######
#######
#
#
# # o #
#
#
> # o #
# o #
# # o #
# ######
Abbildung 10.3: Typische Hamsterlandschaften zu Beispiel 1
Zunachst wird der Testbefehl vorn frei() ausgewertet. Er liefert den Wert true. Also ist die
Schleifenbedingung erfullt. D.h. als nachstes wird die Iterationsanweisung ausgefuhrt. Dieses ist
eine Blockanweisung, die als einzige Anweisung den Befehl vor(); enthalt. Der Hamster hupft
eine Kachel nach vorne (siehe Abbildung 10.3 (Mitte)). Nach der Abarbeitung der Iterationsanweisung
wird erneut die Schleifenbedingung uberpruft. Der Testbefehl vorn frei() liefert
auch dieses Mal den Wert true, so da der vor();-Befehl ein zweites Mal ausgefuhrt wird und
sich die Situation gema Abbildung 10.3 (rechts) ergibt. Wiederum wird nun die Schleifenbedingung
uberpruft. Inzwischen steht der Hamster jedoch vor einer Mauer, so da der Testbefehl