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