Mylsa.ru

Церковный образовательный портал

Меню


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

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

или

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

" Верификация — методика распознавания лжи (укрывательства, искажения).

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

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

Содержание

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

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

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

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

Верификация в системе качества

В российском государственном стандарте ГОСТ Р ИСО 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) и демонстраций
  • анализ документов до их выпуска.

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

Примечания

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

См. также

Литература

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


Англо-русский политехнический словарь