Введение

Процесс обеспечения корректности и полезности компьютерных данных.

В вычислительной технике валидация данных или проверка входных данных — это процесс, обеспечивающий очистку данных для подтверждения их качества, то есть соответствия требованиям корректности и полезности. Для этого используются процедуры, часто называемые "правилами валидации", "ограничениями валидации" или "проверочными процедурами", которые проверяют правильность, осмысленность и безопасность данных, вводимых в систему. Правила могут быть реализованы посредством автоматизированных средств словаря данных или путем включения явной логики валидации в программы приложений компьютера и его приложений. Это отличается от формальной верификации, которая направлена на доказательство или опровержение корректности алгоритмов, реализующих спецификацию или свойство.

Обзор

Валидация данных предназначена для обеспечения определенных, четко определенных гарантий пригодности и согласованности данных в приложении или автоматизированной системе. Правила валидации данных могут быть определены и разработаны с использованием различных методологий и применены в различных контекстах. Их реализация может использовать декларативные правила целостности данных или бизнес-правила, основанные на процедурах. Гарантии валидации данных не обязательно включают в себя точность, и возможно, что ошибки ввода данных, такие как опечатки, будут приняты как допустимые. Для снижения неточности в системе могут быть применены другие контрольные процедуры, ручные и/или компьютерные.

Проверка типа данных

Валидация типа данных обычно выполняется для одного или нескольких простых полей данных. Самый простой вид валидации типа данных проверяет, соответствуют ли отдельные символы, введенные пользователем, ожидаемым символам одного или нескольких известных примитивных типов данных, определенных в языке программирования или механизме хранения и извлечения данных. Например, целочисленное поле может требовать, чтобы ввод содержал только символы от 0 до 9.

Простая проверка диапазона и ограничений

Простая проверка диапазона и ограничений может анализировать входные данные на соответствие минимальному и максимальному значениям, или на соответствие тесту для оценки последовательности символов, например, одному или нескольким регулярным выражениям. Например, значение счетчика может быть обязательным условием – неотрицательное целое число, а для пароля может потребоваться минимальная длина и наличие символов из разных категорий.

Код и проверка перекрестных ссылок

Валидация кода и перекрестных ссылок включает операции, необходимые для проверки соответствия данных одному или нескольким внешним правилам, требованиям или наборам данных, относящимся к конкретной организации, контексту или базовым предположениям. Эти дополнительные ограничения валидности могут включать сопоставление предоставленных данных с известной таблицей соответствий или службой каталогов, такой как LDAP. Например, от пользователя может потребоваться указать код страны для определения текущего геополитического региона.

Структурированная проверка

Структурированная валидация позволяет комбинировать другие виды валидации, а также выполнять более сложную обработку. Эта сложная обработка может включать проверку условных ограничений для целого сложного объекта данных или набора операций в системе.

Проверка согласованности

Валидация согласованности обеспечивает логичность данных. Например, дата доставки заказа не может быть раньше даты отгрузки.

Пример

Для 10-значных ISBN, выпущенных до 2007 года, применимы различные виды проверки данных (издание 2005 года ISO 2108 требовало, чтобы ISBN состояли из 13 цифр, начиная с 2007 года). Размер. ISBN, выпущенный до 2007 года, должен состоять из 10 цифр, с необязательными дефисами или пробелами, разделяющими его четыре части. Проверка формата. Каждая из первых 9 цифр должна быть от 0 до 9, а 10-я цифра – от 0 до 9 или X. Контрольная цифра. Для выявления ошибок при переписывании, когда цифры были изменены или переставлены местами, последняя цифра ISBN, выпущенного до 2007 года, должна соответствовать результату математической формулы, использующей остальные 9 цифр (контрольная цифра ISBN-10).

Валидация и безопасность

Неудачи или пропуски в проверке данных могут привести к повреждению данных или уязвимости в системе безопасности. Проверка данных удостоверяет, что данные пригодны для использования, корректны, осмысленны, разумны и безопасны перед их обработкой.