PDF-Datei (ca. 1 MByte)

158 KAPITEL 12. PROGRAMMENTWURF
{
}
rechts_um();
vor();
rechts_um();
Damit sind alle Prozeduren bzw. booleschen Funktionen implementiert, das Hamsterprogramm
ist fertiggestellt.
12.7.4 Implementierung
In der Implementierungsphase wird der Programmcode nun mit einem Editor in den Rechner
eingegeben und auf syntaktische Fehler untersucht.
12.7.5 Test
In der Testphase wird das Programm auf allen Landschaften der Testmenge (siehe Abbildung
12.3 gestartet. In den Fallen (a) und (c) liefert es auch die erwarteten korrekten Ergebnisse. In
Fall (b) gerat das Programm jedoch in eine Endlosschleife: Die beiden Reihen werden ununterbrochen
zyklisch vom Hamster durchlaufen. Also ist das Programm nicht korrekt!
Es mu nun untersucht werden, woran der Fehler liegt: Der Hamster erntet die untere Reihe ab
und testet die Bedingung der while-Schleife. Die boolesche Funktion liefert den Wert true, d.h.
die while-Schleife wird betreten. Also begibt sich der Hamster in die obere Reihe und erntet.
Anschlie end wird die Bedingung der if-Anweisung uberpruft. Die boolesche Funktion liefert
den Wert false, weil sich rechts vom Hamster eine Mauer be ndet. Da die if-Anweisungen
keinen else-Teil enthalt, wird als nachstes wieder die Bedingung der while-Schleife uberpruft.
Eigentlich mu te diese nun den Wert false liefern, weil ja alle Reihen abgegrast sind. Tut sie
aber leider nicht. Der Grund hierfur ist der, da als Vorbedingung fur die boolesche Funktion
weitere reihe links vom hamster existiert, die in der Bedingung der while-Schleife aufgerufen,
angenommen wird, da der Hamster gerade in Blickrichtung Osten schaut. Diese Vorbedingung
ist aber nicht erfullt; denn ein Richtungswechsel wird nur im true-Teil der if-Anweisung,
nicht aber im false-Teil der if-Anweisung vorgenommen. Dies haben wir bei der obigen Losung
schlicht vergessen. Wir mussen das Hauptprogramm dementsprechend korrigieren:
// der Hamster soll einzelne Koernerreihen abgrasen,
// solange wie noch weitere Reihen existieren; er unterscheidet
// dabei, ob er die Reihen von Osten oder von Westen aus abgrast
void main()
{
ernte_eine_reihe_nach_osten();
while (weitere_reihe_links_vom_hamster_existiert())
{
begib_dich_links_um_in_naechste_reihe();
ernte_eine_reihe_nach_westen();
if (weitere_reihe_rechts_vom_hamster_existiert())