03.com.ua- свободная медицинская энциклопедия. Каждый зарегистрированый участник может редактировать статьи
Верификация
В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например:
Верификация (от лат. verus - истинный, facere - делать) - это подтверждение соответствия конечного продукта предопределённым требованиям.
или
Верификация (от лат. verus - истинный, facere - делать) - проверка, проверяемость, способ обоснования (подтверждения) каких-либо теоретических положений путем их сопоставления с опытными (эмпирическими) данными.
Корень различного понимания понятия верификация кроется в спектре возможностей сличения соответствия конечного продукта предопределённым требованиям. Верифицировать соответствие конечного продукта предопределённым требованиям возможно, в зависимости от ситуации, по прямым и косвенным характеристикам этого конечного продукта. А также существует процессный подход, который отслеживает продвижение продукта к предопределённым требованиям.
Формальная верификация
Формальная верификация — доказательство с помощью формальных методов правильности или неправильности системы в соответствии с формальным описанием свойств системы.
Методы верификации:
- Автоматическое доказательство теорем (Theorem proving)
- Проверка на модели (Model checking)
- Символьное выполнение (Symbolic execution)
- Абстрактная интерпретация (Abstract Interpretation)
Верификация или Эмпирическое подтверждение является основным критерием научности знания.
Верификация в системе качества
По российскому ГОСТу ГОСТ Р ИСО 9000-2001, который соответствует интернациональному, верификация определена следующим образом:
3.8.4 верификация (en verification; fr verification): Подтверждение на основе представления объективных свидетельств (3.8.1) того, что установленные требования (3.1.2) были выполнены.
Примечания
1 Термин "верифицировано" используется для обозначения соответствующего статуса.
2 Деятельность по подтверждению может включать:
- осуществление альтернативных расчетов
- сравнение научной и технической документации (3.7.3) по новому проекту с аналогичной документацией по апробированному проекту
- проведение испытаний (3.8.3) и демонстраций
- анализ документов до их выпуска.
Верификацию некоторые люди путают с валидацией.
См. также
cs:Formální verifikace de:Verifizierung en:Formal verification es:Verificación formal fr:Méthode formelle (informatique) he:אימות תוכנה ja:形式的検証 no:Verifikasjon pl:Weryfikacja formalna pt:Métodos formais sk:Verifikácia sr:Верификација uk:Верифікація vi:Các phương pháp hình thức