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

Совокупность программ системы обработки информации и программных документов, необходимых для их эксплуатации [из 3.3 ГОСТ Р 54593–2011]

Совокупность информации (данных) и программ, которые обрабатываются компьютерной системой.

Примечания

1. По назначению ПО разделяют на системное и прикладное.
2. Системное программное обеспечение — комплекс программ, которые обеспечивают управление компонентами вычислительной системы (такими как процессор, оперативная память, внешние устройства, сетевое и коммуникационное оборудование и т.п.).
3. Прикладное программное обеспечение — компьютерные программы и хранящиеся на машинных носителях данные, предназначенные для решения прикладных задач пользователя.

[из 3.7.1 ГОСТ Р 53394–2009]

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