Верификация — понятие, виды и применение¶
Верификация (от лат. verificatio — подтверждение, доказательство истинности) — процедура установления истинности, достоверности или подлинности объекта, результата, утверждения или процесса. Термин применяется в нескольких областях — от математической логики и философии до информационных технологий, финансов и промышленного контроля, причём в каждой из них под верификацией понимается сверка объекта с заранее заданными критериями или эталоном.
¶История и происхождение термина
Слово происходит от латинского verus — «истинный, подлинный». В классической логике и философии верификацией называли процесс эмпирического подтверждения научных положений — так называемый верификационизм, связанный прежде всего с логическим позитивизмом Венского кружка (1920-е — 1930-е годы). Согласно верификационистскому принципу, осмысленность утверждения определяется возможностью его проверки наблюдением или логическим выводом.
В XX веке значение термина существенно расширилось. В инженерии и информационных технологиках верификация стала обозначать систематическую проверку того, что продукт или система соответствуют заданным спецификациям. В математике под верификацией понимают доказательство корректности алгоритма или формальной модели.
¶Основные области применения
¶Математика и логика
В математике верификация — это доказательство того, что программа, алгоритм или формальная система корректны относительно формальной спецификации. В отличие от тестирования, которое проверяет программу на конечном наборе входных данных, верификация претендует на доказательство корректности для всех допустимых входов. Классические методы включают индуктивные доказательства инвариантов циклов, логическое программирование и модельную проверку (model checking).
¶Информационные технологии
В IT верификация охватывает несколько направлений:
- Верификация программного обеспечения — проверка того, что продукт соответствует техническому заданию («делаем ли мы продукт правильно?»). Часто противопоставляется валидации — проверке того, что продукт решает реальную задачу пользователя («делаем ли мы правильный продукт?»).
- Верификация данных — сверка полученных данных с эталонными источниками, проверка их полноты, непротиворечивости и актуальности.
- Верификация учётной записи — процедура подтверждения личности пользователя или подлинности аккаунта (по электронной почте, телефону, документам, криптографическому ключу). В криптографии верификация подписи означает проверку того, что электронная подпись создана известным ключом и сообщение не изменено.
- Верификация аппаратуры — подтверждение того, что оборудование работает в рамках спецификаций производителя.
¶Финансы и юриспруденция
В банковской сфере верификация клиента (KYC — Know Your Customer) — процедура установления личности клиента и проверки сведений о нём в соответствии с требованиями законодательства о противодействии отмыванию денег и финансированию терроризма. В России такая процедура регулируется Федеральным законом № 115-ФЗ «О противодействии легализации (отмыванию) доходов, полученных преступным путём, и финансированию терроризма».
В юриспруденции верификация означает подлинность документа, подписи, даты или происхождения вещи — например, экспертиза подлинности картины или проверка подлинности паспорта.
¶Промышленность и метрология
В промышленном производстве верификация измерительного оборудования — это периодическая процедура подтверждения того, что прибор показывает в пределах допустимой погрешности. Согласно стандарту ISO/IEC 17025, верификация проводится после калибровки и при вводе оборудования в эксплуатацию, а также через установленные промежутки времени.
В фармацевтике и пищевой промышленности верификация партий продукции означает сверку маркировки, состава и прослеживаемости с сопроводительной документацией.
¶Верификация и валидация
Понятия «верификация» и «валидация» часто используются вместе, но обозначают разные проверки:
| Критерий | Верификация | Валидация |
|---|---|---|
| Вопрос | Соответствует ли продукт спецификации? | Решает ли продукт задачу пользователя? |
| Объект | Документы, код, модель, данные | Работающий продукт в реальных условиях |
| Момент | На этапе разработки | После создания продукта |
| Методы | Экспертиза, формальная проверка, аудит | Тестирование, опытная эксплуатация, обратная связь |
¶Современное значение
В контексте цифровизации верификация приобрела особое значение в связи с ростом объёмов автоматизированной обработки данных, электронного документооборота и удалённого оказания услуг. Развитие получили биометрическая верификация (сравнение отпечатков пальцев, радужки, голоса с эталоном), верификация на основе блокчейна и криптографических протоколов, а также автоматическая верификация данных в системах искусственного интеллекта, где требуется подтверждение корректности и достоверности результатов работы моделей.
Источники:
- Философская энциклопедия. Термины «верификация» и «верификационизм»
- ГОСТ Р ИСО/МЭК 17025 — Общие требования к компетентности испытательных и калибровочных лабораторий
- Федеральный закон РФ № 115-ФЗ «О противодействии легализации (отмыванию) доходов, полученных преступным путём, и финансированию терроризма»
- IEEE Standard for Software Verification and Validation
- Венский кружок и логический позитивизм: труды по философии науки XX века