Page 12 : 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

Det ansvarsløse program

Som en kontrast til programmet på forrige side viser vi her 'det ansvarsløse program.

En kontrast til det overansvarlige program. Vi har blot strippet programmet for al overansvarlighed. Dette viser, hvor store mængder af program der skal vedligeholdes, hvis vi ønsker at gå med både livrem, seler, og hvad man nu ellers går rundt med for at holde bukserne oppe...