Aprender
Verificar si un registro cumple un conjunto de reglas de formato, rango, tipo o de negocio.
La validación de reglas es el proceso de confirmar que un dato cumple restricciones explícitas antes de aceptarse. Clases típicas: (a) formato — el valor coincide con un patrón (correo, teléfono, fecha); (b) rango — el valor está entre límites permitidos; (c) tipo — el valor es del tipo esperado; (d) regla de negocio — invariantes de dominio. Un registro es válido si y solo si pasa todas las reglas aplicables.
válido(registro) ⇔ ∀ r ∈ reglas : r(registro) se cumple
- Formato de correo: '[email protected]' ✓; 'user@@example' ✗
- Rango de edad [0, 130]: 25 ✓; 200 ✗
- Regla de negocio: el total de la factura debe coincidir con la suma de las líneas
Cómo reconocerlo
- Se presenta un registro con reglas o restricciones
- La tarea pregunta si es válido o qué regla viola
- Las reglas pueden ser combinadas o jerárquicas
Errores comunes
- Detenerse en la primera regla superada sin verificar las demás
- Confundir 'formato válido' con 'valor correcto'
- Ignorar mayúsculas, espacios o separadores locales