An alle Teilnehmer(innen) des Kurses Einführung in die imperative Programmierung im Wintersemester 2008/2009. Klausur-Informationen

Transkript

1 Lehrgebiet Software Engineering Prof. Dr. H.-W. Six FernUniversität in Hagen Hagen An alle Teilnehmer(innen) des Kurses Einführung in die imperative Programmierung im Wintersemester 2008/2009 Ihr Zeichen: Ihre Nachricht vom: Mein Zeichen: Meine Nachricht vom: Auskunft erteilt: Kursbetreuung 1613 Telefon: (Sprechzeiten: vgl. OKB) Telefax: Hausanschrift: Universitätsstraße Hagen Datum Klausur-Informationen Liebe Fernstudentin, lieber Fernstudent, die Hauptklausur zu Kurs 1613 findet am Samstag, dem statt. Studierende, die an diesem Termin verhindert sind oder die Hauptklausur nicht bestehen, können am an der Nachklausur teilnehmen. Die Bearbeitungszeit für die Klausur beträgt 2 Stunden von Uhr bis Uhr. Um an den Klausuren teilnehmen zu können, müssen Sie sich anmelden. Einen entsprechenden Link finden Sie auf der OKB-Startseite: Eine Liste der Klausurorte liegt als Anlage bei. Falls Sie die Möglichkeit haben möchten, bei Nichtbestehen der Hauptklausur an der Nachklausur teilzunehmen, melden Sie sich bitte vorsorglich für beide Klausuren an! Eine Anmeldung zur Nachklausur verfällt automatisch bei Bestehen der Hauptklausur (auch wenn sie in der OKB weiterhin angezeigt wird). Anmeldeschluss für beide Klausuren ist Montag, der Bis zu diesem Termin können vorgenommene Anmeldungen auch noch online geändert oder gelöscht werden. Um den Belegern des Kurses 1613 einen Eindruck von der Art der Aufgabenstellung in den Klausuren zu vermitteln, haben wir diesem Schreiben die Aufgaben und Musterlösung der Hauptklausur des WS 01/02 als Probeklausur beigelegt. Versuchen Sie als Vorbereitung auf die Klausur, die Aufgaben unter Klausurbedingungen zu bearbeiten, und kontrollieren Sie erst dann Ihre Lösungen anhand der Musterlösung. Hinweise zur Klausurbearbeitung: Da Sie der Klausuraufsicht i.d.r. nicht persönlich bekannt sind, findet während der Klausur eine Ausweiskontrolle statt, zu der Sie Ihren Studentenausweis und einen Lichtbildausweis (Personalausweis oder Pass) vorlegen müssen. Halten Sie diese bitte bereit, so dass Sie sie nicht während der Klausur erst hervorholen müssen. Die Klausurexemplare enthalten bereits leere Seiten zur Bearbeitung der Aufgaben, so dass Sie nur noch einen Stift (keinen Bleistift!) benötigen. Der Platz reicht im Normalfall auch aus, mal einen Ansatz durchzustreichen und neu zu nen. Falls Sie zusätzlich eigenes Konzeptpapier verwenden möchten, stellen Sie sicher, dass Sie einen leeren Block ohne irgendwelche Eintragungen mitbringen und Telefonzentrale: Zentraler Telefaxeingang: Internet: Buslinie(n): 515, 527, 534 Haltestelle: FernUniversität

2 dieser von Anfang an (beim Austeilen der Klausuren und bei der Ausweiskontrolle) für die Aufsicht sichtbar ist und ggf. kontrolliert werden kann. Außer den Schreibutensilien sind keine weiteren Hilfsmittel zugelassen! So dürfen insbesondere weder der Kurstext noch Einsendeaufgaben oder handschriftliche Notizen verwendet werden. Die Muss-Regeln des Programmierstils finden Sie jedoch im Anhang Ihres Klausurexemplars. Die Klausur ist bestanden, wenn mindestens 50% der erreichbaren Punkte erzielt wurden. Sie müssen also nicht unbedingt alle Aufgaben bearbeiten. Wir empfehlen, sich zu Beginn einen Überblick über alle Aufgaben zu verschaffen und die Aufgaben, die Ihnen leichter erscheinen, zuerst zu bearbeiten. Weitere Informationen Ausgewählte Antworten auf häufig gestellte Fragen auch bezüglich der Klausurzulassung, An- und Abmeldung finden Sie online in den FAQ zum Kurs (in der OKB-Umgebung). Sollten Sie darüber hinaus noch Fragen haben, so wenden Sie sich bitte an die Newsgroup oder telefonisch innerhalb der bekannten Sprechzeiten an unser Lehrgebiet (Tel ). Mit freundlichen Grüßen, Ihre Kursbetreuer Anlagen: Liste der Klausurorte für die Haupt- und Nachklausur Hauptklausur WS 01/02 Musterlösung der Hauptklausur Seite 2 von 4

