Design by Contract - návrh podle kontraktu
Nejde o nic jiného, než o zajištění, aby výsledný navržený program
splňoval specifikaci, tj.:
-
aby pro každý atomický, zvenčí viditelný/volatelný kus kódu
(typicky metoda) byly specifikovány vstupní a výstupní
podmínky
-
a aby jejich platnost byla za běhu zaručena
-
mezi zadavatelem (tj. analytikem, příp. zákazníkem) a
návrhářem tak vzniká
-
dohoda (contract), že specifikace bude dodržena
