ADV_LLD.3 Формальный проект нижнего уровня
| Зависимости
|
| ADV_HLD.5
| Формальный проект верхнего уровня
|
| ADV_RCR.3
| Формальная демонстрация соответствия
|
| Элементы действий разработчика
|
| ADV_LLD.3.1D
| Разработчик должен представить проект нижнего уровня ФБО.
|
| Элементы содержания и представления свидетельств
|
| ADV_LLD.3.1C
| Представление проекта нижнего уровня должно быть формальным.
|
| ADV_LLD.3.2C
| Проект нижнего уровня должен быть внутренне непротиворечивым.
|
| ADV_LLD.3.3C
| Проект нижнего уровня должен содержать описание ФБО в терминах модулей.
|
| ADV_LLD.3.4C
| Проект нижнего уровня должен содержать описание назначения каждого модуля.
|
| ADV_LLD.3.5C
| Проект нижнего уровня должен определить взаимосвязи между модулями в терминах предоставляемых функциональных возможностей безопасности и зависимостей от других модулей.
|
| ADV_LLD.3.6C
| Проект нижнего уровня должен содержать описание, как предоставляется каждая из функций, осуществляющих ПБО.
|
| ADV_LLD.3.7C
| Проект нижнего уровня должен идентифицировать все интерфейсы модулей ФБО.
|
| ADV_LLD.3.8C
| Проект нижнего уровня должен идентифицировать, какие из интерфейсов модулей ФБО являются видимыми извне.
|
| ADV_LLD.3.9C
| Проект нижнего уровня должен содержать описание назначения и методов использования всех интерфейсов модулей ФБО, предоставляя полную детализацию всех результатов, нештатных ситуаций и сообщений об ошибках.
|
| ADV_LLD.3.10C
| Проект нижнего уровня должен содержать описание разделения ОО на модули, осуществляющие ПБО, и прочие.
|
| Элементы действий оценщика
|
| ADV_LLD.3.1E
| Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.
| |
| ADV_LLD.3.2E
| Оценщик должен сделать независимое заключение, что проект нижнего уровня - точное и полное отображение функциональных требований безопасности ОО.
| |
| | | | |
2015-10-13
635