3 Liste der Orte für die Hauptklausur am von bis Uhr Ort Anschrift Raum Berlin Bochum Frankfurt Hamburg Karlsruhe Köln München Bern Bregenz Wien Humboldt-Universität zu Berlin Invalidenstr. 42 (Nordbau) Berlin Ruhr-Universität Bochum Hörsaalzentrum Ost Universitätsstraße Bochum Johann-Wolfgang-Goethe-Universität Frankfurt Mertonstr. 21 (Ecke Gräfstr.), Gebäudeteil D Frankfurt am Main Universität Hamburg Von-Melle-Park Hamburg FH Karlsruhe Technik und Wirtschaft Moltkestr Karlsruhe Universität zu Köln Hauptgebäude Albertus-Magnus-Platz Köln Ludwig-Maximilian-Universität München (LMU) Butenandtstr München Berner Fachhochschule Hallerstr. 8 CH-3012 Bern Studienzentrum Bregenz Belrupstr. 10 A-6900 Bregenz Studienzentrum Wien Strozzigasse 2 A-1080 Wien Hörsaal 7 * Hörsaal 10 * HZO 20 * HZO 40 * Hörsaal V Hörsaal A * Hörsaal D * Hörsaal E * Hörsaal HE * Hörsaal HB * Aula 1 * Aula 2 * Liebig-Hörsaal * Buchner-Hörsaal * Siehe Aushang im Gebäude Siehe Aushang im Studienzentrum Siehe Aushang im Studienzentrum Stand: , kurzfristige Änderungen vorbehalten. Änderungen werden ggf. in der Newsgroup angekündigt oder vor Ort durch Aushänge bekannt gegeben. *) Falls zu einem Klausurort mehrere Räume angegeben sind, so verteilen sich die an diesem Termin zu verschiedenen Kursen parallel stattfindenden Klausuren auf die genannten Räume. Informieren Sie sich bitte vor Ort, in welchem der genannten Räume die 1613-Klausur stattfindet. Seite 3 von 4

4 Liste der Orte für die Nachklausur am von bis Uhr Ort Anschrift Raum Berlin Bochum Frankfurt Hamburg Karlsruhe Köln München Bern Bregenz Wien Humboldt-Universität zu Berlin Invalidenstr. 42 (Nordbau) Berlin Ruhr-Universität Bochum Hörsaalzentrum Ost Universitätsstraße Bochum Johann-Wolfgang-Goethe-Universität Frankfurt Mertonstr. 21 (Ecke Gräfstr.), Gebäudeteil D Frankfurt am Main Universität Hamburg Von-Melle-Park Hamburg TH Karlsruhe Geb Gotthardt-Franz-Str Karlsruhe Universität zu Köln WiSo-Gebäude Universitätsstr Köln Ludwig-Maximilian-Universität München (LMU) Butenandtstr München Berner Fachhochschule Hallerstr. 8 CH-3012 Bern Studienzentrum Bregenz Belrupstr. 10 A-6900 Bregenz Studienzentrum Wien Strozzigasse 2 A-1080 Wien Hörsaal 10 HZO 10 Hörsaal V Hörsaal D Hörsaal am Fasanengarten Hörsaal I Buchner-Hörsaal Siehe Aushang im Gebäude Siehe Aushang im Studienzentrum Siehe Aushang im Studienzentrum Stand: , kurzfristige Änderungen vorbehalten. Änderungen werden ggf. in der Newsgroup angekündigt oder vor Ort durch Aushänge bekannt gegeben. Seite 4 von 4

