ГОСТ Р МЭК 61508-3—2012
Уверенность, которую можно связать со свойствами спецификации требований к программному обеспече
нию системы безопасности, как основание для обеспечения безопасности программного обеспечения, зависит от
строгости методов, с помощью которых были достигнуты требуемые свойства спецификации требований к
про граммному обеспечению системы безопасности. Строгость метода неформально ранжируется по шкале от R1
до R3. где R1 — наименее строгий и R3 — самый строгий метод.
R1 Без объективных критериев приемки или с ограниченными объективными критериями приемки. Напри
мер. тестирование методом «черного ящика», основанное на профессиональном суждении, полевые
испытания
R2 С объективными критериями приемки, которые могут дать высокий уровень уверенности в том. что не
обходимое свойство достигнуто (исключения должны быть определены и обоснованы): например, тест
или аналитические методы с метриками охвата, охват таблицами контрольных проверок
R3С объективным, систематическим рассуждением о том. что необходимое свойство достигнуто. Напри
мер. формальное доказательство, демонстрирующее соблюдение архитектурных ограничений, которые
гарантируют свойство
—
Данный метод не относится к этому свойству
Для каждого метода, обеспечивающего конкретное свойство, определяется одно из ранжированных значе
ний R1/R2/R3 в зависимости от уровня строгости этого метода.
Свойства
Методы/
средства
Полнота
охвата
потребностей
безопасности
программным
обеспечением
Корректность
охвата
потребностей
безопасности
программным
обеспечением
Отсутствие
ошибок в
самой
специфика
ции, включая
отсутствие
неоднознач
ности
Ясность
требований «системе
безопасности
Отсутствие неблаго
приятного взаимо
влияния функций,
не связанных с
безопасностью, и
функций безопас
ности. реализуемых
программным
обеспечением систе
мы безопасности
Способность
обеспечения
проведения
оценки и
подтверждения
соответствия
1а Полу
формаль
ные
методы
R1
Определяемая но
тация. ограничива
ющая возможность
для непонимания.
R2
Применение преде
лов сложности в
спецификации
В этом примере полуформальный метод со строгостью R1 обеспечивает ограниченную нотацию, которая
улучшает точность выражений, и со строгостью R2 еще болев ограничивает сложность спецификации, что в про
тивном случав могло бы привести к путанице.
С.1.2 Метод использования — 1
Руководящий принцип. Если можно убедительно продемонстрировать, что требуемые свойства были до
стигнуты при разработке спецификации требований к программному обеспечению системы безопасности, то обо
снована уверенность в том. что спецификация требований к программному обеспечению системы безопасности
является соответствующей основой для разработки программного обеспечения с достаточным уровнем система
тической полноты безопасности.
Из таблицы С.1 видно, что каждый из методов по таблицеА.1 приложения А в той или иной степени обычно
обеспечивает выполнение одного или более из вышеупомянутых свойств по таблице С.1. которые относятся к
спецификации требований к программному обеспечению системы безопасности.
Однако важно отметить, что хотя таблица А.1 рекомендует конхретные методы, эти рекомендации не яв
ляются нормативными и фактически приложение А ясно показывает, что «Учитывая большое число факторов,
влияющих на стойкость к систематическим отказам программного обеспечения, невозможно создать алгоритм,
включающий методы и средства, который обеспечит необходимый результат для любого заданного применения».
53