ГОСТ Р 8.883—2015
норма опорных («эталонных») результатов — по формуле:
|>-" || ф•.-у ;
Исполнительная характеристика показывает число потерянных цифр точности в тестируемом ПО
по сравнению с опорным («эталонным»),
6.5.8.3Исполнительная характеристика, определенная формулой (1). зависит, в частности, от ве
личины:
5=
м
(
2
)
которая характеризует относительное отличие результатов вычислений от опорных («эталонных»). Эта
величина может рассматриваться как одна из количественных характеристик алгоритмов. Иногда ее
удобно выражать в процентах.
Для единичного результата вычислений (т = 1) формула (2) упрощается и принимает вид:
й=—|y,J| ’•100%-<3>
П р и м е ч а н и е — Исполнительную характеристику (1) можно применять также для нахождения числа
потерянных цифр точности в результатах испытаний по сравнению с любымидругими результатами, используемы ми
для сравнения с ними (модельными, сгенерированными и т. п.). Эго примечание относится также к величине,
определяемой формулами (2) и (3).
6.5.8.4 Критерии, которым должны удовлетворять определенные и оцененные характеристики ал
горитмов ПО. а также допускаемые значения характеристик могут быть установлены на основе требо
ваний к точности решения измерительной задачи (при их наличии), точности выполняемых расчетов
(степени округления) и т. п. Критерии и допуски на значения характеристик фиксируются в методике
испытаний и согласовываются с ее заказчиком.
6.5.8.5 Все определенные и оцененные характеристики и свойства алгоритмов вносят в протокол
испытаний.
6 5.8.6 Перечень характеристик испытываемого ПО может корректироваться соглашением между
организацией, проводящей испытания, и заказчиком сертификации.
6.6 Проверка защиты программного обеспечения и определение ее уровня
6.6.1 Проверку защиты ПО СИ и его алгоритмов проводят с целью установления наличия средств
защиты метрологически значимой части ПО и измеренныхданных и определения уровня защиты ПО от
непреднамеренных и преднамеренных изменений. Под проверкой защиты ПО понимается:
- проверка защиты метрологически значимой части ПО и измеренных данных от случайных или
непреднамеренных изменений.
- проверка защиты метрологически значимой части ПО и измеренных данных от преднамерен
ных изменений.
6.6.2 Проверка защиты метрологически значимой части программного обеспечения и из
меренных данных от случайных или непреднамеренных изменений
6.6.2.1 Возможными причинами случайных или непреднамеренных изменений метрологически
значимой части ПО и измеренных данных могут быть:
- непредсказуемые физические воздействия;
- эффекты, обусловленные действиями пользователя.
6.6.2.2 На основе анализа документации определяют наличие (отсутствие) средств защиты ме
трологически значимой части ПО и измеренных данных от изменения или удаления в случае возникно
вения непредсказуемых физических воздействий (например, наличие энергонезависимой памяти для
хранения измеренных данных).
6.6.2.3 С помощью функциональных проверок, имитирующих непредсказуемые физические воз
действия. убеждаются в действии средств защиты метрологически значимой части ПО и измеренных
данных от изменения или удаления в случае возникновения непредсказуемых физических воздействий.
11