Όσο ο κώδικας βρίσκεται στο στάδιο των δοκιμών ενεργοποιούμε τον έλεγχο
των ισχυρισμών για να εντοπίσουμε λάθη.
Όταν ο κώδικας εκτελείται σε περιβάλλον παραγωγής απενεργοποιούμε τον
έλεγχο των ισχυρισμών για να μην έχουμε αρνητικές επιπτώσεις στην ταχύτητα
εκτέλεσης του προγράμματος.
Με τη χρήση ισχυρισμών μπορούμε να ορίσουμε
Προϋποθέσεις (preconditions)
Συνθήκες που πρέπει να ισχύουν πριν την εκτέλεση
κάποιου τμήματος κώδικα (π.χ. μεθόδου).
Μετασυνθήκες (postcondition)
Συνθήκες που ξέρουμε πως θα ισχύουν μετά
την εκτέλεση κάποιου τμήματος κώδικα.