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