ГОСТ Р ИСО/МЭК 15408-3-2013
Оценщик должен сделать независимое заключение, что функциональная
спецификацияявляетсяточнымиполнымотображениемфункциональных
требований безопасности ОО.
11.2.8ADV_FSP.5Полнаяполуформальнаяфункциональная
спецификация с дополнительной информацией об ошибках
Зависимости:ADVJTDS.1 Базовый проект
ADV IMP.1 Представление реализации ФБО
11.2.8.1
Элементы действий разработчика
11.2.8.1.1
ADV_FSP.5.1D
Разработчик должен представить функциональную спецификацию.
11.2.8.1.2ADV_FSP.5.2D
Разработчикдолженпредставитьпрослеживаниефункциональной
спецификации к функциональным требованиям безопасности.
11.2.8.2
Элементы содержания и представления свидетельств
11.2.8.2.1
ADV_FSP.5.1C
В функциональной спецификации должны быть полностью представлены ФБО.
11.2.8.2.2ADV_FSP.5.2C
Функциональная спецификация должна содержать полуформальное
описание ИФБО.
11.2.8.2.3ADV_FSP.5.3C
В функциональной спецификации должны быть описаны назначение и метод
использования всех ИФБО.
11.2.8.2.4ADV_FSP.5.4C
В функциональной спецификации должны быть идентифицированы и описаны
все параметры, связанные с каждым ИФБО.
11.2.8.2.5ADV_FSP.5.5C
В функциональной спецификации должны быть описаны все действия,
связанные с каждым ИФБО.
95