BERGISCHE UNIVERSIT ¨ AT WUPPERTAL
GAUSS-STRASSE 20 42119 WUPPERTAL TELEFAX (0202) 439-2901 TELEFON (0202) 439-0 WWW www.uni-wuppertal.de
Fachbereich C
MATHEMATIK UND NATURWISSENSCHAFTEN Fachgruppe Mathematik und Informatik
Programming by Contract
SS 2009 – ¨ Ubungsblatt 1 Ausgabe: 27. April 2009
Abgabe: bis sp¨atestens 6. Mai 2009 in der Vorlesung
Prof. Dr. Hans-J¨urgen Buhl Praktische Informatik / Numerik
E-Mail: buhl@math.uni-wuppertal.de
WWW: http://www.math.uni-wuppertal.de/∼buhl
Aufgabe 1. eclipse mit CDT
Schreiben Sie einen kurzen Benutzerleitfaden zur Erstellung ei- nes C++-Projekts Wuerfel mit Hilfe von /usr/local/sw/eclipse- cpp/eclipse (eclipse mit CDT 5.0). Weisen Sie dabei auf die Vorteile (Features) dieses Vorgehens hin!
Lesen Sie dazu den Artikel:
http://www.ibm.com/developerworks/opensource/library/os-ecc/
Aufgabe 2. Testrahmenprogramm
Welchen Inhalt sollte das Testrahmenprogramm main() bei der Ent- wicklung einer Klasse haben?
Erg¨anzen Sie die Klasse Wuerfel der Vorlesung um Methoden Volumen() und Diagonale() und konstruieren Sie Tests.
Aufgabe 3. stringTo
Erg¨anzen Sie stringTo() der KlasseWuerfel so, dass durch seine Be- nutzung in main() die funktionale Korrektheit der Implementierung ablesbar ist.
Was ist ein Test-Orakel (siehehttp://en.wikipedia.org/wiki/Oracle (testing))?
Wie kann es eingesetzt werden?
Aufgabe 4. assert
Benutzen Sie assert() statt stringTo(), um ein geeignetes Testrah- menprogramm main() zur Klasse Wuerfel zu konstruieren.
1