Проверяемость | это... Что такое Проверяемость? (original) (raw)

В различных сферах деятельности человека под верификацией могут подразумеваться немного различные вещи. Например:

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

или

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

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

• Гипотеза — недоказанное правдоподобное утверждение на основе ряда подтверждающих её наблюдений или суждений, понятий, постулатов (в науке). Основанные на ложных суждениях, неправильных понятиях, постулатов, составляют псевдонауку.

Примерами псевдонауки являются заявления некоторых программистов о том, что программ без ошибок не бывает. Алгоритм или программа содержит ошибки, если можно указать такие тестовые данные, при которых выполнение алгоритма (программы)приводит к получению сбоев, отказов или неправильных результатов.

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

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

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

Содержание

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

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

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

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

• Метод аксиоматической семантики Хоара
• Метод индуктивных утверждений Флойда
• Доказательное программирование (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) и демонстраций

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

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

См. также

• Доказательство
• Фальсифицируемость

Литература

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

Wikimedia Foundation.2010.