ГОСТ Р ИСО/МЭК 18045—2013
12.2.5.3.8 Шаг оценивания ALC_CMC.5-8
Оценщик должен исследовать процедуры, поддерживающие производство 00, чтобы сделать за
ключение о том. что они эффективны для приобретения доверия, что сгенерированный ОО отражает
представление его реализации.
В процедурах поддержки производства следует описать, какие инструменты должны использо
ваться для производства заключительной версии ОО из представления реализации полностью опре
деленным способом. Соглашения, директивы и другие необходимые логические конструкции описаны
в семействе ALC_TAT.
Оценщик делает заключение о том. что при выполнении процедур поддержки производства ОО
используются корректные элементы конфигурации. Например, в случае, когда ОО является програм
мным обеспечением, это может включать проверку того, что автоматизированные производственные
процедуры обеспечивают включение в компилированный объектный код всех исходных файлов и свя
занных с ними библиотек. Кроме того, процедурами следует обеспечивать уникальное определение
опций компилятора и других сопоставимых опций. Для аппаратных ОО в этот шаг оценивания может
быть включена проверка того, что автоматизированные производственные процедуры предоставляют
уверенность в том. что принадлежащие ОО части собраны вместе, и нет недостающих частей.
Клиент может в этом случае быть уверен, что версия ОО. поставленногодля установки, получена
из представления реализации однозначным способом и осуществляет ФТБ согласно описанию в ЗБ.
Оценщику следует учитывать, что система УК не должна обязательно обладать способностью
производства ОО. но ей следует поддерживать этот процесс таким образом, который поможет умень
шить вероятность человеческой ошибки.
ИСО/МЭК 15408-3 ALC_CMC.5.7C: Система УК должна обеспечивать, что лицо, ответствен
ное за приемку элемента конфигурации в УК. но является разработчиком этого элемента.
12.2.5.3.9 Шаг оценивания AL.C_CMC.5-9
Оценщик должен исследовать систему УК. чтобы сделать заключение о том. что она обеспечива
ет. что лицо, ответственное за приемку элемента конфигурации в УК. не является разработчиком этого
элемента.
Процедуры приемки описывают, кто ответственен за приемку в систему элемента конфигурации.
На основании этих описаний оценщику следует быть в состоянии сделать заключение о том. что лицо,
которое приняло данный элемент конфигурации, ни в коем случае не является его разработчиком.
ИСО/МЭК 15408-3 А1_С_СМС.5.8С: В системе УК должны быть идентифицированы элементы
конфигурации, которые составляют ФБО.
12.2.5.3.10 Шаг оценивания ALC_CMC.5-10
Оценщик должен исследовать систему УК. чтобы сделать заключение о том. что она идентифици
рует элементы конфигурации, которые составляют ФБО.
В документации УК следует описать, каким образом система УК идентифицирует элементы кон
фигурации, составляющие ФБО. Оценщику следует осуществить выборку элементов конфигурации
для охвата всех типов элементов, а особенно содержащих элементы ФБО и не-ФБО. и проверить,
что все они правильно классифицированы системой УК.
Руководство по выборке см. в приложении А.2 «Выборка».
ИСО/МЭК 15408-3 ALC_CMC.5.9C: Система УКдолжна поддерживать аудит всех изменений ОО
автоматизированными средствами с указанием пользователя, инициирующего изменение, а также
даты и времени изменения в журнале аудита.
12.2.5.3.11 Шаг оценивания ALC_CMC.5-11
Оценщик должен исследовать систему УК. чтобы сделать заключение о том. что она поддержива
ет аудит всех изменений ОО автоматизированными средствами с указанием пользователя, инициирую
щего изменение, а также даты и времени изменения в журнале аудита.
Оценщику следует проверить выборку журналов аудита на предмет наличия в них минимального
требуемого объема информации.
ИСО/МЭК 15408-3 А1_С_СМС.5.10С: Система УК должна предоставить автоматизированное
средство идентификации всех других элементов конфигурации, на которых оказывает влияние из
менение данного элемента конфигурации.
12.2.5.3.12 Шаг оценивания ALC_CMC.5-12
Оценщик должен исследовать систему УК. чтобы сделать заключение о том. что она предостав
ляет автоматизированное средство идентификации всех других элементов конфигурации, на которых
оказывает влияние изменение данного элемента конфигурации.
122