ГОСТ Р ИСО/МЭК 15408-3 — 2008
Оценщик должен сделать независимое заключение о том, что наименее абстрактное пред
ставление ФБО — точное и полное отображение функциональных требований безопасности 00.
14.3.5 ADVJMP.2 Реализация ФБО
Зависимости: ADV_LLD.1 Описательный проект нижнего уровня
ADV_RCR.1 Неформальная демонстрация соответствия
А1_С_ТАТ.1 Полностьюопределенные инструментальные средства разработки
14.3.5.1 Замечания по применению
Элемент ADVJMP.2.2E определяет требование вынесения оценщиком независимогозаключения о
том. чтопредставление ФБО является точным иполным отображением функциональных требований безо
пасности ОО. Этимобеспечивается прямоесоответствие между функциональными требованиями безопас
ности ОО ипредставлением реализации вдополнение кпопарным соответствиям, требуемымсемейством
ADV_RCR «Соответствие представлений». Ожидается, что оценщикиспользует свидетельство, предостав
ляемое вADV_RCR «Соответствие представлений», как основание при вынесении этогозаключения.
14.3.5.2 Элементы действий разработчика
14.3.5.2.1 ADVJMP.2.1D
Разработчик должен обеспечить представление реализации для всехФБО.
14.3.5.3 Элементысодержания и представления свидетельств
14.3.5.3.1 ADVJMP.2.1C
Представление реализации должно однозначно определить ФБО на таком уровнедетализации,
чтобы ФБО могли быть созданы без дальнейших проектных решений.
14.3.5.3.2 ADVJMP.2.2C
Представлениереализации должнобыть внутренненепротиворечивым.
14.3.5.3.3 ADVJMP.2.3C
Представление реализации должно включать в себя описание взаимосвязей между всеми
частями реализации.
14.3.5.4 Элементы действий оценщика
14.3.5.4.1 ADVJMP.2.1E
Оценщик должен подтвердить, чтопредставленная информация соответствует всем требованиям к
содержанию ипредставлению свидетельств.
14.3.5.4.2 ADVJMP.2.2E
Оценщикдолжен сделать независимое заключение о том. что представление реализации —точное
и полное отображение функциональных требований безопасности ОО.
14.3.6АО\ММР.ЗСтруктурированная реализация ФБО
Зависимости: ADVJNT.1 Модульность
ADV_LLD.1 Описательный проект нижнегоуровня
ADV_RCR.1 Неформальная демонстрация соответствия
А1_С_ТАТ.1 Полностьюопределенные инструментальные средства разработки
14.3.6.1 Замечания по применению
Элемент ADVJMP.3.2E определяет требование вынесения оценщиком независимогозаключения о
том. чтопредставление ФБО является точным иполным отображением функциональных требований безо
пасности ОО. Этимобеспечивается прямоесоответствие между функциональными требованиями безопас
ности ОО ипредставлением реализации вдополнение кпопарным соответствиям, требуемымсемейством
ADV_RCR «Соответствие представлений». Ожидается, что оценщикиспользует свидетельство, предостав
ляемое вADV_RCR «Соответствие представлений», какоснование при вынесении этогозаключения.
14.3.6.2 Элементы действий разработчика
14.3.6.2.1 ADVJMP.3.1D
Разработчик должен обеспечить представление реализации для всех ФБО.
14.3.6.3 Элементысодержания и представления свидетельств
14.3.6.3.1 ADVJMP.3.1C
Представление реализации должно однозначно определить ФБО на таком уровнедетализации,
чтобы ФБО могли быть созданы без дальнейших проектных решений.
14.3.6.3.2 ADVJMP.3.2C
Представлениереализации должнобыть внутренненепротиворечивым.
14.3.6.3.3 ADV IMP.3.3C
64