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