О методах верификации и валидации систем.

Принципы, подходы, порядок создания СМК

Модератор: Роман Озеранский

О методах верификации и валидации систем.

Сообщение justvictor » 14 дек 2015, 12:13

Добрый день, уважаемые форумчане.
Интересно Ваше мнение на тему существующих методов верификации и валидации систем управления (в соответствии с нормативной документацией).
Сколько этих методов и как они распределяются между верификацией и валидацией?

Пользователь удален за нарушение правил регистрации
Адиминистратор
justvictor
 

Re: О методах верификации и валидации систем.

Сообщение Колчев Виктор » 14 дек 2015, 14:01

Виноват, невнимательно прочёл условия регистрации.
Вопрос по-прежнему актуален.
Колчев Виктор
 

Re: О методах верификации и валидации систем.

Сообщение Роман Озеранский » 14 дек 2015, 14:08

Не могу не задать свой вопрос, а каково целеполагание верификации и валидации систем, зачем и кому это надо?
Первая Теорема Деминга: Никто не беспокоится о долговременной прибыли.
Вторая Теорема Деминга: Нас губят наилучшие усилия.
Аватара пользователя
Роман Озеранский
Администратор форума
Администратор форума
 
Сообщения: 35129
Зарегистрирован: 15 авг 2004, 17:57
Откуда: Москва
Благодарил (а): 0 раз.
Поблагодарили: 266 раз.

Re: О методах верификации и валидации систем.

Сообщение Виталий Эйнула » 14 дек 2015, 14:10

о каких системах речь?
Аватара пользователя
Виталий Эйнула
 
Сообщения: 4277
Зарегистрирован: 31 авг 2012, 14:56
Благодарил (а): 100 раз.
Поблагодарили: 149 раз.

Re: О методах верификации и валидации систем.

Сообщение Колчев Виктор » 14 дек 2015, 14:22

Роман Озеранский писал(а):Не могу не задать свой вопрос, а каково целеполагание верификации и валидации систем, зачем и кому это надо?

Немного странный вопрос
Зачем - для обеспечения заданного качества на всех этапов жизненного цикла "продукта/системы/..."
Кому - заказчику, например.
Колчев Виктор
 

Re: О методах верификации и валидации систем.

Сообщение Колчев Виктор » 14 дек 2015, 14:24

Виталий Эйнула писал(а):о каких системах речь?

Речь о системах управления технологическим процессов (если конкретнее - АСУ ТП).
Колчев Виктор
 

Re: О методах верификации и валидации систем.

Сообщение Колчев Виктор » 14 дек 2015, 14:28

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

Но неясно, насколько этот перечень полон, и что корректно относить к верификации, а что к валидации.
Колчев Виктор
 

Re: О методах верификации и валидации систем.

Сообщение Роман Озеранский » 14 дек 2015, 14:48

Колчев Виктор писал(а):Кому - заказчику, например.

А как звучит требование от Заказчика к верификации и валидации?
Первая Теорема Деминга: Никто не беспокоится о долговременной прибыли.
Вторая Теорема Деминга: Нас губят наилучшие усилия.
Аватара пользователя
Роман Озеранский
Администратор форума
Администратор форума
 
Сообщения: 35129
Зарегистрирован: 15 авг 2004, 17:57
Откуда: Москва
Благодарил (а): 0 раз.
Поблагодарили: 266 раз.

Re: О методах верификации и валидации систем.

Сообщение Виталий Эйнула » 14 дек 2015, 14:51

Колчев Виктор писал(а):Но неясно, насколько этот перечень полон, и что корректно относить к верификации, а что к валидации.

верификация и валидация это терминология ГОСТ ISO 9000, пришлые так сказать иностранщина. Вам они зачем для АСУ?
Аватара пользователя
Виталий Эйнула
 
Сообщения: 4277
Зарегистрирован: 31 авг 2012, 14:56
Благодарил (а): 100 раз.
Поблагодарили: 149 раз.

Re: О методах верификации и валидации систем.

