• Keine Ergebnisse gefunden

SS2007–¨Ubungsblatt2Ausgabe:19.April2007Abgabe:bissp¨atestens26.April2007inderVorlesung ProgrammingbyContract

N/A
N/A
Protected

Academic year: 2022

Aktie "SS2007–¨Ubungsblatt2Ausgabe:19.April2007Abgabe:bissp¨atestens26.April2007inderVorlesung ProgrammingbyContract"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

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 2007 – ¨ Ubungsblatt 2 Ausgabe: 19. April 2007

Abgabe: bis sp¨atestens 26. April 2007 in der Vorlesung

Prof. Dr. Hans-J¨urgen Buhl Praktische Informatik / Numerik

E-Mail: Hans-Juergen.Buhl@math.uni-wuppertal.de WWW: http://www.math.uni-wuppertal.de/∼buhl

Aufgabe 1. Explizite Vor-/Nachbedingungen und Invarianten

Welche Anforderungen/Prinzipien auf Seite 17 und 18 der Material- sammlung beinflußt die schriftliche Niederlegung von Vor- und Nach- bedingungen sowie von Invarianten positiv?

Aufgabe 2. partielle Funktionen

Was versteht man in der Informatik unter einer partiellen Funktion?

(vgl. pop() und top() auf Seite 19 der Materialsammlung.)

Aufgabe 3. CHECK-Level

Lesen Sie Abschnitt 4.14.1 im Nana-Manual

http://www.math.uni-wuppertal.de/∼buhl/teach/exercises/PbC0506/nana.pdf und diskutieren Sie die verschiedenen CHECK-Level.

In welcher Phase der Software-Entwicklung ist welcher Level ange- bracht?

Aufgabe 4. Formale Methoden Informieren Sie sich in

http://foldoc.org/index.cgi?query=formal+methods&action=Search sowie

http://en.wikipedia.org/wiki/Formal methods

¨

uber das Gebiet der formalen Methoden.

Was sind die Unterschiede der dort genannten drei Level? Wie sch¨atzen Sie die Akzeptanz dieser Level in Software-Firmen ein?

1

(2)

Aufgabe 5. UML Object Constraints

Welche Zwecke verfolgt die Object Constraint Language?

http://en.wikipedia.org/wiki/Object Constraint Language Auf welchem Level kann sie als formale Methode eingeordnet werden?

2

Referenzen

ÄHNLICHE DOKUMENTE

Bei einem Test werden 20 Prüfungsaufgaben gestellt, die jeweils mit 0 Punkten oder 1 Punkt be- wertet

Schreiben Sie in eigenen Worten einen kurzen Leitfaden zur Benutzung von lcov bei der Qualit¨atssicherung von Software. Welchen Vorteil hat lcov

Welche Qualit¨atsanforderungen der Vorlesung verletzt Code mit ” magic Pushbuttons“ (http://en.wikipedia.org/wiki/Magic pushbutton).

Erl¨autern Sie, welche Software-G¨utekriterien-Mißachtungen zum Pro- blem ” Ein sahniger Brocken“ (Seite 5 der Materialsammlung) gef¨uhrt haben (Erstellung einer

Erg¨anzen Sie dann im gcd-Algorithmus (Seite 13f. der Materialsamm- lung) alle auftretenden Hoare-Tripel, indem Sie diese einzeln jeweils in drei Zeilen niederschreiben und

Geben Sie in eigenen Worten an, wie sich die Vorbedingungen, die Nachbedingungen und die Invarianten in einer Kindklasse relativ zu denjenigen einer Elternklasse verhalten sollten,

Legen Sie ein Verzeichnis $HOME/src/nana-2.5 an, entpacken Sie die Datei nana 2.5.orig.tar.gz dorthin und lesen Sie die Installations- anleitung INSTALL sowie das Kapitel 2

Spezifizieren Sie f¨ur die Klasse Polarkoordinaten eine Me- thode set_x_y(double x, double y) sowie eine Methode double_vector(), der die L¨ange des Exemplar-Vektors verdop-