Page 11 : 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 overansvarlige program

For at skabe en kontrast til vores videre diskussion af ansvarsfordeling vil vi se på et program, hvor de enkelte dele (klasser) påtager sig et for stort ansvar.

Et eksempel på et program med overlappende ansvarsforvaltning. Programmet er en karikatur af et overansvarligt program. Vi ser flere eksempler på at både klient og Kontoklassen tester for de samme forhold. Endvidere er kontoklassen designet ud fra en overansvarligheds filosofi; Hvis man hæver et negativt beløb 'får man det bedste ud af situationen' ved nemligt at indsætte det tilsvarende positive beløb. Det tilsvarende gør sig gældende hvis man indsætter et negativt beløb

Kontrakter i Bankkonto