ГОСТ Р ИСО/МЭК 15408-3 — 2008
Проект нижнего уровня должен содержать описание назначения каждого модуля.
14.5.5.2.5 ADV_LLD.2.5C
Проектнижнего уровня долженопределить взаимосвязи между модулями в терминах предоставля
емых функциональных возможностей безопасности изависимостей отдругих модулей.
14.5.5.2.6 ADV_LLD.2.6C
Проект нижнего уровня должен содержатьописание, как предоставляется каждая из функций, осу
ществляющих ПБО.
14.5.5.2.7 ADV_LLD.2.7C
Проект нижнего уровня должен идентифицироватьвсе интерфейсы модулей ФБО.
14.5.5.2.8 ADV_LLD.2.8C
Проект нижнего уровнядолжен идентифицировать, какие из интерфейсов модулей ФБО являются
видимыми извне.
14.5.5.2.9 ADV_LLD.2.9C
Проект нижнегоуровнядолжен содержать описание назначения иметодов использования всех ин
терфейсов модулей ФБО. предоставляя полную детализацию всех результатов, нештатныхситуаций и
сообщений обошибках.
14.5.5.2.10 ADV_LLD.2.10C
Проект нижнего уровня должен содержатьописание разделения 0 0 на модули, осуществляющие
ПБО. и прочие.
14.5.5.3 Элементы действий оценщика
14.5.5.3.1 ADV_LLD.2.1E
Оценщикдолжен подтвердить, чтопредставленная информация соответствует всем требованиям к
содержанию ипредставлению свидетельств.
14.5.5.3.2 ADV_LLD.2.2E
Оценщик должен сделать независимое заключение о том. что проект нижнего уровня — точное и
полноеотображение функциональных требований безопасности ОО.
14.5.6 ADVJ.LD.3 Формальный проект нижнего уровня
Зависимости: ADV_HLD.5 Формальный проект верхнегоуровня
ADV_RCR.3 Формальная демонстрация соответствия
14.5.6.1 Элементы действийразработчика
14.5.6.1.1 ADV_LLD.3.1D
Разработчик должен представитьпроект нижнего уровня ФБО.
14.5.6.2 Элементы содержания и представления свидетельств
14.5.6.2.1 ADV_LLD.3.1C
Представление проекта нижнего уровнядолжнобыть формальным.
14.5.6.2.2 ADV_LLD.3.2C
Проект нижнего уровня должен бытьвнутренне непротиворечивым.
14.5.6.2.3 ADV_LLD.3.3C
Проект нижнегоуровнядолжен содержать описание ФБО в терминах модулей.
14.5.6.2.4 ADV_LLD.3.4C
Проект нижнего уровня должен содержать описание назначения каждого модуля.
14.5.6.2.5 ADV_LLD.3.5C
Проект нижнего уровня должен определить взаимосвязи между модулями втерминах предостав
ляемых функциональных возможностей безопасности и зависимостей от других модулей.
14.5.6.2.6 ADV_LLD.3.6C
Проект нижнего уровня должен содержатьописание того, как предоставляется каждая изфункций,
осуществляющих ПБО.
14.5.6.2.7 ADV_LLD.3.7C
Проект нижнего уровня должен идентифицироватьвсе интерфейсы модулей ФБО.
14.5.6.2.8 ADV_LLD.3.8C
Проект нижнегоуровнядолжен идентифицировать, какие из интерфейсов модулей ФБО являются
видимыми извне.
14.5.6.2.9 ADV_LLD.3.9C
Проект нижнегоуровнядолжен содержать описание назначения и методов использования всех ин
терфейсов модулей ФБО, предоставляя полнуюдетализацию всех результатов, нештатных ситуаций и
сообщений обошибках.
70