5 Musterklausur Wintersemester 2001/2002 Hinweise zur Bearbeitung der Klausur zum Kurs 1613 Einführung in die imperative Programmierung Wir begrüßen Sie zur Klausur "Einführung in die imperative Programmierung". Lesen Sie sich diese Hinweise vollständig und aufmerksam durch, bevor Sie mit der Bearbeitung der Aufgaben nen: 1. Prüfen Sie die Vollständigkeit Ihrer Unterlagen. Die Klausur umfasst: - 2 Deckblätter, - 1 Formblatt für eine Bescheinigung für das Finanzamt, - diese Hinweise zur Bearbeitung, - 5 Aufgaben (Seite 5 - Seite 12), - die Muß-Regeln des Programmierstils. 2. Füllen Sie, bevor Sie mit der Bearbeitung der Aufgaben nen, folgende Seiten des Klausurexemplares aus: a) BEIDE Deckblätter mit Namen, Anschrift sowie Matrikelnummer. Markieren Sie vor der Abgabe auf beiden Deckblättern die von Ihnen bearbeiteten Aufgaben. b) Falls Sie eine Teilnahmebescheinigung für das Finanzamt wünschen, füllen Sie bitte das entsprechende Formblatt aus. Nur wenn Sie beide Deckblätter vollständig ausgefüllt haben, können wir Ihre Klausur korrigieren! 3. Schreiben Sie Ihre Lösungen auf den freien Teil der Seite unterhalb der Aufgabe bzw. auf die leeren Folgeseiten. Sollte dies nicht möglich sein, so vermerken Sie, auf welcher Seite die Lösung zu finden ist. Streichen Sie ungültige Lösungen deutlich durch. 4. Schreiben Sie auf jedem von Ihnen beschriebenen Blatt oben links Ihren Namen und oben rechts Ihre Matrikelnummer. Wenn Sie weitere eigene Blätter benutzt haben, heften Sie auch diese, mit Name und Matrikelnummer versehen, an Ihr Klausurexemplar. Nur dann werden auch Lösungen außerhalb Ihres Klausurexemplares gewertet! 5. Neben unbeschriebenem Konzeptpapier und Schreibzeug (Füller oder Kugelschreiber) sind keine weiteren Hilfsmittel zugelassen. Die Muß-Regeln des Programmierstils finden Sie im Anschluß an die Aufgabenstellung. 6. Es sind maximal 42 Punkte erreichbar. Sie haben die Klausur sicher dann bestanden, wenn Sie mindestens 21 Punkte erreicht haben. Wir wünschen Ihnen bei der Bearbeitung der Klausur viel Erfolg! 1

6 Aufgabe 1 (6 Punkte) Eine natürliche Zahl n heißt perfekt, wenn n als Summe aller natürlicher Zahlen i (1!"!i!" n -- 2 ), durch die n ohne Rest teilbar ist, dargestellt werden kann. Die Zahl 28 ist beispielsweise eine perfekte Zahl. Es ist 28!#!1!$!2!$!4!$!7!$!14 und 1, 2, 4, 7 und 14 sind genau alle Zahlen, durch die 28 ohne Rest teilbar ist. Schreiben Sie ein Programm perfekte- Zahl, das alle perfekten Zahlen zwischen 1 und 1000 auf dem Bildschirm ausgibt. 2

