Επικύρωση Κανόνων

Μάθηση

Έλεγχος εάν μια εγγραφή συμμορφώνεται με ένα σύνολο κανόνων μορφής, εύρους, τύπου ή επιχειρηματικής λογικής.

Η επικύρωση κανόνων είναι η διαδικασία επιβεβαίωσης ότι μια εγγραφή πληροί ρητούς περιορισμούς πριν γίνει αποδεκτή. Τυπικές κατηγορίες: (α) κανόνες μορφής — η τιμή ταιριάζει σε πρότυπο· (β) κανόνες εύρους — η τιμή βρίσκεται εντός ορίων· (γ) κανόνες τύπου — η τιμή είναι του αναμενόμενου τύπου· (δ) επιχειρηματικοί κανόνες — αναλλοίωτες του τομέα. Μια εγγραφή είναι έγκυρη αν και μόνο αν περνά όλους τους ισχύοντες κανόνες.

έγκυρο(εγγραφή) ⇔ ∀ r ∈ κανόνες : r(εγγραφή) ισχύει

• Μορφή email: «[email protected]» ✓· «user@@example» ✗
• Εύρος ηλικίας [0, 130]: 25 ✓· 200 ✗
• Επιχειρηματικός κανόνας: σύνολο τιμολογίου = άθροισμα γραμμών

Πώς να το αναγνωρίζετε

• Παρουσιάζεται εγγραφή με κανόνες
• Η άσκηση ρωτά αν είναι έγκυρη ή ποιον κανόνα παραβιάζει
• Οι κανόνες μπορεί να είναι συνδυαστικοί ή ιεραρχικοί

Συνηθισμένα λάθη

• Σταμάτημα στον πρώτο κανόνα που περνά
• Σύγχυση «έγκυρης μορφής» με «σωστή τιμή»
• Παράβλεψη κεφαλαίων/πεζών, κενών ή τοπικών διαχωριστικών

Καθοδήγηση εξάσκησης

Ανίχνευση Σφαλμάτων