Из ГОСТ Р 57700.2–2017 Численное моделирование для разработки и сдачи в эксплуатацию высокотехнологичных промышленных изделий. Сертификация программного обеспечения. Общие положения

4.5 Процесс сертификации ПО КМ основан на проведении экспертизы соответствия требованиям стандарта организации на ПО КМ, версии ПО КМ, представленной в орган по сертификации [из 4.5 ГОСТ Р 57700.2–2017]

4.6 Основной процедурой, проводимой при экспертизе ПО КМ, является проверка результатов верификации и валидации сертифицируемой версии ПО КМ [из 4.6 ГОСТ Р 57700.2–2017]

4.6.1 Верификация ПО КМ выполняется путем сравнения с результатами аналитических тестов, теоретического анализа и включает обоснование точности, сходимости, устойчивости используемых численных методов [из 4.6.1 ГОСТ Р 57700.2–2017]

4.6.2 Валидация ПО КМ выполняется путем сравнения с экспериментальными данными и эталонными результатами, полученными по другим сертифицированным версиям ПО КМ данного типа или содержащимися в утвержденных документах по стандартизации, предусмотренных законодательством Российской Федерации [из 4.6.2 ГОСТ Р 57700.2–2017]

4.7 Основным документом при представлении ПО КМ на прохождение процедуры сертификации, подтверждающим заявленные характеристики, является отчет о верификации и валидации ПО КМ, подтверждающий соответствие стандарту организации на ПО КМ [из 4.7 ГОСТ Р 57700.2–2017]

4.8 Отчет о верификации и валидации ПО КМ разрабатывается заявителем ПО КМ в соответствии с требованиями стандарта организации на ПО КМ [из 4.8 ГОСТ Р 57700.2–2017]

4.9 Стандарт организации на ПО КМ должен соответствовать требованиям ГОСТ Р 57700.1 [из 4.9 ГОСТ Р 57700.2–2017]

[1] Федеральный закон от 27 декабря 2002 г. № 184–ФЗ «О техническом регулировании»

[из Библиография ГОСТ Р 57700.2-2017]

Процесс определения соответствия ПО КМ (компьютерной модели, программы) реальному миру. Валидация обеспечивает обоснование того, что ПО КМ в заявленной области применения позволяет правильно и с определенной точностью моделировать реальные процессы [из 3.1.4 ГОСТ Р 57700.2–2017]

Процесс определения соответствия ПО КМ (компьютерной модели, программы) математической модели. Верификация обеспечивает обоснование того, что ПО КМ при определенных параметрах рассчитывает математическую модель правильно и с соответствующей точностью [из 3.1.3 ГОСТ Р 57700.2–2017]