- Верификация
-
Позитивизм
Основные понятия Верификация, Опыт, Факт
Индукция, Конвенционализм
Теорема о неполноте
Тезис Дюэма — Куайна
МетаязыкТексты Основные начала
Течения Эмпириокритицизм, Махизм
Люди Конт, Тэн, Милль, Спенсер
Мах, Авенариус
Пуанкаре, Дюэм, Рассел
Шлик, Карнап, Гедель, Нейрат
ВитгенштейнВ различных сферах деятельности человека под верифика́цией (от лат. 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) и демонстраций
- анализ документов до их выпуска.
Верификацию некоторые люди путают с валидацией. Верификация всегда опирается на сравнение реальных опытных образцов с эталонными, создаваемыми на фазе проектирования.
Примечания
См. также
Литература
- Синицын С. В., Налютин Н. Ю. Верификация программного обеспечения. М.:БИНОМ, 2008, 368 c. ISBN 978-5-94774-825-3
Категории:- Менеджмент
- Управление предприятием
- Научный скептицизм
- Управление качеством
- Позитивизм
Wikimedia Foundation. 2010.