Верификация
[править]
Материал из Википедии — свободной энциклопедии
(Перенаправлено с Доказуемость)

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

Верификация — проверка, проверяемость, способ подтверждения каких-либо теоретических положений, алгоритмов, программ и процедур путем их сопоставления с опытными (эталонными или эмпирическими) данными, алгоритмами и программами. Принцип верификации был выдвинут Венским кружком[1].

или

Верификация — это подтверждение соответствия конечного продукта предопределённым эталонным требованиям.

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

Гипотеза — недоказанное правдоподобное утверждение на основе ряда подтверждающих её наблюдений или суждений, понятий, постулатов (в науке). Гипотезы, основанные на ложных суждениях, неправильных понятиях, постулатах, составляют псевдонауку[2].
Концепция — модель с подтверждающими её истинность фактами и/или без них (см. Философия).
Теория — объяснение с предоставлением доказательств максимальной степени (см. Наука).

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

1 Формальная верификация
2 Верификация в системе качества
3 Примечания
4 См. также
5 Литература

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

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

Методы верификации:

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

Верификация или эмпирическое подтверждение является основным критерием научности знания.
[править] Верификация в системе качества

В российском государственном стандарте ГОСТ Р ИСО 9000-2001 (который является аутентичным переводом международного стандарта ISO 9000:2000) «верификация» определена следующим образом:

3.8.4 верификация (en verification; fr verification): Подтверждение на основе представления объективных свидетельств (3.8.1) того, что установленные требования (3.1.2) были выполнены.

Примечания

1 Термин «верифицировано» используется для обозначения соответствующего статуса.

2 Деятельность по подтверждению может включать:

— осуществление альтернативных расчетов

— сравнение научной и технической документации (3.7.3) по новому проекту с аналогичной документацией по апробированному проекту

— проведение испытаний (3.8.3) и демонстраций

— анализ документов до их выпуска.

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

↑ Апель, К.-О. Трансформация философии. М.: Логос, 2001. - С.35
↑ В случае, когда гипотезы претендуют на статус научных.