7 Aufgabe 2 (8 Punkte) Ein Handlungsreisender muss MAXORTSZAHL Städte besuchen (MAXORTSZAHL > 1) und möchte dafür eine Reise planen, bei der jede Stadt genau einmal besucht wird. Aus Sparsamkeits- und Umweltschutzgründen sollte die Reise möglichst kurz sein. Es soll eine PASCAL-Prozedur Reise entwickelt werden, die eine Reise ermittelt und die Ortsnummern in der Reihenfolge der Reise sowie die insgesamt zu fahrenden Kilometer ausgibt. Dazu wird der Prozedur eine Entfernungsmatrix übergeben, in der das Element in der i-ten Zeile und j-ten Spalte die Entfernung zwischen der Stadt i und der Stadt j angibt. Die Entfernungen zwischen den Städten und die Länge der Reise sind immer positive integer-zahlen kleiner als maxint. Zur Bestimmung einer kurzen Reise wird folgendes Verfahren benutzt: Ausgehend von Stadt 1 wird diejenige Stadt bestimmt, welche die kürzeste Entfernung von Stadt 1 besitzt. Von dieser Stadt aus wird wiederum die nächstgelegene Stadt ermittelt und von der aus wieder die nächstgelegene usw., bis alle Städte besucht worden sind. Die Information, welche Städte schon besucht sind, wird in einem booleschen Feld abgelegt. Als Beispiel für MAXORTSZAHL = 3 geben wir die folgende Entfernungsmatrix und die resultierende Prozedurausgabe an: 123 Prozedurausgabe: Entfernungsmatrix: Reise: km Ihre Aufgabe besteht darin, unter Benutzung der Konstantendefinition und Typdefinitionen const MAXORTSZAHL = 10; type tortsindex = 1..MAXORTSZAHL; tentfernung = 0..maxint; tentfmatrix = array [tortsindex, tortsindex] of tentfernung; untenstehende Prozedur so zu ergänzen, dass sie obiges Verfahren implementiert. procedure Reise (var inmat : tentfmatrix); { berechnet eine kurze Reise aus der Entfernungsmatrix inmat } 3

8 type tboolfeld = array [tortsindex] of boolean; { zur Markierung bereits besuchter Staedte } var besucht : tboolfeld; Gesamtstrecke : tentfernung; hier, { gibt die aktuelle Stadt an } naechste, { gibt die naechste zu besuchende Stadt an } i : tortsindex; {...setzen Sie hier evtl. weitere Deklarationen ein } { procedure } for i := 1 to MAXORTSZAHL do besucht [i] := false; { initialisiert das Feld besuchter Staedte } Gesamtstrecke := 0; hier := 1; besucht [hier] := true; writeln ('Reise: '); writeln (hier); { es sind noch MAXORTSZAHL - 1 Staedte zu besuchen } for i := 1 to MAXORTSZAHL - 1 do Komplettieren Sie den Schleifenrumpf von Reise, indem Sie die hier erforderlichen Anweisungen nach dem untenstehenden Buchstaben A angeben. end; writeln (Gesamtstrecke, ' km') end; { Reise } 4

9 Aufgabe 3 (5 + 5 Punkte) Zwei Mengen M1 und M2 mit ganzen Zahlen seien durch einfach-verkettete lineare Listen realisiert. Die Zahlen innerhalb der Liste sind nicht sortiert. Die Prozedur Minus(M1, M2) entfernt alle Zahlen aus der Liste M1, die ebenfalls in der Liste M2 enthalten sind. Das Entfernen dieser Zahlen aus der Liste M1 soll ausschließlich durch Ändern der Verkettung geschehen. Implementieren Sie die Prozedur Minus, indem Sie die Teilaufgaben a) und b) bearbeiten. Gehen Sie dabei von den angegebenen Typen und Prozedurköpfen aus. type trefliste = ^tliste; tliste = record info : integer; next : trefliste end; a) Implementieren Sie eine Funktion finden, die einen Suchwert in einer Liste finden soll. Der zu suchende Wert wird in dem Parameter inwert und die zu durchsuchende Liste in dem Parameter inrefliste an die Funktion übergeben. Wird der Suchwert in der Liste gefunden, so soll die Funktion einen Zeiger auf dieses Element zurückliefern, ansonsten gibt die Funktion den Wert nil zurück. function finden ( inwert : integer; inrefliste : trefliste) : trefliste; { sucht den Wert inwert in der Liste, auf deren Anfang inrefliste zeigt. Wird der Wert gefunden, liefert die Funktion einen Zeiger auf dieses Element zurueck, ansonsten nil } b) Implementieren Sie die Prozedur Minus unter Benutzung der Funktion finden. Vervollständigen Sie dazu untenstehende Prozedur, indem Sie für die Platzhalter (1) bis (5) in der Prozedur einen Ausdruck, eine Bedingung, eine Anweisung oder eine Anweisungsfolge einsetzen. procedure Minus ( var iorefm1 : trefliste; inrefm2 : trefliste); { entfernt nur durch Aendern der Verkettung alle Elemente aus iorefm1, deren Werte auch in iorefm2 vorkommen. } var RefWert, RefLauf1, RefLauf2: trefliste; RefLauf2 := inrefm2; 5

