ГОСТ Р ИСО/МЭК18045— 2008
13.6.5.3 Действие ADV_LLD.1.1Е
13.6.5.3.1 Шагоценивания 4:ADV_LLD.1-1
ИСО/МЭК 15408-3 ADV_LLD.1.1C: Представление проекта нижнего уровня должно быть нефор
мальным.
Оценщик должен исследовать проект нижнего уровня, чтобы сделать заключение, содержит ли он
весь необходимый неформальный пояснительный текст.
Если весь проект нижнего уровня является неформальным, то рассматриваемый шагоценивания не
применяют и поэтому считают удовлетворенным.
Для тех частей проекта нижнего уровня, которые трудны для понимания только на основе полуфор
мального или формальногоописания, необходимо вспомогательноеописание вповествовательной форме
(например, чтобы пояснить значения всех формальных обозначений).
13.6.5.3.2 Шаг оценивания 4:ADV_LLD.1-2
ИСО/МЭК 15408-3ADV_LLD.1,2С: Проект нижнегоуровня должен быть внутренне непротиворечи
вым.
Оценщикдолжен исследовать представление проекта нижнего уровня, чтобы сделать заключение о
его внутренней непротиворечивости.
Руководство по анализу непротиворечивости см.вА.З «Анализ непротиворечивости» (приложе
ние А).
13.6.5.3.3 Шагоценивания 4:ADV_LLD.1-3
ИСО/МЭК 15408-3 ADV_LLD.1.3C: Проект нижнего уровнядолжен содержать описание ФБО в тер
минахмодулей.
Оценщикдолжен исследовать проект нижнего уровня, чтобы сделать заключение, описана ли струк
тура ФБО в терминах модулей.
Применительно к проекту нижнего уровня термин «модуль» использован в соответствующем
ИСО/МЭК 15408 для обозначения менее абстрактной сущности, чем подсистема. Это означает, что
проект нижнего уровня содержит больше подробностей относительно не только цели каждого модуля, но
также и относительно способа достижения модулем своей цели. В идеале в проекте нижнего уровня долж
на быть представлена вся информация, необходимая для реализации описанных в нем модулей. Последу
ющие шаги оценивания в этом подвиде деятельности требуют проведения конкретного анализа, чтобы
сделать заключение, достаточен ли уровеньдетализации проекта нижнего уровня. На данном шаге оцени
вания оценщикудостаточно верифицироватьчеткость и однозначность идентификации каждого модуля.
13.6.5.3.4 Шаг оценивания 4:ADV_LLD.1-4
ИСО/МЭК 15408-3 ADVJ.LD.1.4С: Проект нижнего уровнядолжен содержать описание назначения
каждогомодуля.
Оценщик должен исследовать проект нижнего уровня, чтобы сделать заключение, содержит ли он
описание назначения каждого модуля.
Проект нижнего уровня должен содержать описание назначения каждого модуля. Это описание дол
жно бытьдостаточно четким, чтобы отразить, выполнение каких функций предполагаетсяданным модулем.
В этом описании должен быть представлен краткий обзор назначения модуля, но оно не обязательно дол жно
быть на уровнедетализации спецификации интерфейсов модулей.
13.6.5.3.5 Шагоценивания 4:ADV_LLD.1-5
ИСО/МЭК 15408-3 ADV_LLD.1,5С: Проект нижнего уровнядолжен определить взаимосвязимежду
модулями в терминахпредоставляемых функциональных возможностей безопасности изависимостей
от других модулей.
Оценщикдолжен исследовать проект нижнего уровня, чтобы сделать заключение, определены ли в
нем взаимосвязи между модулями втерминах предоставляемых функциональных возможностей безопас
ности и зависимостей от других модулей.
В целях проведения такого анализа рассматриваютдва способа взаимодействия модулей:
a) предоставление услуг друг другу;
b
) совместную работу для поддержки функций безопасности.
В проект нижнего уровня должна быть включена конкретная информация об этих взаимосвязях. На
пример. если модуль выполняет вычисления, которые зависят от результатов вычислений, выполняемых
другими модулями, последниедолжны быть перечислены. Кроме того, если модуль предоставляет услугу,
предназначенную для использования другими модулями при поддержке функций безопасности, данная
услуга должна быть описана. Возможно, что описание назначения модуля, анализируемое на предыду
щем шаге оценивания, достаточнодля предоставления такой информации.
158