ГОСТРИСО/МЭК 15408-3-2002
ADV_LLD.2.2C Проект нижнего уровня должен быть внутренне непротиворечивым.
ADV_LLD.2.3C Проект нижнего уровня должен содержатьописание ФБО в терминах модулей.
ADV_LLD.2.4C Проект нижнего уровня должен содержать описание назначения каждого
модуля.
ADV_LLD.2.5C Проект нижнего уровня должен определить взаимосвязи между модулями в
терминах предоставляемыхфункциональных возможностей безопасности и зави
симостей от других модулей.
ADV_LLD.2.6C Проект нижнего уровня должен содержать описание, как предоставляется каж
дая из функций, осуществляющих ПВО.
ADV_LLD.2.7C Проектнижнего уровня должен идентифицировать все интерфейсы модулей
ФБО.
ADV_LLD.2.8C Проект нижнего уровня должен идентифицировать, какие из интерфейсов моду
лей ФБО яатяются видимыми извне.
ADV_LLD.2.9C Проект нижнего уровня должен содержать описание назначения и методов ис
пользования всех интерфейсов модулей ФБО. предоставляя полнуюдетализацию
всех результатов, нештатных ситуаций и сообщений об ошибках.
ADV_LLD.2.10С Проект нижнегоуровня должен содержать описание разделения ОО на модули,
осуществляющие ИБО, и прочие.
Элементы действии оценщика
ADV_LLD.2.1E Оиешцик должен подтвердить, что представленная информация удовлетворяет
всем требованиям ксодержанию и представлению свидетельств.
ADV_LLD.2.2E Оценщик должен сделать независимое заключение, что проект нижнего уровня
—точное и полное отображение функциональныхтребований безопасности ОО.
ADV_LLD.3 Формальный проект нижнегоуровня
Зависимости
ADV_HLD.5 Формальный проект верхнего уровня
ADV_RCR.3 Формальная демонстрация соответствия
Элементы действий разработчика
ADV_LLD.3.ID Разработчик должен представить проект нижнего уровня ФБО.
Элементы содержания и представления свидетельств
ADV_LLD.3.1C Представление проекта нижнего уровня должно быть формальным.
ADV_LLD.3.2C Проект нижнегоуровня должен быть внутренне непротиворечивым.
ADV_LLD.3.3C Проект нижнего уровня должен содержать описание ФБО втерминах модулей.
ADV_LLD.3.4C Проект нижнего уровня должен содержать описание назначения каждого
модуля. ADV_LLD.3.5C Проект нижнего уровня должен определить взаимосвязи между
модулями втер
минах предоставляемых функциональных возможностей безопасности и зависи
мостей от других модулей.
ADV_LLDJ.6C Проектнижнегоуровня должен содержать описание, как предоставляется каж
дая из функций, осуществляющих ПБО.
ADV_LLD.3.7C Проект нижнего уровня должен идентифицировать все интерфейсы модулей
ФБО.
ADV_LLD.3.8C Проект нижнего уровня должен идентифицировать, какие из интерфейсов моду
лей ФБО являются видимыми извне.
ADV_LLD.3.9C Проект нижнего уровня должен содержатьописание назначения и методов ис
пользования всехинтерфейсов модулей ФБО. предоставляя полную детализа
цию всех результатов, нештатных ситуаций и сообщений об ошибках.
ADV_LLD.3.10C Проект нижнего уровня должен содержать описание разделения ОО на модули,
осуществляющие ПБО. и прочие.
Элементы действий оценщика
ADY_LLD.3.1EОценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлениюсвидетельств.
ADV_LLD.3.2E Оценщикдолжен сделать независимое заключение, что проект нижнего уровня
—точное и полное отображение функциональныхтребований безопасности (К).
62