ADV_HLD.2 Детализация вопросов безопасности в проекте верхнего уровня

Зависимости  
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 Оценщик должен сделать независимое заключение, что проект верхнего уровня - точное и полное отображение функциональных требований безопасности ОО.
       

Понравилась статья? Добавь ее в закладку (CTRL+D) и не забудь поделиться с друзьями:  



double arrow
Сейчас читают про: