Lecture overview -- Keyboard shortcut: 'u'  Previous page: Det ansvarsløse program -- Keyboard shortcut: 'p'  Next page: Kontraktbegrebet -- Keyboard shortcut: 'n'  Lecture notes - all slides and notes together  slide -- Keyboard shortcut: 't'  Help page about these notes  Alphabetic index  Course home  Play sound for this page -- Keyboard shortcut: 'y'  Page 13 : 31
Forelæsningsnoter i Objekt-orienteret Programmering
Designkontrakter og ansvarsfordeling
Ansvarsfordeling specificeret med pre- og postbetingelser

Vi fastlægger nu hvordan man kan bruge pre- og postbetingelser til at definere en ansvarsfordeling mellem klienter og forsyner objekter. I forhold til det overansvarlige program, som blev diskuteret ovenfor, trækker vi nogle tests (betingelser) ud af programmet til fordel for en placering i specifikationen. Pre- og postbetingelser, som bliver brudt, er udtryk for meget alvorlige fejl, som for de fleste programmer bør være fatale. Altså, hvis en pre- eller postbetingelser bliver brudt, giver det ikke mening at fortsætte programudførelsen

Pre- og postbetingelser kan bruges til at specificere ansvarsfordelingen mellem klasser og operationer i et objekt-orienteret program

  • Opfyldelse af pretingelsen

    • Kalderen's ansvar

    • Klienten's ansvar i et objekt-orienteret program

  • Opfyldelse af postbetingelsen

    • Den kaldte operation's ansvar

    • Forsyneren's ansvar i et objekt-orienteret program