Page 25 : 31

Forelæsningsnoter i Objekt-orienteret Programmering Designkontrakter og ansvarsfordeling * Specifikationsproblemet Softwarekvalitet Korrekthed Specifikation * Specifikation med pre- og postbetingelser Logiske udtryk samt pre- og postbetingelser Eksempel på brug af pre- og postbetingelser i et objekt-orienteret program Et sprog til formulering af 'assertions' * Ansvarsfordeling og kontrakter Ansvarsfordeling Det overansvarlige program Det ansvarsløse program Ansvarsfordeling specificeret med pre- og postbetingelser Kontraktbegrebet Kontrakter: ydelse og nydelse Ydelse og nydelse i kvadratrods funktionen * Generelle kontraktaspekter: klasseinvarianter Klasseinvarianter Eksempel på klasseinvariant: CircularList Hvornår skal en invariant være opfyldt? * Subkontrakter og nedarvning Forholdet mellem nedarvning og kontrakter Subkontrakter Eksempel på klasseinvarianter: Trekantshierarkiet Assertions i abstrakte klasser * Kontrakter i praktisk programudvikling Løbende check af kontrakter under programudførelse Udbyttet af kontrakter i programudviklings processen Assertions i objekt-orienterede programmeringssprog * Andre anvendelser af assertions Løkkeinvarianter

Assertions i abstrakte klasser

Assertions giver i høj grad mening i abstrakte klasser. Via reglerne for redefinerede operationers assertions er det meget nyttigt at angive assertions allerede på et meget generelt niveau i et klassehierarki

Det er nyttigt og meningsfyldt at definere kontrakter i abstrakte klasser

Den abstrakte klasse Stack forsynet med assertions.

Den abstrakte klasse Stack forsynet med assertions. Vi har taget udgangspunkt i den abstrakte klasse Stack fra forrige lektion. Pre- og postbetingelser i "..." er uformelle, kommentarlignende udsagn, som ikke vil kunne eftercheckes når programmet kører.

Klassen Stack

Definition af abstrakte klasser med kontrakter understøtter specifikation i form af 'design by contract'

Abstrakte klasser er i overvejende grad udtryk for design, som kontrast til implementation. Når vi forsyner abstrakte klasser med kontrakter vil vi tale om 'design by contract'