В различных сферах деятельности человека под верифика́цией (от лат. verus — «истинный» и facere — «делать») могут подразумеваться разные понятия. Например:
- Верификация — проверка, проверяемость, способ подтверждения с помощью доказательств каких-либо теоретических положений, алгоритмов, программ и процедур путем их сопоставления с опытными (эталонными или эмпирическими) данными, алгоритмами и программами. Принцип верификации был выдвинутВенским кружком[1].
- Верификация — это подтверждение соответствия конечного продукта предопределённым эталонным требованиям.
- Верификация — методика распознавания лжи (укрывательства, искажения).
В значении доказуемости, проверяемости объяснений (моделей) объектов/явлений, в зависимости от степени подтверждаемости реальностью (эмпирически, фактами), образует понятия:
- Гипотеза — недоказанное фальсифицируемое правдоподобное утверждение на основе ряда подтверждающих её наблюдений или суждений, понятий, постулатов (внауке). Гипотезы, основанные на ложных суждениях, неправильных понятиях, постулатах, составляют псевдонауку[2]
- Концепция — модель с подтверждающими её истинность фактами и/или без них (см. Философия).
- Теория — объяснение с предоставлением доказательств максимальной степени (см. Наука).
Корень различного понимания понятия верификация кроется в спектре возможностей сличения соответствия конечного продукта предопределённым требованиям. Верифицировать соответствие конечного продукта предопределённым требованиям возможно, в зависимости от ситуации, по прямым и косвенным характеристикам этого конечного продукта. А также существует процессный подход, который отслеживает продвижение продукта к предопределённым требованиям.
Содержание
[убрать]
Формальная верификация[править | править вики-текст]
Формальная верификация — доказательство с помощью формальных методов правильности или неправильности программы (системы) в соответствии с формальным описанием свойств программы (системы).
Методы верификации:
- Метод аксиоматической семантики Хоара
- Метод индуктивных утверждений Флойда
- Доказательное программирование (proofing programming)
- Автоматическое доказательство теорем (Theorem proving)
- Проверка моделей (Model checking)
- Символьное выполнение (Symbolic execution)
- Абстрактная интерпретация (Abstract Interpretation)
Верификация или эмпирическое подтверждение является основным критерием научности знания.
Верификация в системе качества[править | править вики-текст]
В российском государственном стандарте ГОСТ Р ИСО 9000-2008 (который является аутентичным переводом международного стандарта ISO 9000:2000) «верификация» определена следующим образом:
3.8.4 верификация (en verification; fr verification): Подтверждение на основе представления объективных свидетельств (3.8.1) того, что установленные требования (3.1.2) были выполнены.
Примечания
1. Термин «верифицировано» используется для обозначения соответствующего статуса.
2. Деятельность по подтверждению может включать:
- осуществление альтернативных расчетов
- сравнение научной и технической документации (3.7.3) по новому проекту с аналогичной документацией по апробированному проекту
- проведение испытаний (3.8.3) и демонстраций
- анализ документов до их выпуска.
Верификацию некоторые люди путают с валидацией. Верификация всегда опирается на сравнение реальных опытных образцов с эталонными, создаваемыми на фазе проектирования.