• Keine Ergebnisse gefunden

oder per email an c.markmann@uni-wuppertal.de

N/A
N/A
Protected

Academic year: 2022

Aktie "oder per email an c.markmann@uni-wuppertal.de"

Copied!
1
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

WS 2005/2006 – ¨ Ubungsblatt 3 Ausgabe: 10. November 2005

Abgabe: bis sp¨atestens 17. November 2005 in der Vorlesung

oder per email an c.markmann@uni-wuppertal.de

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

Ordnen Sie die folgenden Anti-Pattern in Bezug auf die in der Vorlesung besprochenen SW-G¨utekriterien ein:

Aufgabe 1. Mehrdeutige Gesichtswinkel

http://en.wikipedia.org/wiki/Ambiguous viewpoint

Aufgabe 2. Fernwirkung

http://en.wikipedia.org/wiki/Action at a distance %28computer science%29

Aufgabe 3. Design by Committee ...

http://en.wikipedia.org/wiki/Design by committee

http://en.wikipedia.org/wiki/Escalating commitment to a single%2C failing course of action http://en.wikipedia.org/wiki/I told you so

Aufgabe 4. Blindes Vertrauen

http://en.wikipedia.org/wiki/Blind faith %28computer science%29

Aufgabe 5. Mushroom-Management

http://en.wikipedia.org/wiki/Mushroom management

1

Referenzen

ÄHNLICHE DOKUMENTE

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

Welche Software-G¨ utekriterien verletzt das hard coding (http://en.wikipedia.org/wiki/Hard code).

Geben Sie an, wie sich die Vorbedingungen, die Nachbedingungen und die Invarianten in einer Kindklasse relativ zu denjenigen einer Eltern- klasse verhalten sollten, wenn

Schreiben Sie jetzt f¨ ur die letzte Version der Funktion fakultaet() (Aufgabe 1) f¨ ur jede Anweisung das Hoare-Tripel nieder und verifizie- ren Sie dann, dass Ihre Funktion

Schreiben Sie f¨ ur alle Methoden der Klasse day (Aufgabe 5 von ¨ Ubungs- blatt 6), auch die von Ihnen selbst konzipierten istWochentag(), operator+ und operator-

Schreiben Sie f¨ ur eine C++-Klasse Polarkoordinaten und eine Klasse Datum (gem¨aß Seite 16 der Materialsammlung) die Spezifikation (in Form von nana-Constructs) der n¨otigen ”

Schreiben Sie ein kleines Testprogramm mit allen Zusicherungstypen REQUIRE(), ENSURE(), invariant(), INVARIANT() sowie CHECK(), und testen Sie die verschiedenen Einstellungen f¨

Reformulieren Sie einen (evtl. noch nicht ausf¨ uhrbaren) Contract nur mit Hilfe der grund- legenden Observatoren.. Kritisieren Sie analog die Berechnung von old keys in der