PDF-Datei (ca. 1 MByte)

144 KAPITEL 12. PROGRAMMENTWURF
immer mit der Wand in Beruhrung bleiben, darf also nicht in eine Situation gelangen, in der
" Absturzgefahr\ droht.
In Abbildung 12.1 sind also die Teile (a) und (b) sowohl am Anfang, zwischendurch und am Ende
korrekt. Die Ausgangslandschaft (c) ist nicht korrekt (Hamster schaut nicht nach Westen; der
Berg ist nicht regelma ig). Der in Teil (d) skizzierte Snapshot von unterwegs ist nicht zulassig
(es droht Absturzgefahr\), ebenso ist in Teil (e) eine unzulassige Endsituation skizziert (auf
"
einer Aufwartsstufe des Berges liegt kein Korn, dafur aber auf einer Abwartsstufe).
12.3 Entwurf
Wie bereits in Abschnitt 12.1 erwahnt, basiert der Entwurf von Algorithmen bzw. Programmen
auf dem Prinzip der Schrittweisen Verfeinerung. Was genau ist aber unter diesem Prinzip zu
verstehen? Schauen Sie sich unser Beispiel an. Eine intuitive Losungsidee ist folgende: Der Hamster
soll zunachst bis zum Berg laufen und dann den Berg erklimmen. An dem " und\ in diesem
Satz erkennen Sie, da das Problem in zwei Teilprobleme zerlegt werden kann:
Der Hamster soll zum Berg laufen.
Der Hamster soll den Berg erklimmen.
Damit haben wir das Problem " verfeinert\. Wir mussen nun diese beiden Teilprobleme losen.
Wenn wir anschlie end die Losungen der beiden Teilprobleme zusammensetzen, erhalten wir die
Losung des Gesamtproblems.
Ubertragen wir dieses Prinzip nun auf die Programmierung. In Kapitel 8 haben Sie mit der Prozedurde
nition ein Sprachkonstrukt kennengelernt, mit dem Sie neue Befehle de nieren konnen.
Dieses Sprachkonstrukt werden wir nun verwenden, um Hamsterprogramme nach dem Prinzip
der Schrittweisen Verfeinerung zu entwickeln. De nieren Sie dazu fur jedes Teilproblem zunachst
einfach eine Prozedur, ohne sich um die Implementierung zu kummern. Das Hauptprogramm
setzt sich dann einfach aus den Aufruf der Prozeduren zusammen. An dem Beispielprogramm
sei dieses verdeutlicht:
// der Hamster soll zunaechst bis zum Berg laufen
// und dann den Berg erklimmen
void main()
{
laufe_zum_berg();
erklimme_den_berg();
}
// der Hamster soll zum Berg laufen
void laufe_zum_berg()
{
}
// der Hamster soll den Berg erklimmen