Верификация

Верифика́ция (от лат. verum «истинный» + facere «делать») в различных сферах деятельности человека может подразумевать:

• подтверждение того, что заданные требования выполнены, через предоставление объективных свидетельств;
• оценка соответствия продукта, услуги или системы нормам, требованиям, спецификациям или установленным условиям;
• проверка, подтверждение, метод доказательств каких-либо теоретических положений, алгоритмов, программ и процедур путём их сопоставления с опытными (эталонными или эмпирическими) данными, алгоритмами и программами^{[источник не указан 1138 дней]};
• методика распознавания на соответствие правде^{[источник не указан 1138 дней]};
• в науке, проверка теоретических положений на соответствие реальности при помощи эксперимента.

В значении доказуемости, проверяемости объяснений (моделей) объектов/явлений, в зависимости от степени подтверждаемости реальностью (эмпирически, фактами), образует понятия:

• гипотеза — недоказанное фальсифицируемое правдоподобное утверждение на основе ряда подтверждающих её наблюдений или суждений, понятий, постулатов (в науке);
• концепция — модель с подтверждающими её истинность фактами или без них (см. Философия);
• теория — объяснение с предоставлением доказательств максимальной степени (см. Наука).

Формальная верификация в информатике

Формальная верификация — доказательство с помощью формальных методов правильности или неправильности программы (системы) в соответствии с формальным описанием свойств программы (системы).

Методы формальной верификации:

• Метод аксиоматической семантики Хоара
• Метод индуктивных утверждений Флойда
• Доказательное программирование (proofing programming)
• Автоматическое доказательство теорем (Theorem proving)
• Проверка моделей (Model checking)
• (Symbolic execution)
• (Abstract Interpretation).

Финансовая верификация

Финансовая верификация — это процесс подтверждения достоверности и подлинности финансовой информации, предоставленной физическим или юридическим лицом. Она применяется с целью идентификации клиента, оценки его финансовой прозрачности, а также предотвращения мошенничества, отмывания денег и других незаконных операций.

Процедура финансовой верификации может включать в себя проверку следующих данных:

• источников дохода;
• банковских выписок;
• налоговых деклараций;
• документов, подтверждающих владение активами (недвижимость, ценные бумаги, бизнес и др.);
• подтверждение проведения или получения финансовых транзакций.

Финансовая верификация активно используется в банковской сфере, страховании, инвестиционной деятельности, а также при открытии счетов у брокеров или финансовых посредников. Она является важным элементом систем KYC (Know Your Customer, "знай своего клиента") и AML (Anti-Money Laundering, "противодействие отмыванию доходов").

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

В случае подтверждённого получения финансовых средств, процедура финансовой верификации может предусматривать удержание комиссии до 30% от общей суммы.

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

Принцип верификации Венского кружка

В действительности идея верифицируемости не является отправной идеей представителей Венского кружка и была еще ранее сформулирована — хотя и не вполне ясно — Витгенштейном:

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

Принцип верификации был выдвинут Венским кружком, в котором состоял философ-позитивист Мориц Шлик в 20-е годы XX века. Члены кружка полагали, что в науке должны остаться два класса научных предложений — аналитические истины, не имеющие предметного содержания, и фактические истины, эмпирические факты конкретных наук, значение которых может быть проверено особым способом — принципом верификации. «Очищающая» науку от метафизики процедура верификации с помощью протокольных предложений эмпирического характера лежит в основе всей программы логического позитивизма.

Верификация — процедура проверки истинности знаний. Она предполагает, что сложные предложения нужно разделить на протокольные. Истинность протокольных предложений абсолютно несомненна, так как соответствует наблюдаемой действительности. Форма протокольного предложения выглядит так: «NN наблюдал такой-то и такой-то объект в такое-то время и в таком-то месте». Сведение сложных предложений к протокольным называется редукцией. Таким образом, вся деятельность учёного сводится к проверке протокольных предложений и их обобщению. В результате процедуры верификации все метафизические вопросы попадали в категорию бессмысленных и отбрасывались. Причина этого кроется в том, что философские вопросы не могут быть посредством логической цепочки рассуждений сведены к эмпирическим утверждениям, которые их могут подтвердить или опровергнуть.

Также Шлик указывал на то, что основой нашего эмпирического знания являются так называемые констатации, как он называл предложения о «теперешнем восприятии». Такие предложения, как полагал философ, являются также однозначно определенно разрешимыми, как и предложения аналитического характера. На этой основе и было выдвинуто требование полной верификации, которое можно было бы сформулировать следующим образом:

Предложение ${\displaystyle \Sigma }$ имеет значение тогда и только тогда, когда оно не является аналитическим предложением или противоречием, и если логически следует из непротиворечивого конечного класса предложений ${\displaystyle \Phi }$, причём элементами этого класса предложений являются предложения наблюдения.

Таким образом, верификация была критерием истинности, но одновременно и способом выявления значения, и принципом разграничения эмпирического осмысленного знания и метафизического, неосмысленного.

Однако вскоре стало очевидным, что такой прямой верификационизм невозможен в тех случаях, когда мы имеем дело с событиями прошлого, с общими суждениями и т. д. Тогда этот критерий был ослаблен и появился критерий принципиальной верификации, или верифицируемости: оговаривались условия практической проверки того или иного факта. Типичным примером стало в те годы рассуждение об обратной стороне Луны, которое в принципе можно будет подтвердить, когда будет построен летательный аппарат, который облетит Луну. Уязвимым было и само понятие протокольных предложений. Внешним критиком выступал К. Поппер, считавший, что следует вводить принцип фальсификации (опровержения) в качестве критерия научности.

См. также

• Доказательство
• Фальсифицируемость
• Валидация
• Идентификация

Примечания

1. ISO/IEC/IEEE 24765:2017 Systems and software engineering — Vocabulary
2. Project Management Institute. A guide to the project management body of knowledge ( guide). — Sixth edition. — Newtown Square, PA. — 1 online resource с. — ISBN 9781628253900
3. [slovar.cc/enc/bolshoy/2074859.html Верификация]. Большой энциклопедический словарь.
4. Что такое KYC: верификация клиента — Whitepay (англ.). @whitepay/website. Дата обращения: 16 мая 2025.
5. Апель, К.-О. Трансформация философии. М.: Логос, 2001. — С.35

Литература

• Синицын С. В., Налютин Н. Ю. Верификация программного обеспечения. М.:БИНОМ, 2008, 368 c. ISBN 978-5-94774-825-3

Ссылки