Верификация
В различных сферах деятельности человека под верифика́цией (от лат. 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) и демонстраций
- анализ документов до их выпуска.
Верификацию некоторые люди путают с валидацией. Верификация всегда опирается на сравнение реальных опытных образцов с эталонными, создаваемыми на фазе проектирования.
Примечания
- ↑ Апель, К.-О. Трансформация философии. М.: Логос, 2001. — С.35
- ↑ В случае, когда гипотезы претендуют на статус научных.
См. также
Литература
- Синицын С. В., Налютин Н. Ю. Верификация программного обеспечения. М.:БИНОМ, 2008, 368 c. ISBN 978-5-94774-825-3
Wikimedia Foundation . 2010 .
Полезное
Смотреть что такое «Верификация» в других словарях:
ВЕРИФИКАЦИЯ — (этим. см. предыд. сл.). Удостоверение, проверка. Словарь иностранных слов, вошедших в состав русского языка. Чудинов А.Н., 1910. ВЕРИФИКАЦИЯ свидетельство, удостоверение в подлинности. Словарь иностранных слов, вошедших в состав русского языка.… … Словарь иностранных слов русского языка
ВЕРИФИКАЦИЯ — проверка документов, расчетов и др. Словарь финансовых терминов. Верификация Верификация установление соответствия принятой и переданной информации с помощью логических методов. По английски: Verification См. также: Информационные взаимодействия… … Финансовый словарь
ВЕРИФИКАЦИЯ — (от лат. verificatio доказательство, подтверждение) установление истинности или эмпирической осмысленности научных утверждений. Этот термин получил широкое распространение в связи с неопозитивистской программой эмпирического обоснования науки. С… … Философская энциклопедия
Верификация — Верификация ♦ Verification Проверка истинности высказывания с целью его оценки. Так, расчет можно проверить, повторив ту же операцию или проделав другую, а гипотезу – посредством опыта. Правда, остается вопрос об истинности самой проверки –… … Философский словарь Спонвиля
ВЕРИФИКАЦИЯ — в культурологии (позднелат. verificatio доказательство, подтверждение верности или истинности чего либо; от лат. verus истинный и facio делаю) установление истинности тех или иных суждений (утверждений и отрицаний) о культуре в знании о… … Энциклопедия культурологии
верификация — проверка, сличение, подтверждение, свидетельство Словарь русских синонимов. верификация сущ., кол во синонимов: 5 • валидация (4) • … Словарь синонимов
верификация — и, ж. vérification f. Свидетельство, удостоверение в подлинности. СИС 1954. Не для суеты, но для оного я в сие плодовитое описание вошел; некие происшествия я забыл и не помню верификациев чисел и имян, не писавши у себя никогда никаких записок.… … Исторический словарь галлицизмов русского языка
Верификация — (лат. verificatio дәлел, растау) – ғылыми ақиқат пен оның деректері (мәліметтері) эмпирикалық, яғни тәжірибелік тексеру арқылы айқындалады деген әдістемелік концепция, принцип. Ол логикалық позитивизм мен аналитикалық философияның бір тармағы… … Философиялық терминдердің сөздігі
верификация — контроль проверка Установление соответствия принятой и переданной информации с помощью логических методов [http://www.rol.ru/files/dict/internet/#]. [http://www.morepc.ru/dict/] верификация (ITIL Service Transition) Деятельность, которая… … Справочник технического переводчика
Верификация — англ. verification А. Проверка подлинности, правильности оформления документов, материалов. Б.Процесс сличения копии с оригиналом Словарь бизнес терминов. Академик.ру. 2001 … Словарь бизнес-терминов
ВЕРИФИКАЦИЯ — (от латинского verus истинный и facio делаю), проверка, эмпирическое подтверждение теоретических положений науки путем сопоставления их с наблюдаемыми объектами, фактическими данными, экспериментом … Современная энциклопедия
Источник
АЛГОРИТМ ВЕРИФИКАЦИИ МЕТОДИК
ДОКУМЕНТИРОВАННАЯ ПРОЦЕДУРА
ВЕРИФИКАЦИЯ СТАНДАРТИЗОВАННЫХ МЕТОДИК КОЛИЧЕСТВЕННОГО ХИМИЧЕСКОГО АНАЛИЗА
ДП- II-
| СОГЛАСОВАНО Руководитель ВИЛ ______________ 01….2018г |
| РАЗРАБОТЧИК Ведущий токсиколог |
Г.
СОДЕРЖАНИЕ
1. НАЗНАЧЕНИЕ И ОБЛАСТЬ ПРИМЕНЕНИЯ……………………………. …3
2. НОРМАТИВНОЕ ОБЕСПЕЧЕНИЕ…………………………………………….3
3. ТЕРМИНЫ И ОБОЗНАЧЕНИЯ………………………………………………. 4
3.1 Термины и определения…………………………………………. ……..4
5. АЛГОРИТМ ВЕРИФИКАЦИИ МЕТОДИК ……………………………………..7
6. ЭКСПЕРИМЕНТАЛЬНАЯ ПРОВЕРКА ПРАВИЛЬНОСТИ
6.1. Экспериментальная проверка правильности использования
МКХА в лаборатории (способ II)……………………………………. 9
6.1.1. Проверка соответствия повторяемости результатов анализа
требованиям методики с использованием одной однородной
6.1.2 Проверка соответствия повторяемости результатов анализа
требованиям МКХА с использованием нескольких рабочих проб. 12
6.1.3 Проверка соответствия лабораторного смещения требованиям
МКХА с использованием образцов для контроля…………. …….14
6.1.4 Проверка соответствия лабораторного смещения требованиям
МКХА с использованием метода добавок………………………… ..16
6.1.5 Проверка соответствия лабораторного смещения
требованиям методики с использованием другой
(контрольной) методики анализа……………………………………….17
6.2 Анализ результатов экспериментальной проверки
правильности использования методики………………………………19
ЛИСТ РЕГИСТРАЦИИ ИЗМЕНЕНИЙ…………………………………………….23
ЛИСТ УЧЕТА КОПИЙ ДОКУМЕНТА…………………………………………….24
- НАЗНАЧЕНИЕ И ОБЛАСТЬ ПРИМЕНЕНИЯ
Настоящая документированная процедура распространяется на верификацию (или внедерение) методик количественного химического анализа (МКХА) в ветеринарной испытательной лаборатории /// (далее ВИЛ) и устанавливает процедуру подтверждения соответствия реализуемой в лаборатории МКХА требованиям нормативного документа (НД) на эту методику.
Настоящая процедура разработана с учетом требований ГОСТ Р ИСО/МЭК 17025и приказа Минэкономразвития РФ от 30.05.14г № 326 и обязательна для применения персоналом ВИЛ.
Настоящая документированная процедура не распространяется на стандартизованные МКХА, используемые за пределами целевой области их применения.
- НОРМАТИВНОЕ ОБЕСПЕЧЕНИЕ
— РМГ 76-2014 Внутренний контроль качества результатов количественного химического анализа
— Р 50.1.060-2008 Статистические методы. Руководство по использованию оценок повторяемости, воспроизводимости и правильности при оценке неопределенности измерений
— Р 50.2.060-2008 Внедрение стандартизованных методик количественного химического анализа в лаборатории
— ГОСТ Р ИСО 9000-2011 Системы менеджмента качества. Основные положения и словарь.
— ГОСТ Р ИСО 9001-2011 Системы менеджмента качества. Требования.
— ГОСТ Р ИСО/МЭК 17025-2009 Общие требования к компетентности испытательных и калибровочных лабораторий
-ГОСТ Р 8.563-96 Государственная система обеспечения единства измерений. Методики выполнения измерений
— ГОСТ Р ИСО 5725-1-02 Точность (правильность и прецизионность) методов и результатов измерений. Часть 1. Основные положения и определения
— ГОСТ Р ИСО 5725-2-2002 Точность методов и результатов измерений. Часть 2. Основной метод определения повторяемости и воспроизводимости
— ГОСТ Р ИСО 5725-3-2002 Точность (правильность и прецизионность) методов и результатов измерений. Часть 3. Промежуточные показатели прецизионности стандартного метода измерений
— ГОСТ Р ИСО 5725-4-2002 Точность (правильность и прецизионность) методов и результатов измерений. Часть 4. Основные методы определения правильности стандартного метода измерений
— ГОСТ Р ИСО 5725-5-2002 Точность (правильность и прецизионность) методов и результатов измерений. Часть 5. Альтернативные методы определения прецизионности стандартного метода измерений
— ГОСТ Р ИСО 5725-6-2002Точность (правильность и прецизионность) методов и результатов измерений. Часть 6. Использование значений точности на практике
- ТЕРМИНЫ И ОБОЗНАЧЕНИЯ
Термины и определения
В настоящем документе использованы следующие термины, обозначения и сокращения.
Документированная процедура (ДП) – внутренний нормативный (организационный) документ, содержащий установленный способ осуществления процесса (деятельности).
Система менеджмента качества (СМК) – система управления организацией применительно к качеству
Точность измерений — качество измерений, отражающее близость их результатов к истинному значению измеряемой величины.
Погрешность измерения — отклонение результата измерения от истинного значения измеряемой величины.
Систематическая погрешность измерения — составляющая погрешности измерения, остающаяся постоянной или закономерно изменяющаяся при повторных измерениях одной и той же величины.
Случайная погрешность измерения — составляющая погрешности измерения, изменяющаяся случайным образом при повторных измерениях одной и той же величины.
Правильность измерений — качество измерений, отражающее близость к нулю систематических погрешностей в их результатах.
Аналитическая серия — совокупность измерений лабораторного показателя выполненных единовременно в одних и тех же условиях без перенастройки и калибровки аналитической системы.
Повторяемость — это когда образец (или идентичные образцы) проанализированы несколько раз одним человеком в одной лаборатории, и тем же самым прибором. В таких условиях расхождение результатов, полученных аналитиком будет наименьшим.
Воспроизводимость — это когда образец проанализирован, используя тот же самый аналитический метод при изменении условий, например, когда испытания выполнены в разное время, несколькими операторами, с различными инструментами и в различных лабораториях.
Прецизионность — степень близости друг к другу независимых результатов измерений, полученных в конкретных регламентированных условиях.
Методика испытаний — организационно-методический документ, обязательный к выполнению, включающий метод испытаний, средства и условия испытаний, отбор проб, алгоритмы выполнения операций по определению одной или нескольких взаимосвязанных характеристик свойств объекта, формы представления данных и оценивания точности, достоверности результатов, требования техники безопасности и охраны окружающей среды
Испытания — экспериментальное определение количественных и (или) качественных характеристик свойств объекта.
Условия испытаний — совокупность воздействующих факторов и (или) режимов функционирования объекта при испытаниях.
Метод испытаний — правила применения определенных принципов и средств испытаний.
Верификация — проверка, проверяемость, способ подтверждения, проверка с помощью доказательств, каких-либо теоретических положений, алгоритмов, программ и процедур путем их сопоставления с опытными (эталонными или эмпирическими) данными, алгоритмами и программами; или – подтверждение соответствия конечного продукта предопределённым эталонным требованиям; или – методика распознавания лжи (укрывательства, искажения).
Валидация – это подтверждение посредством представления объективных свидетельств того, что требования, предназначенные для конкретного использования или применения, выполнены.
Примечания: термин «валидирован» используют для обозначения соответствующего статуса, условия применения могут быть реальными или смоделированными (ГОСТ Р ИСО 9000-2008).
Актуализация методик – процесс выполнения новыми документами фонда, своевременного обновления имеющихся экземпляров (в случае замены или отмены), а также систематическое внесение изменений, дополнений и поправок в них.
Лабораторное смещение – разность между математическим ожиданием результатов единичного анализа, полученных в условиях повторяемости, и принятым опорным значением.
Сокращения
НД – нормативная документация;
ГОСТ – государственный стандарт;
ИУС — информационный указатель национальных стандартов
МВИ – методики выполнения измерений;
МКХА- методика количественного химического анализа;
- ОБЩИЕ ПОЛОЖЕНИЯ
Целью данной процедуры является унифицирование подхода в отделах ВИЛ к использованию методик, пригодных для намеченных целей.
Все методики, используемые в лаборатории, оцениваются на пригодность до их первого рабочего применения.
Требованиями ГОСТ Р ИСО/МЭК 17025 для методик испытаний (исследований, измерений) предусмотрена оценка их пригодности (верификация), как составляющего компонента технической компетентности лаборатории.
Под оценкой пригодности методик в лаборатории понимается верификация методики, т.е. ее подтверждение путем проведения исследования рабочей пробы или специально разработанного эксперимента и предоставления объективных доказательств того, что методика подходит для целевого использования.
В случае необходимости принятия решения о расширении области аккредитации ВИЛ осуществляют внедрение методики. Алгоритм внедрения методики аналогичный алгоритму верификации.
Для внедрения новой методики руководитель лаборатории оценивает наличие квалифицированных кадров в составе ВИЛ, обладающих опытом и навыками, достаточными для выполнения измерений по новой методике и, при необходимости, организует мероприятия по повышению квалификации персонала лаборатории.
Предложения по внедрению методик могут вносится каждым специалистом менеджеру по качеству, заведующему отделом.
АЛГОРИТМ ВЕРИФИКАЦИИ МЕТОДИК
Менеджер по качеству с заведующим отделом согласовывают актуальность верификации (внедрения) методики, разрабатывают план верификации (внедрения) и назначают ответственного за процедуру реализации конкретной методики. (Приложение А)
Ответственный за верификацию (внедрение) методики разрабатывает программу организационно-технических мероприятий по верификации (внедрению) методики (Приложение Б).
Заведующий отделом осуществляет:
а) проверку наличия необходимых условий для проведения испытаний;
б) контроль соответствия операций и правил, реализуемых в лаборатории в процессе испытаний, требованиям НД;
в) проведение экспериментальной проверки возможности получения в лаборатории результатов испытаний с точностью, отвечающей требованиям НД на МВИ.
Алгоритм верификации методик включает:
1) Выбор методик испытаний, используемых в лаборатории — осуществляется с учетом их назначения, области распространения, диапазонов определения показателей, установленных показателей качества методики, а также информации о наличии влияющих факторов.
2) проверку использования актуализированной версии НД на испытания (измерения). Ответственный сотрудник за актуализацию и сохранность фонда нормативной документации проводит актуализацию после получения из информационной системы комплексного обслуживания изменений.
3) проверку соответствия необходимого оборудования (СИ, ИО, вспомогательного оборудования и материалов, в т.ч. для отбора проб), реактивов, ГСО, анализ имеющихся ресурсов и указания на необходимость восполнения недостающих;
4) контроль сроков поверки и калибровки средств измерений, аттестации испытательного оборудования, проверку технического состояния вспомогательного оборудования;
Учет всего оборудования осуществляет ответственное лицо за обеспечение единства измерений.
5) проверку сроков годности ГСО, реактивов и вспомогательных материалов;
6) установление градуировочной зависимости и проверка ее стабильности (если это требование регламентировано МКХА);
7) проверку качества дистиллированной воды (при необходимости)
8) распределение обязанностей и ответственности между сотрудниками лаборатории по реализации элементов процедуры выполнения анализа;
9) экспериментальную проверку правильности использования реализуемой методики;
10) Фактически установленные значения показателей качества результатов испытаний регистрируются, анализируются и принимается решение о соответствии/несоответствии реализуемой в лаборатории методике требованиям нормативного документа на эту методику.
При внесении значимых изменений в НМД влияющих на качество получаемых результатов количественного химического анализа, правильность применения МКХА в лаборатории подлежит повторному подтверждению.
Отсутствие изменений в НМД являются основанием для использования МКХА в лаборатории с выдачей результатов испытаний (измерений, исследований) и проведения последующего внутрилабораторного контроля качества получаемых по ней результатов анализа.
Источник
