ГОСТ Р ИСО/МЭК 15408-3—2002
ADV_IMP.1.2E Оценщик должен сделатънезавнсимое заключение, что наименее абстрактное
представление ФБО —точное и полное отображение функциональных требова
ний безопасности ОС).
ADVJMP.2 Реализация ФБО
Замечания по применению
Элемент ADVJMР.2.2Еопределяет требование вынесения оценщиком независимого заключения
о том, что представление ФБО является точным и полним отображением функциональных требований
безопасности (X). Этим обеспечивается прямое соответствие междуфункциональными требованиями
безопасности ОО и представлением реализации вдополнение к попарным соответствиям, требуемым
семействомADVRCR. Ожидается, чтооценщик используетсвидетельство, предоставляемое
b
ADV RCR.
как основание при вынесении этого заключения.
Зависимости
ADV_LLD.l Описательный проект нижнего уровня
ADV_RCR. 1Неформальная демонстрация соответствия
ALC_TAT.l Полностью определенные инструментальные средства разработки
Элемент действий разработчика
ADV_IMP.2.ID Разработчик должен обеспечить представление реализациидля всех ФБО.
Элементы содержания и представления свидетельств
ADV_1MP.2.1C Представление реализации должно однозначно определить ФБО на таком уровне
детализации, что ФБО могут быть созданы без дальнейших проектных решений.
ADV_1MP.2.2C Представление реализации должнобытьвнутренне непротиворечивым.
ADV_IMP.2.3C Представление реализациидолжно включать в себя описание взаимосвязей между
всеми частями реализации.
Элементы действий оценщика
ADV_IMP.2.IE Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
ADV_IMP.2.2E Оценщикдолжен сделать независимое заключение, что представление реализа
ции —точное и полное отображение функциональных требований безопасности
ОО.
ADV_IMP.3 Структурированная реализация ФБО
Замечания по применению
ЭлементADV_IM Р.3.2Еопределяет требование вынесения оценщиком независимого заключения
о том. ‘по представление ФБО является точным и полным отображением функциональных требований
безопасности ОО. Этим обеспечивается прямое соответствие междуфункциональными требованиям
безопасности ОО и представлением реализации вдополнение к попарным соответствиям, требуемым
семействомADVRCR. Ожидается, чтооценщик используетсвидетельство, предоставляемоеnADV RCR.
как основание при вынесении этого заключения.
Зависимости
ADV_INT.l Модульность
ADV LLD.1 Описательный проект нижнего уровня
ADV RCR.1 Неформальная демонстрация соответствия
ALC_TAT.I Полностью определенные инструментальные средства разработки
Элементы действий разработчика
ADV_IMP.3.1D Разработчикдолжен обеспечить представление реализации для всех ФБО.
Элементы содержания и представления свидетельств
ADV_1MP.3.1C Представление реализации должнооднозначно определить ФБО на таком уровне
детализации, что ФБО могут быть созданы без дальнейших проектных решений.
ADV_IMP.3.2C Представление реализации должно быть внутреннее непротиворечивым.
ADV_IMP.33C Представление реализациидолжно включать всебя описание взаимосвязей меж
ду всеми частями реализации.
ADV_1MP.3.4C Представление реализации должно быть структурировано в чалые и понятые
разделы.
Элементы действий оценщика
ADMMP.3.1ЕОценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
57