Что такое верификация и валидация методов расчета и программных продуктов?
Научим проводить расчеты пожарных рисков по методикам 1140/533 на практических онлайн курсах под руководством экспертов →
Наверняка, каждый специалист, проводивший расчет в программном обеспечении для решения задач пожарной безопасности, задумывался:
Это важные и правильные вопросы, на которые давно пора получить ответ. И тут мы сразу столкнемся с понятиями “верификация” и “валидация”, которые помогут нам сформировалось понимание о возможности и способе подтвердить корректность полученных данных.
Вольные определения – попытка объяснить простыми словами:
Верификация — это процессы проверки соответствия формул и алгоритмов, реализованных в программном обеспечении, тем, что задуманы “на бумаге”. Иными словами, если 2 + 2 = 4, в программе должно получиться такое же значение.
Валидация – это процесс определения, насколько точно реализованная в программе модель физического процесса отражает реальный процесс (развитие пожара или эвакуация людей).
В статье Ю.Ю. Журавлева «Экспериментальная проверка видимости при пожаре и при полевом моделировании» приводится пример сравнения полученных результатов моделирования развития пожара по одному из опасных факторов (потеря видимости) и результатов натурных испытаний. В приведенном примере результаты моделирования и испытаний были близки.
В статье Е.С.Кирик и соавторов “Анализ данных натурных экспериментов пешеходного движения в прямом коридоре и их применение для тестирования программ на примере ПО «Сигма ПБ» (Пожарная безопасность, N 2, 2020. P.51-62) рассматриваются данные реальных экспериментов, дается статистика по ним, которую можно использовать как исходные данные, сделано сравнение с результатами вычислительного эксперимента.
Некорректные результаты расчетов тянут за собой серьезные последствия, выраженные в некорректной оценке эффективности или неэффективности предусмотренного комплекса мероприятий системы обеспечения пожарной безопасности на объекте защиты, направленного на обеспечение безопасных условий эвакуации.
Сейчас на Российском рынке предлагается большое количество программ для решения задач в области пожарной безопасности, многие из которых имеют сертификаты добровольной системы сертификации, ставшие для ряда пользователей и “проверяющих” лакмусовой бумажкой, наличие которой исключает сомнения в достоверности полученных данных в результатах расчетов. В чем состоит процедура сертификации, можно ли доверять ее результатам?
Известны случаи, когда результаты моделирования развития пожара и/или эвакуации в разных программах при, как-будто, одних и тех же условиях, значимо отличаются.
Это говорит о том, что данную тему нельзя оставлять без внимания и необходимо обсуждать в профессиональном сообществе.
Открытое совещание в Академии ГПС МЧС России
Компания «ПожСофт» приглашает на первое мероприятие по этому вопросу 14 февраля 2025 года в 10:00 на территории Академии ГПС МЧС России «Валидация и верификация программных средств для решения задач пожарной безопасности». Предполагается, что на нем будут присутствовать большая часть ведущих производителей программных продуктов.
Принять участие в обсуждении и посетить открытое совещание может любой желающий. Вход свободный.
Регистрация на мероприятие обязательна до 11 февраля включительно! Ответственный за регистрацию Игольникова Елена Алексеевна e.igolnikova@inbox.ru.
Перейти к содержимому PDF
