II. Рекомендации по верификации программ для электронных вычислительных машин, предназначенных для проведения расчетов в обоснование вероятностного анализа безопасности объектов использования атомной энергии

5. Обоснование возможности использования программ для ЭВМ, предназначенных для проведения расчетов в обоснование ВАБ ОИАЭ, рекомендуется проводить путем верификации указанных программ на основе решения тестовых задач.

6. Верификацию программ для ЭВМ рекомендуется проводить для всех заявленных функциональных возможностей программы для ЭВМ и для всех диапазонов изменения параметров расчетов, сведения о которых включаются в отчет, содержащий результаты обоснования использования программы для ЭВМ при построении расчетной ЛВМ (расчетных моделей) процессов, влияющих на безопасность ОИАЭ, и (или) видов деятельности в области использования атомной энергии (далее - отчет, обосновывающий применение программы для ЭВМ) и в аттестационный паспорт программы для ЭВМ.

7. Выбор тестовых задач для верификации программы для ЭВМ рекомендуется обосновывать в отчете, обосновывающем применение программы для ЭВМ, в зависимости от функциональных возможностей программы для ЭВМ.

8. Перечень тестовых задач, выбранных для верификации программы для ЭВМ, рекомендуется представлять в виде матрицы верификации. Рекомендуемая структура матрицы верификации программы для ЭВМ, используемой при выполнении ВАБ ОИАЭ, для расчета показателей безопасности, надежности и живучести систем ОИАЭ, приведена в приложении N 2 к настоящему Руководству по безопасности.

9. Описание тестовых задач, рекомендуемых к использованию при проведении верификации программы для ЭВМ, предназначенной для проведения расчетов в обоснование ВАБ ОИАЭ, приведено в приложении N 3 к настоящему Руководству по безопасности. Детальные (полные) результаты решения указанных тестовых задач размещаются на сайте организации научно-технической поддержки уполномоченного органа государственного регулирования безопасности при использовании атомной энергии в информационно-телекоммуникационной сети "Интернет" (далее - база данных результатов расчетов тестовых задач).

10. Указанные в пункте 9 настоящего Руководства по безопасности тестовые задачи разделены на две группы:

группа 1 "Аналитические задачи" - содержит базовые задачи, решение которых может быть получено без использования программ для ЭВМ, но позволяющие проверить качество реализации в программе для ЭВМ базовых моделей теории вероятности и теории надежности (задачи N 1 - 11 приложения N 3 к настоящему Руководству по безопасности);

группа 2 "Задачи большой размерности" - содержит задачи моделирующие системы ОИАЭ, решение которых, вследствие сложности, выполняется с использованием программ для ЭВМ (задачи N 12 - 20 приложения N 3 к настоящему Руководству по безопасности).

11. В отчете, обосновывающем применение программы для ЭВМ, для задач, включенных в группу 1, рекомендуется приводить:

- ссылку на номер тестовой задачи в соответствии с приложением N 3 к настоящему Руководству по безопасности;

- способ ее решения, принятый в программе для ЭВМ;

- выводы по итогам сопоставления результатов расчетов, полученных с применением аттестуемой программы для ЭВМ, с результатами аналитического решения из базы данных результатов расчетов тестовых задач.

12. В отчете, обосновывающем применение программы для ЭВМ, для задач, включенных в группу 2, рекомендуется приводить:

- ссылку на номер тестовой задачи в соответствии с приложением 3 к настоящему Руководству по безопасности;

- выводы по итогам сопоставления результатов решения задачи, полученных с применением аттестуемой программы для ЭВМ, с результатами, полученными с применением альтернативной аттестованной программы (программ) для ЭВМ из базы данных результатов расчетов тестовых задач.

13. При расхождении результатов решения тестовых задач, полученных с помощью аттестуемой программы для ЭВМ, с результатами решения тех же тестов, полученных с помощью аттестованных альтернативных программ, в верификационном отчете аттестуемой программы для ЭВМ рекомендуется приводить результаты анализа причин такого расхождения.

14. В отчете, обосновывающем применение программ для ЭВМ, для задач, включенных в группу 2, рекомендуется приводить результаты решения только тех тестовых задач, для решения которых предназначена аттестуемая программа для ЭВМ.

15. В случае, если верификация программы для ЭВМ проводится с использованием тестовой задачи, не включенной в настоящее Руководство по безопасности, то в отчет, обосновывающий применение программы для ЭВМ, рекомендуется включать описание и обоснование такой тестовой задачи, исходные данные, необходимые для ее решения (в объеме, достаточном для проведения проверочного расчета с использованием альтернативной программы для ЭВМ), результаты решения задачи, полученные с применением программы для ЭВМ.