ADV_LLD.1 Описательный проект нижнего уровня

Зависимости  
ADV_HLD.2 Детализация вопросов безопасности в проекте верхнего уровня  
ADV_RCR.1 Неформальная демонстрация соответствия  
Элементы действий разработчика  
ADV_LLD.1.1D Разработчик должен представить проект нижнего уровня ФБО.  
Элементы содержания и представления свидетельств  
ADV_LLD.1.1C Представление проекта нижнего уровня должно быть неформальным.  
ADV_LLD.1.2C   Проект нижнего уровня должен быть внутренне непротиворечивым.  
ADV_LLD.1.3C Проект нижнего уровня должен содержать описание ФБО в терминах модулей.  
ADV_LLD.1.4C   Проект нижнего уровня должен содержать описание назначения каждого модуля.  
ADV_LLD.1.5C Проект нижнего уровня должен определить взаимосвязи между модулями в терминах предоставляемых функциональных возможностей безопасности и зависимостей от других модулей.  
ADV_LLD.1.6C Проект нижнего уровня должен содержать описание, как предоставляется каждая из функций, осуществляющих ПБО.  
ADV_LLD.1.7C   Проект нижнего уровня должен идентифицировать все интерфейсы модулей ФБО.  
ADV_LLD.1.8C   Проект нижнего уровня должен идентифицировать, какие из интерфейсов модулей ФБО являются видимыми извне.  
ADV_LLD.1.9C   Проект нижнего уровня должен содержать описание назначения и методов использования всех интерфейсов модулей ФБО, предоставляя, при необходимости, детализацию результатов, нештатных ситуаций и сообщений об ошибках.  
ADV_LLD.1.10C Проект нижнего уровня должен содержать описание разделения ОО на модули, осуществляющие ПБО, и прочие.  
Элементы действий оценщика  
ADV_LLD.1.1E Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.  
ADV_LLD.1.2E Оценщик должен сделать независимое заключение, что проект нижнего уровня - точное и полное отображение функциональных требований безопасности ОО.
     

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



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