ADV_LLD.2 Полуформальный проект нижнего уровня
Зависимости
|
ADV_HLD.3
| Полуформальный проект верхнего уровня
|
ADV_RCR.2
| Полуформальная демонстрация соответствия
|
Элементы действий разработчика
|
ADV_LLD.2.1D
| Разработчик должен представить проект нижнего уровня ФБО.
|
Элементы содержания и представления свидетельств
|
ADV_LLD.2.1C
| Представление проекта нижнего уровня должно быть полуформальным.
|
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.10C
| Проект нижнего уровня должен содержать описание разделения ОО на модули, осуществляющие ПБО, и прочие.
|
Элементы действий оценщика
|
ADV_LLD.2.1E
| Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.
|
ADV_LLD.2.2E
| Оценщик должен сделать независимое заключение, что проект нижнего уровня - точное и полное отображение функциональных требований безопасности ОО.
|
| | | |