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 |