Замечания по применению
ADV_IMP.1.1D содержит требование, чтобы разработчик обеспечил представление реализации для подмножества ФБО. Целью является доступ, по меньшей мере к той части ФБО, которая обеспечит оценщику возможность провести экспертизу представления реализации тех частей ОО, для которых подобная экспертиза может значительно увеличить понимание применяемых механизмов и доверие им. Подготовка выборки представления реализации позволит оценщику выборочно проверить свидетельство прослеживания требований безопасности в представлениях проекта ОО, чтобы получить доверие к подходу, принятому для уточнения, и непосредственно оценить предъявленное представление реализации.
Элемент ADV_IMP.1.2E определяет требование вынесения оценщиком независимого заключения, что наименее абстрактное представление ФБО является точным и полным отображением функциональных требований безопасности ОО. Этим обеспечивается прямое соответствие между функциональными требованиями безопасности ОО и наименее абстрактным представлением ФБО в дополнение к попарным соответствиям, требуемым семейством ADV_RCR. Ожидается, что оценщик использует свидетельство, предоставляемое в ADV_RCR, как основание для заключения об этом. Наименее абстрактное представление ФБО для этого компонента - совокупность имеющегося представления реализации и той части проекта нижнего уровня, для которой не имеется представления реализации.
|
|
Зависимости
ADV_LLD.1 | Описательный проект нижнего уровня | ||
ADV_RCR.1 | Неформальная демонстрация соответствия | ||
ALC_TAT.1 | Полностью определенные инструментальные средства разработки | ||
Элементы действий разработчика | |||
ADV_IMP.1.1D | Разработчик должен обеспечить представление реализации для выбранного подмножества ФБО. | ||
Элементы содержания и представления свидетельств | |||
ADV_IMP.1.1C | Представление реализации должно однозначно определить ФБО на таком уровне детализации, что ФБО могут быть созданы без дальнейших проектных решений. | ||
ADV_IMP.1.2C | Представление реализации должно быть внутренне непротиворечивым. | ||
Элементы действий оценщика | |||
ADV_IMP.1.1E | Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств. | ||
ADV_IMP.1.2E | Оценщик должен сделать независимое заключение, что наименее абстрактное представление ФБО - точное и полное отображение функциональных требований безопасности ОО. | ||