10 } iorefm1 } while RefLauf2 <> nil do RefWert := finden((1), (2)); if RefWert <> nil then { Suchwert in iorefm1 gefunden? if (3) then { Sonderfall: Suchwert ist erstes Element in (4) end else { Normalfall } (5) end end; { if RefWert <> nil } RefLauf2 := RefLauf2^.next; end { while } end; { Minus } Platzhalter Ausdruck, Bedingung, Anweisung oder Anweisungsfolge (1) (2) (3) (4) (5) 6

11 Aufgabe 4 (10 Punkte) Gegeben sei ein (nicht sortierter) binärer Baum und ein Zeiger RefZ auf einen Knoten, der im Baum enthalten ist. Ihre Aufgabe ist es, eine Prozedur Trennen zu implementieren, die den Teilbaum, auf dessen Wurzel RefZ zeigt, vom Baum abtrennt. Zeigt RefZ auf die Wurzel des Baumes, dann ist nichts zu tun. Die folgende Abbildung veranschaulicht das Prinzip. RefWurzel A RefZ RefWurzel A RefZ F G! F G R S K M R S K M Gehen Sie von den folgenden Typdefinitionen und dem angegebenen Prozedurkopf aus. type trefbinbaum = ^tbinbaum; tbinbaum = record info : char; links, rechts : trefbinbaum end; procedure Trennen ( inrefwurzel, inrefz : trefbinbaum); { trennt den Teilbaum, auf dessen Wurzel inrefz zeigt, vom Baum ab, auf dessen Wurzel inrefwurzel zeigt; zeigen inrefwurzel und inrefz auf denselben Knoten, geschieht nichts } 7

12 Aufgabe 5 (2 + 6 Punkte) Die Funktion Hoch berechnet die n-te Potenz einer integer-zahl, die größer 0 ist. Beispielsweise ist die 4-te Potenz von 6 gleich 6 * 6 * 6 * 6 = 1296; also Hoch (6,4) = Sie können annehmen, dass Zahl > 0 und n! 0 gilt. Gehen Sie dabei von folgender Typdefinition aus: type tnatzahl = 0..maxint; tnatzahlplus = 1..maxint; function Hoch (Zahl : tnatzahlplus; n : tnatzahl): tnatzahlplus; {berechnet fuer n >= 0 die n-te Potenz von Zahl > 0} var Temp1, Temp2 : tnatzahlplus; Temp3 : tnatzahl; 1 Temp1 := 1; 2 Temp2 := Zahl; 3 Temp3 := n; 4 while Temp3 > 0 do 5 6 if odd(temp3) then 7 Temp1 := Temp1 * Temp2; 8 Temp2 := sqr(temp2); 9 Temp3 := Temp3 div 2 10 end; 11 Hoch := Temp1 end; {Hoch} Die von Hoch verwendete Boolean-Funktion odd gibt genau dann true zurück, wenn die ihr übergebene Integer-Zahl ungerade ist. 8

13 Wir geben zusätzlich den kompakten Kontrollflußgraphen zu Hoch an: n start Zeilen 1-3 n init Zeile 4 n while Zeilen 5-6 n if Zeile 7 n then Zeilen 8-10 n do Zeile 11 n tail n final Kompakter Kontrollflußgraph von Hoch a) Geben Sie eine Knotenfolge an, die eine vollständige Anweisungsüberdeckung für die Funktion Hoch bildet. Wie lautet ein Testdatum zu dieser Knotenfolge? b) Es soll ein boundary-interior Test der Funktion durchgeführt werden. Geben Sie für jede der drei Testklassen einen passenden Pfad und die dazugehörigen assoziativen Testfälle an. Wählen Sie für die interior-klasse n=2, d.h. betrachten Sie Testdaten, die die Schleife genau zweimal durchlaufen. 9

