ГОСТ Р ИСО/МЭК 15408-1—2012
Каждый раз. когда элемент в ЗБ предусматривает операцию «назначение», разработчик ЗБ дол
жен завершить выполнение этой операции «назначение», как указано выше в варианте Ь). Варианты
а), с) и d) для ЗБ не допускаются.
Значения, определенные в вариантах Ь). с) и d), должны соответствовать указанному типу значе
ний. требуемому для данного «назначения».
Когда «назначение» должно быть завершено определением некоторой совокупности, например
субъектов, в «назначении» можно перечислить совокупность этих субъектов, но также можно привести
некоторое описание этой совокупности, на основе которого могут быть определены элементы совокуп
ности. такое как:
- все субъекты:
- все субъекты типа X;
- все субъекты, кроме субъекта А.
при условии, что понятно, какие субъекты имеются в виду.
7.1.3 Операция «выбор»
Операцию «выбор» осуществляют тогда, когда рассматриваемый компонент включает элемент,
в котором разработчиком ПЗ/ЗБ должен быть сделан выбор из нескольких пунктов.
Каждый раз. когда элемент в ПЗ предусматривает операцию «выбор», разработчик ПЗ может вы
полнить одно из трех действий:
a) оставить операцию «выбор» полностью невыполненной;
b
) полностью выполнить операцию «выбор» путем выбора одного или более пунктов;
c) ограничить операцию «выбор», удалив некоторые из вариантов, но оставив два или более.
Каждый раз. когда элемент в ЗБ предусматривает операцию «выбор», разработчик ЗБ должен за
вершить выполнение этой операции «выбор», как указано выше в варианте Ь). Варианты а) и с) для ЗБ
не допускаются.
Пункт или пункты, выбранные при выполнении действий по вариантам Ь) и с), должны быть взяты
из пунктов, предоставленных для выбора.
7.1.4 Операция «уточнение»
Операция «уточнение» может быть выполнена по отношению к любому требованию. Разработчик
ПЗ/ЗБ выполняет уточнение путем изменения требования. Первое правило по отношению к уточне нию
состоит в том, чтобы ОО, удовлетворяющий уточненному требованию, также удовлетворял неуточ-
ненному требованию в контексте ПЗ/ЗБ (т. е. уточненное требование должно быть «более строгим»,
чем исходное требование). Если уточнение не удовлетворяет этому правилу, то результирующее уточ
ненное требование считается расширенным требованием и будет рассматриваться как таковое.
Единственное исключение из этого правила состоит в том. что допускается, чтобы разработчик
ПЗ/ЗБ уточнил ФТБ для его применения по отношению к некоторым, но не ко всем субъектам, объек там.
операциям, атрибутам безопасности и/или внешним сущностям.
Однако это исключение не относится к уточнению ФТБ. которые взяты из ПЗ. о соответствии кото
рым заявлено; эти ФТБ не могут быть уточнены таким образом, чтобы относиться к меньшему количе
ству субъектов, объектов, операций, атрибутов безопасности и/или внешних сущностей, чем ФТБ а
ПЗ.
Второе правило по отношению к уточнению состоит в том. что уточнение должно быть связано
с исходным компонентом.
Особым случаем уточнения является редакционное уточнение, когда в требование вносят не
большие изменения, такие как перефразирование предложения, чтобы сделать его более понятным
читателю. Не допускается, чтобы эти изменения каким-либо образом изменяли смысл требования.
7.2 Зависимости между компонентами
Между компонентами могут существовать зависимости. Зависимости возникают, когда компонент
не самодостаточен и предполагает наличие другого компонента для обеспечения функциональных воз
можностей безопасности или доверия к безопасности.
Функциональные компоненты в ИСО/МЭК 15408-2 обычно имеют зависимости от других функ
циональных компонентов, также как некоторые компоненты доверия в ИСО/МЭК 15408-3 могут иметь
зависимости от других компонентов ИСО/МЭК 15408-3. Могут быть также определены зависимости
компонентов из ИСО/МЭК 15408-2 от компонентов из ИСО/МЭК 15408-3. Не исключено также наличие
зависимостей расширенных функциональных компонентов от компонентов доверия или наоборот.
Описание зависимостей компонентов определяется с учетом определений компонентов
в ИСО/МЭК 15408-2 и ИСО/МЭК 15408-3. Чтобы обеспечить полноту требований к ОО. следует удов-
23