2 minutes, 27 seconds
Designkontrakter og ansvarsfordeling
- slide 27 : 31
Løbende check af kontrakter under programudførelse
Undervejs i et programudførelse kan assertions checkes i forhold til programmets aktuelle tilstand
Brud på en kontrakt bringer programudførelsen i store vanskeligheder
Under programtest leder dette til debugging og fejlrettelse
Under programdrift bringer dette programmet i en undtagelsessituation som bør føre til kontrolleret nedlukning eller valg af en alternativ programudførelsesstrategi
