postbetingelser
Postbetingelser er erklæringer om den tilstand, der skal være opfyldt efter en funktion eller operation er udført. De beskriver, hvilke egenskaber der gælder i resultatet og i ændringerne af tilstanden efter udførelsen. Postbetingelserne står i kontrast til forudsætninger (preconditions), som skal være opfyldt før koden køres. Sammen udgør de en kontrakt for en enhed eller procedure, og de bruges i design by contract (DbC) til at dokumentere og sikre forventet opførsel.
Postbetingelser udtrykkes ofte som krav til returværdien og til ændringer i programtilstanden. I sprog, der understøtter
Et enkelt eksempel: en funktion add(a, b) der returnerer et heltal, kan have postbetingelsen: resultatet er lig
Fordele ved postbetingelser inkluderer bedre dokumentation af forventet adfærd, lettere vedligeholdelse og mulighed for statisk eller
Begrænsningerne er, at postbetingelser kun beskriver en delmængde af adfærd og kan være udfordrende at opstille