Regelvalidatie

Controleren of een record voldoet aan een set formaat-, bereik-, type- of bedrijfsregels.

Leren

Controleren of een record voldoet aan een set formaat-, bereik-, type- of bedrijfsregels.

Regelvalidatie is het proces waarbij wordt bevestigd dat een gegeven voldoet aan expliciete beperkingen voordat het wordt geaccepteerd. Typische klassen: (a) formaat — waarde past op een patroon; (b) bereik — binnen toegestane grenzen; (c) type — verwachte datatype; (d) bedrijfsregel — domeinspecifieke invarianten. Een record is geldig als en slechts als het alle toepasbare regels doorstaat.

geldig(record) ⇔ ∀ r ∈ regels : r(record) geldt

E-mailformaat: '[email protected]' ✓; 'user@@example' ✗
Leeftijdsbereik [0, 130]: 25 ✓; 200 ✗
Bedrijfsregel: factuurtotaal = som van regels

Zo herkent u het

Een record met regels wordt gepresenteerd
De taak vraagt of het geldig is of welke regel wordt geschonden
Regels kunnen gecombineerd of hiërarchisch zijn

Veelgemaakte fouten

Stoppen bij de eerste geslaagde regel
'Geldig formaat' verwarren met 'juiste waarde'
Hoofdlettergevoeligheid of scheidingstekens negeren

Oefenadvies

Foutcontrole