- 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
| | Når vi taler om dokumentation i forbindelse med kontrakter tænker vi på, at kontraktforhold vil være meget nyttige
at dokumentere via javadoc genereret dokumentation |