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

[justvictor]

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

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

[Колчев Виктор]

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

[Роман Озеранский]

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

[Виталий Эйнула]

о каких системах речь?

[Колчев Виктор]

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

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

[Колчев Виктор]

о каких системах речь?

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

[Колчев Виктор]

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

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

[Роман Озеранский]

Кому - заказчику, например.

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

[Виталий Эйнула]

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

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

[Колчев Виктор]

Кому - заказчику, например.

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

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

[Колчев Виктор]

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

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

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

[Роман Озеранский]

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

Значит отчётные материалы (результаты, тестирования, моделирования, испытаний) и будут являться результатами верификации/валидации. Что Заказчик хотел, то он и получил .

[Виталий Эйнула]

Кому - заказчику, например.

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

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

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

[Колчев Виктор]

Кому - заказчику, например.

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

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

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

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

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

[Виталий Эйнула]

определить перечень возможных методов испытаний

акты или протоколы испытаний опытных образцов, акты приемки этапов ОКР.
в качестве примера по КД:
проверка правомочности организации (наличие действующей лицензии);
проверка состава, комплектности и литеры конструкторской документации на соответствие условиям договора и технического задания;
проверка физического состояния документации и её пригодности для размножения;
проверка наличия метрологической экспертизы документации и её нормоконтроль;
проверка наличия проверки органами государственного надзора;
проверка наличия утверждения конструкторской документации;
проверка того, что в документации выполнены требования правил и норм безопасности, действие которых распространяется на данный вид изделий, назначенные методы и объёмы контроля соответствуют этим требованиям и выполнимы.

[Виталий Эйнула]

сквозной контроль ...

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

[Колчев Виктор]

определить перечень возможных методов испытаний

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

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

[Колчев Виктор]

сквозной контроль ...

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

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

[Виталий Эйнула]

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

ну да отчетная документация..
суть, если коротко.
заключается договор- разрабатывается ТЗ, КД и ТД изготавливаются и испытываются опытные образцы по методике ли программе испытаний, изготавливается установочная партия, комиссионно принимается, проводят квалификационные испытания по результатам которой присваивают КД литеру

[Виталий Эйнула]

сквозной контроль ...

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

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

к своему стыду ничего не знаю об этом