Сообщение Колчев Виктор » 14 дек 2015, 15:02

Роман Озеранский писал(а):
Колчев Виктор писал(а):Кому - заказчику, например.

А как звучит требование от Заказчика к верификации и валидации?

Пишется ТЗ, которое согласовывается заказчиком и организациями, участвующими в жизненном цикле.
Ответственная организация (поставщик/проектант/подрядчик) должна предоставить отчётные материалы (результаты, тестирования, моделирования, испытаний), подтверждающие выполнение соответствующих требований из ТЗ.
Колчев Виктор
 

Re: О методах верификации и валидации систем.

Сообщение Колчев Виктор » 14 дек 2015, 15:05

Виталий Эйнула писал(а):
Колчев Виктор писал(а):Но неясно, насколько этот перечень полон, и что корректно относить к верификации, а что к валидации.

верификация и валидация это терминология ГОСТ ISO 9000, пришлые так сказать иностранщина. Вам они зачем для АСУ?

Беда в том, что термины верификации и валидации уже давно пробрались в АСУ и возникла ожидаемая путаница с их разделением и местом в жизненном цикле системы.
Колчев Виктор
 

Re: О методах верификации и валидации систем.

Сообщение Роман Озеранский » 14 дек 2015, 15:08

Колчев Виктор писал(а):Ответственная организация (поставщик/проектант/подрядчик) должна предоставить отчётные материалы (результаты, тестирования, моделирования, испытаний), подтверждающие выполнение соответствующих требований из ТЗ.

Значит отчётные материалы (результаты, тестирования, моделирования, испытаний) и будут являться результатами верификации/валидации. Что Заказчик хотел, то он и получил :D .
Первая Теорема Деминга: Никто не беспокоится о долговременной прибыли.
Вторая Теорема Деминга: Нас губят наилучшие усилия.
Аватара пользователя
Роман Озеранский
Администратор форума
Администратор форума
 
Сообщения: 35129
Зарегистрирован: 15 авг 2004, 17:57
Откуда: Москва
Благодарил (а): 0 раз.
Поблагодарили: 266 раз.

Re: О методах верификации и валидации систем.

Сообщение Виталий Эйнула » 14 дек 2015, 15:11

Колчев Виктор писал(а):
Роман Озеранский писал(а):
Колчев Виктор писал(а):Кому - заказчику, например.

А как звучит требование от Заказчика к верификации и валидации?

Пишется ТЗ, которое согласовывается заказчиком и организациями, участвующими в жизненном цикле.
Ответственная организация (поставщик/проектант/подрядчик) должна предоставить отчётные материалы (результаты, тестирования, моделирования, испытаний), подтверждающие выполнение соответствующих требований из ТЗ.

СРПП, иначе говоря постановка на производство. ГОСТ Р 15.00Х
Аватара пользователя
Виталий Эйнула
 
Сообщения: 4277
Зарегистрирован: 31 авг 2012, 14:56
Благодарил (а): 100 раз.
Поблагодарили: 149 раз.

Re: О методах верификации и валидации систем.

Сообщение Колчев Виктор » 14 дек 2015, 16:30

Виталий Эйнула писал(а):
Колчев Виктор писал(а):
Роман Озеранский писал(а):
Колчев Виктор писал(а):Кому - заказчику, например.

А как звучит требование от Заказчика к верификации и валидации?

Пишется ТЗ, которое согласовывается заказчиком и организациями, участвующими в жизненном цикле.
Ответственная организация (поставщик/проектант/подрядчик) должна предоставить отчётные материалы (результаты, тестирования, моделирования, испытаний), подтверждающие выполнение соответствующих требований из ТЗ.

СРПП, иначе говоря постановка на производство. ГОСТ Р 15.00Х

Хорошо, стандарт ГОСТ Р 15.201-2000 обходится без использования понятий верификации и валидации, оперируя понятиями экспертизы/методики испытаний.

