ГОСТ Р ИСО/МЭК 15408-1—2008
подвергается уточнению, автор ПЗ/ЗБ должен четко идентифицировать, что такое уточнение было
выполнено. Автор ПЗ/ЗБ должен также отследить, чтобы требуемые зависимости других требований,
зависящих отданного требования, были удовлетворены. Разрешенные операции выбирают из следую
щей совокупности:
a) итерация (iteration) — позволяет неоднократно использоватькомпонент приразличном выпол
нении в нем операций:
b
) назначение (assignment) — позволяет специфицироватьпараметры;
c) выбор (selection) — позволяетспецифицировать один или несколько пунктов из перечня:
d) уточнение (refinement) — позволяет осуществлятьдетализацию.
5.4.1.3.2.1 Итерация
Там. гденеобходимоохватитьразличныеаспекты одногоитогожетребования (например, иденти
фицировать несколько типов пользователей), разрешается повторное использование одного и того же
компонента, позволяющее охватить каждый аспект.
Хотя итерация относится к уровню компонента требования, нет необходимости при каждой итера
ции повторять полныйтекст компонента, так какэто привелобы к повторению без изменений некоторых
элементов в рамках компонента. Допускается в ПЗ или ЗБ повторять только те элементы
требований, которые каждый раз изменяются путем уточнения либо выполнения операций назначения
или выбора (см. 5.4.1.3.2.4 длядальнейшего руководства по итерации уточненныхтребований).
5.4.1.3.2.2 Назначение
Некоторые компоненты включают в себя элементы, которые содержат параметры, дающие воз
можностьразработчику ПЗ/ЗБспецифицироватьсовокупность величин, включаемых вПЗ/ЗБдлядости
жения какой-то цели безопасности. Эти элементы четко идентифицируют каждый такой параметр
и ограничения на значения, которые может приниматьэтот параметр.
Любойаспектэлемента, допустимые значения которогомогутбытьоднозначно описаны или пере
числены. можетбыть представлен параметром. Параметр может бытьатрибутом или правилом, сводя
щим требование к определенному значению илидиапазону значений. Например, некоторый элемент в
рамкахкомпонента, направленный надостижениеопределеннойцелибезопасности, можетустановить,
чтоданнуюоперацию следует выполнятьнесколькораз. В этом случае назначениеустановитчисло воз
можных повторений (ил идиапазондля него), которое будет использоватьсядля данного параметра.
5.4.1.3.2.3 Выбор
Операция заключается в выборе одного или нескольких пунктов из перечня для ограничения
области применения элемента в рамках конкретного компонента.
5.4.1.3.2.4 Уточнение
Для всех компонентов разработчику ПЗ/ЗБ разрешается ограничить набор допустимых реализа
ций путем определениядополнительныхдеталей длядостижения некоторой цели безопасности. Уточ
нениеэлемента в рамках компонента заключается вдополнении этими техническимидеталями.
Для тогочтобы изменение в компонентесчиталосьдопустимым уточнением, онодолжно удовлет
ворятьвсем перечисленным ниже условиям:
a) ОО, отвечающий уточненному требованию, также должен отвечать исходному требованию,
интерпретированному в контексте ПЗ/ЗБ;
b
) вслучаяхеслиуточненноетребование подвергаетсяитерации, допускается, чтобы каждая ите
рация относилась только к подмножеству областидействияданного требования; тем не менее все ите
рации в совокупности должны охватывать всю областьдействия исходного требования;
c) уточненноетребование недолжно расширятьобластьдействия исходного требования;
d) уточненное требование недолжно изменять списокзависимостей исходного требования.
Несколько примеровдопустимых уточнений:
a) любое изменение, являющееся исключительно редакционным, такое какулучшение читабель
ности выполненного назначения или соблюдение правил грамматики;
b
) изменение, не меняющее областьдействия требования из-за контекста, в котором оно исполь
зуется в ПЗ/ЗБ. Например, изменение требования, определяющего «пользователей ОО» в качестве
«telnet-пользователей ОО» будет допустимым уточнением, если пользователи ОО являются только
telnet-пользователями;
c) изменение, предоставляющееинформацию о допустимыхподходахкреализации, нерасширяя
область действия требования. Примером допустимого уточнения является изменение требования
«обеспечить способность верифицировать» на «обеспечить способность верифицировать путем при
менения криптографических контрольных сумм». Изменение устанавливает ограничения на тип меха
низма. используемого при выполнении существующего требования, и не расширяет областьдействия
исходного требования.
17