1 minute, 54 seconds
Designkontrakter og ansvarsfordeling
- slide 28 : 31
Udbyttet af kontrakter i programudviklings processen
Kontrakter bidrager på følgende måde i programudviklingens faser - og videre frem:
Design:
En pragmatisk fornuftig måde at lave programspecifikation
Dokumentation:
Udgør sammen med signaturer og kommentarer et væsentlig del af klassens dokumentation
Implementation:
Udgør retningslinier for programmeringen
Verifikation:
Grundlaget for et formelt bevis af programmets korrekhed
Test:
Afslører brud på kontrakter og deraf følgende behov for debugging og fejlretning
Drift:
Bringer programmet i en undtagelsestilstand som udfordrer dets robusthed
Kontraktidéen går på tværs af alle væsentlige kontruktive faser i en programudviklingsproces