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