14 Musterlösungen Lösung 1 (6 Punkte) Der Kern des Programms perfektezahl besteht aus zwei ineinander geschachtelten for- Schleifen. Die äußere der beiden Schleifen läuft über den gegebenen Zahlenbereich 1 bis In der inneren Schleife werden sukzessiv alle Teiler i der gerade aktuellen Zahl n ermittelt und aufsummiert. Ist diese Summe gleich n, dann ist n eine perfekte Zahl. program perfektezahl (input, output); { berechnet alle "perfekten Zahlen" zwischen 1 und 1000 } const MINIMAL = 1; MAXIMAL = 1000; type tnatzahl = 0..maxint; tloesungsbereich = MINIMAL..MAXIMAL; var n : tloesungsbereich; i, Summe : tnatzahl; writeln; write ('perfekte Zahlen: '); { alle Zahlen zwischen 1 und 1000 untersuchen } for n := MINIMAL to MAXIMAL do Summe := 0; { alle Teiler von n zwischen 1 und n/2 summieren } for i := 1 to (n div 2) do if n mod i = 0 then Summe := Summe + i; if n = Summe then write (n,', ') end end. { perfektezahl } 10

15 Lösung 2 (8 Punkte) Wir erstellen die Reise, indem wir in der Variablen hier die jeweils aktuelle Stadt festhalten. Die von hier aus nächste Stadt wird anhand der Entfernungen in der durch hier indizierten Matrixzeile ausgesucht, wobei das Feld besucht angibt, welche Städte bereits besucht worden sind. Auch hier geben wir wieder ein Rahmenprogramm an, welches den Test der Prozedur Reise ermöglicht: program Aufgabe (input, output); { Testprogramm fuer die Prozedur Reise } const MAXORTSZAHL = 10; type tortsindex = 1..MAXORTSZAHL; tentfernung = 0..maxint; tentfmatrix = array [tortsindex, tortsindex] of tentfernung; var EntfMatrix : tentfmatrix; i, j : tortsindex; procedure Reise (var inmat : tentfmatrix); { berechnet eine kurze Reise aus der Entfernungsmatrix inmat } type tboolfeld = array [tortsindex] of boolean; { zur Markierung bereits besuchter Staedte } var besucht : tboolfeld; Gesamtstrecke : tentfernung; hier, { gibt die aktuelle Stadt an } Spalte, i : tortsindex; Einzelstrecke : tentfernung; { bisher gefundene kuerzeste Entfernung von hier zu einer anderen noch nicht besuchten Stadt } naechste : tortsindex; { die Stadt mit Entfernung Einzelstrecke von der Stadt hier } { procedure } for i := 1 to MAXORTSZAHL do besucht [i] := false; { initialisiert das Feld besuchter Staedte } 11

16 Gesamtstrecke := 0; hier := 1; besucht [hier] := true; writeln ('Reise: '); writeln (hier); { es sind noch MAXORTSZAHL - 1 Staedte zu besuchen } for i := 1 to MAXORTSZAHL - 1 do Einzelstrecke := maxint; { suche die naechstgelegene, noch nicht besuchte Stadt } for Spalte := 1 to MAXORTSZAHL do if not besucht [Spalte] then if inmat [hier, Spalte] < Einzelstrecke then Einzelstrecke := inmat [hier, Spalte]; naechste := Spalte end; writeln (naechste); Gesamtstrecke := Gesamtstrecke + Einzelstrecke; besucht [naechste] := true; hier := naechste end; writeln (Gesamtstrecke, ' km') end; { Reise } for i := 1 to MAXORTSZAHL do for j := i to MAXORTSZAHL do { Einlesen einer symmetrischen Entfernungsmatrix: } write ('Strecke von ', i, 'nach ', j, ': '); readln (EntfMatrix [i, j]); EntfMatrix [j, i] := EntfMatrix [i, j]; end; Reise (EntfMatrix) end. { Aufgabe } 12

