Зависимости
|
ADV_FSP.1
| Неформальная функциональная спецификация
|
ADV_RCR.1
| Неформальная демонстрация соответствия
|
Элементы действий разработчика
|
ADV_HLD.2.1D
| Разработчик должен представить проект верхнего уровня ФБО.
|
Элементы содержания и представления свидетельств
|
ADV_HLD.2.1C
| Представление проекта верхнего уровня должно быть неформальным.
|
ADV_HLD.2.2C
| Проект верхнего уровня должен быть внутренне непротиворечивым.
|
ADV_HLD.2.3C
| Проект верхнего уровня должен содержать описание структуры ФБО в терминах подсистем.
|
ADV_HLD.2.4C
| Проект верхнего уровня должен содержать описание функциональных возможностей безопасности, предоставленных каждой подсистемой ФБО.
|
ADV_HLD.2.5C
| Проект верхнего уровня должен идентифицировать все базовые аппаратные, программно-аппаратные и/или программные средства, требуемые для реализации ФБО, с представлением функций, обеспечиваемых поддержкой механизмов защиты, реализуемых этими средствами.
|
ADV_HLD.2.6C
| Проект верхнего уровня должен идентифицировать все интерфейсы для подсистем ФБО.
|
ADV_HLD.2.7C
| Проект верхнего уровня должен идентифицировать, какие из интерфейсов подсистем ФБО являются видимыми извне.
|
ADV_HLD.2.8C
| Проект верхнего уровня должен содержать описание назначения и методов использования всех интерфейсов подсистем ФБО, обеспечивая, где это необходимо, детализацию результатов, нештатных ситуаций и сообщений об ошибках.
|
ADV_HLD.2.9C
| Проект верхнего уровня должен содержать описание разделения ОО на подсистемы, осуществляющие ПБО, и прочие.
|
Элементы действий оценщика
|
ADV_HLD.2.1E
| Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.
|
ADV_HLD.2.2E
| Оценщик должен сделать независимое заключение, что проект верхнего уровня - точное и полное отображение функциональных требований безопасности ОО.
|
| | | |