Верификация

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

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

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

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

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

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

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

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

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

Верификация в системе качества[править | править вики-текст]

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

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

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

Литература[править | править вики-текст]

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