17 Lösung 3 (5 + 5 Punkte) a) function finden ( inwert : integer; inrefliste : trefliste) : trefliste; { sucht den Wert inwert in der Liste, auf deren Anfang inrefliste zeigt. Wird der Wert gefunden, liefert die Funktion einen Zeiger auf das Element zurueck, ansonsten nil } var reflauf : trefliste; gefunden := false; reflauf := inrefliste; while ((reflauf <> nil) and (not gefunden)) do if reflauf^.info = inwert then gefunden := true else reflauf := reflauf^.next; finden := reflauf end; { einfuegen } b) Platzhalter Ausdruck, Bedingung, Anweisung oder Anweisungsfolge (1) RefLauf2^.info (2) iorefm1 (3) RefWert = iorefm1 (4) iorefm1 := iorefm1^.next; dispose(refwert) end (5) RefLauf1 := iorefm1; while RefLauf1^.next <> RefWert do RefLauf1 := RefLauf1^.next; RefLauf1^.next := RefLauf1^.next^.next; dispose(refwert) 13

18 Lösung 4 (10 Punkte) Das Problem in dieser Aufgabe ist, dass der Baum durchlaufen werden muss, bis der Vaterknoten des Elementes gefunden ist, auf das inrefz zeigt. Am einfachsten wird solch ein Baumdurchlauf als rekursive Prozedur implementiert. procedure Trennen ( inrefwurzel, inrefz : trefbinbaum); { trennt den Teilbaum, auf dessen Wurzel inrefz zeigt, vom Baum ab, auf dessen Wurzel inrefwurzel zeigt; zeigen inrefwurzel und inrefz auf denselben Knoten, geschieht nichts } if inrefwurzel <> inrefz then if inrefwurzel^.links = inrefz then inrefwurzel^.links := nil else if inrefwurzel^.links <> nil then Trennen (inrefwurzel^.links, inrefz); if inrefwurzel^.rechts = inrefz then inrefwurzel^.rechts := nil else if inrefwurzel^.rechts <> nil then Trennen (inrefwurzel^.rechts, inrefz) end end; { Trennen } 14

19 Lösung 5 (2 + 6 Punkte) a) Eine vollständige Anweisungsüberdeckung wird durch den Pfad (n start, n init, n while, n if, n then, n do, n while, n tail, n final ) erreicht. Ein Testdatum zu diesem Pfad ist: (1, 1; 1) (Wir trennen hier Eingaben von Ausgaben zur besseren Unterscheidung durch ein Semikolon an Stelle eines Kommas.) b) Folgender Pfad umgeht die Ausführung der while-schleife: (n start, n init, n while, n tail, n final ) Der zugehörige assoziierte Testfall ist: T 1 ={(a, 0; 1) a! {1, 2, 3,...}} Zu genau einem Schleifendurchlauf gehören die beiden folgenden Pfade mit ihren assoziierten Testfällen: (n start, n init, n while, n if, n then, n do, n while, n tail, n final ) Der zugehörige assoziierte Testfall ist: T 2 ={(a, 1; a) a! {1, 2, 3,...}} (n start, n init, n while, n if, n do, n while, n tail, n final ) Zu diesem Pfad existiert kein Testdatum: T 3 ={ } (Lösungshinweis: Die Schleife wird genau für n=1 einmal durchlaufen, und da 1 ungerade ist, wird immer der erstgenannte Pfad, niemals der zweitgenannte durchlaufen. Entsprechende Überlegungen lassen sich auch für den zweimaligen Schleifendurchlauf anstellen.) Die while-schleife wird genau zweimal durchlaufen bei den folgenden vier Pfaden und ihren assoziierten Testfällen: (n start, n init, n while, n if, n then, n do, n while, n if, n then, n do, n while, n tail, n final ) Der zugehörige assoziierte Testfall ist: T 4 ={(a, 3; a 3 ) a! {1, 2, 3,...}} (n start, n init, n while, n if, n then, n do, n while, n if, n do, n while, n tail, n final ) Zu diesem Pfad existiert kein Testdatum: T 5 ={ } (n start, n init, n while, n if, n do, n while, n if, n then, n do, n while, n tail, n final ) Der zugehörige assoziierte Testfall ist: T 6 ={(a, 2; a 2 ) a! {1, 2, 3,...}} (n start, n init, n while, n if, n do, n while, n if, n do, n while, n tail, n final ) Zu diesem Pfad existiert kein Testdatum: T 7 ={ } 15