Первоначальный вопрос заключался как раз в том, чтобы определить перечень возможных методов испытаний (см. примеры, приведенные ниже)
− инспектирование;
− сквозной контроль;
− формализованные описания;
− символическое выполнение;
− проверка программ;
...
и разобраться в их соответствии процессам верификации и валидации.
Например, верификация - формализованные описания, валидация - сквозной контроль ...
Колчев Виктор
 

Re: О методах верификации и валидации систем.

Сообщение Виталий Эйнула » 14 дек 2015, 16:39

Колчев Виктор писал(а):определить перечень возможных методов испытаний

акты или протоколы испытаний опытных образцов, акты приемки этапов ОКР.
в качестве примера по КД:
проверка правомочности организации (наличие действующей лицензии);
проверка состава, комплектности и литеры конструкторской документации на соответствие условиям договора и технического задания;
проверка физического состояния документации и её пригодности для размножения;
проверка наличия метрологической экспертизы документации и её нормоконтроль;
проверка наличия проверки органами государственного надзора;
проверка наличия утверждения конструкторской документации;
проверка того, что в документации выполнены требования правил и норм безопасности, действие которых распространяется на данный вид изделий, назначенные методы и объёмы контроля соответствуют этим требованиям и выполнимы.
Последний раз редактировалось Виталий Эйнула 14 дек 2015, 16:44, всего редактировалось 1 раз.
Аватара пользователя
Виталий Эйнула
 
Сообщения: 4277
Зарегистрирован: 31 авг 2012, 14:56
Благодарил (а): 100 раз.
Поблагодарили: 149 раз.

Re: О методах верификации и валидации систем.

Сообщение Виталий Эйнула » 14 дек 2015, 16:40

Колчев Виктор писал(а):сквозной контроль ...

как осуществляется?
Аватара пользователя
Виталий Эйнула
 
Сообщения: 4277
Зарегистрирован: 31 авг 2012, 14:56
Благодарил (а): 100 раз.
Поблагодарили: 149 раз.

Re: О методах верификации и валидации систем.

Сообщение Колчев Виктор » 14 дек 2015, 16:45

Виталий Эйнула писал(а):
Колчев Виктор писал(а):определить перечень возможных методов испытаний

акты или протоколы испытаний опытных образцов, акты приемки этапов ОКР.
каждый из этапов сопровождается документальным оформлением - акт, протокол.

Акт, протокол - это не методы испытания, а вид представление результатов.
Колчев Виктор
 

Re: О методах верификации и валидации систем.

Сообщение Колчев Виктор » 14 дек 2015, 16:48

Виталий Эйнула писал(а):
Колчев Виктор писал(а):сквозной контроль ...

как осуществляется?

С использование CASE технологии.
Колчев Виктор
 

Re: О методах верификации и валидации систем.

Сообщение Виталий Эйнула » 14 дек 2015, 16:51

Колчев Виктор писал(а):Акт, протокол - это не методы испытания, а вид представление результатов.

ну да отчетная документация..
суть, если коротко.
заключается договор- разрабатывается ТЗ, КД и ТД изготавливаются и испытываются опытные образцы по методике ли программе испытаний, изготавливается установочная партия, комиссионно принимается, проводят квалификационные испытания по результатам которой присваивают КД литеру
Аватара пользователя
Виталий Эйнула
 
Сообщения: 4277
Зарегистрирован: 31 авг 2012, 14:56
Благодарил (а): 100 раз.
Поблагодарили: 149 раз.

Re: О методах верификации и валидации систем.

Сообщение Виталий Эйнула » 14 дек 2015, 16:53

Колчев Виктор писал(а):
Виталий Эйнула писал(а):
Колчев Виктор писал(а):сквозной контроль ...

как осуществляется?

С использование CASE технологии.

к своему стыду ничего не знаю об этом
Аватара пользователя
Виталий Эйнула
 
Сообщения: 4277
Зарегистрирован: 31 авг 2012, 14:56
Благодарил (а): 100 раз.
Поблагодарили: 149 раз.

След.

Вернуться в Методология создания СМК

Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 2



cron