ГОСТ Р ИСО/МЭК18045— 2008
13.6.5.3.10 Шаг оценивания 4:ADV_LLD.1-10
ИСО/МЭК 15408-3ADV_LLD.1.ЮС: Проект нижнегоуровня должен содержать описаниеразделения
0 0 на модули, осуществляющие ПВО. и прочие.
Оценщик должен проверить, содержится ли в проекте нижнего уровня описание разделения ОО на
модули, осуществляющие ПВО. и другие модули.
ФБО включают в себя все те части ОО. на которые возложено осуществление ПВО. Поскольку ФБО
включают всебя как функции, которые непосредственно осуществляют ПВО. так и функции, которые, хотя
непосредственно и не осуществляют ПВО. но косвенным образом вносят вклад в осуществление ПВО,
все модули, осуществляющие ПВО. составляют ФБО. Модули, которые не могут оказывать влияния на
осуществление ПВО. не являются частью ФБО.
13.6.5.4 Действие ADV_LLD.1.2E
13.6.5.4.1 Шаг оценивания 4:ADV_LLD.1-11
Оценщик должен исследовать проект нижнего уровня, чтобы сделать заключение, является ли он
точным отображением функциональных требований безопасности ОО.
Оценщик подтверждает правильность спецификаций интерфейсов модулей, удостоверяясь в
том. что:
a) спецификации интерфейсов согласованы сописанием назначения модуля:
b
) спецификации интерфейсов согласованы с их использованием другими модулями:
c) взаимосвязи между модулями, необходимые для правильной поддержки каждой функции, осуще
ствляющей ПВО, правильно изложены.
13.6.5.4.2 Шагоценивания4:АЭ\/_И_0.1-12
Оценщик должен исследовать проект нижнего уровня, чтобы сделать заключение, является ли он
полным отображением функциональных требований безопасности ОО.
Оценщик удостоверяется, что все функциональные требования из ЗБ отображаются на соответствую
щие разделы проекта нижнего уровня. Соответствующее заключение следует сделатьсовместно с выпол
нением подвидадеятельности ADV_RCR.1 «Неформальная демонстрация соответствия».
Оценщик анализирует проект нижнего уровня, чтобы сделать заключение, полностью ли описана
каждая функция безопасности ОО в спецификациях модулей и нет ли таких модулей, от которых зависит
функция безопасности ОО. нодля которой нет спецификации в проекте нижнего уровня.
13.6.6 Оценка соответствия представлений (ADV_RCR.1)
13.6.6.1 Цели
Цельданного подвида деятельности — сделатьзаключение, правильно ли и полностью ли разработ
чик реализовал требования ЗБ. функциональной спецификации, проекта верхнего уровня и проекта нижне
го уровня в представлении реализации.
13.6.6.2 Исходные данные
Свидетельствами оценкидля этого подвида деятельности являются:
a) ЗБ:
b
)функциональная спецификация:
c) проект верхнего уровня;
d) проект нижнего уровня:
e) подмножество представления реализации:
Оматериалы анализа соответствия между краткой спецификацией ОО и функциональной специфика
цией:
д)материалы анализа соответствия междуфункциональной спецификацией и проектомверхнегоуровня;
h) материалы анализа соответствия между проектом верхнего уровня и проектом нижнего уровня:
i) материалы анализа соответствия между проектом нижнего уровня и подмножеством представления
реализации.
13.6.6.3Действие ADV_RCR.1.1Е
13.6.6.3.1 Шаг оценивания 4:ADV_RCR.1-1
ИСО/МЭК 15408-3 ADV_RCR.1.1С:Для каждой смежнойпары имеющихся представлений ФБО ана
лиз должен демонстрировать, что все функциональные возможности болев абстрактного представ
ления ФБО. относящиеся к безопасности, правильно и полностью уточнены в менее абстрактном
представлении ФБО.
Оценщикдолжен исследовать материалы анализа соответствия между краткой спецификацией ОО и
функциональной спецификацией, чтобы сделать заключение, является ли функциональная спецификация
корректным и полным представлением функций безопасности ОО.
160