ГОСТ Р ИСО/МЭК 15408-3 — 2008
Функциональная спецификациядолжна содержать неформальное описание ФБО и их внешних ин
терфейсов.
14.1.5.2.2ADV_FSP.2.2C
Функциональная спецификация должна быть внутренне непротиворечивой.
14.1.5.2.3ADV_FSP.2.3C
Функциональная спецификациядолжна содержать описание назначения и методов использования
всех внешних интерфейсовФБО. обеспечивая полную детализацию всех результатов, нештатныхситуа
ций и сообщений обошибках.
14.1.5.2.4 ADV_FSP.2.4C
Функциональная спецификациядолжна полностью представитьФБО.
14.1.5.2.5ADV_FSP.2.5C
Функциональная спецификация должна включать в себя обоснование того, что ФБО полно
стью представлены.
14.1.5.3 Элементы действий оценщика
14.1.5.3.1 ADV_FSP.2.1E
Оценщик должен подтвердить, чтопредставленная информация соответствует всем требованиям к
содержанию ипредставлению свидетельств.
14.1.5.3.2 ADV_FSP.2.2E
Оценщикдолжен сделать независимое заключение, что функциональная спецификация— точное и
полноеотображение функциональных требований безопасности ОО.
14.1.6 ADV_FSP.3 Полуформальная функциональная спецификация
Зависимости: ADV_RCR.1 Неформальнаядемонстрация соответствия
14.1.6.1 Элементы действий разработчика
14.1.6.1.1 ADV_FSP.3.1D
Разработчик должен представить функциональную спецификацию.
14.1.6.2 Элементысодержания и представлениясвидетельств
14.1.6.2.1 ADV_FSP.3.1C
Функциональная спецификация должна содержать полуформальное описание ФБО и ихвнешних
интерфейсов, поддержанное, где это необходимо, неформальным пояснительным текстом.
14.1.6.2.2ADV_FSP.3.2C
Функциональная спецификация должна быть внутренне непротиворечивой.
14.1.6.2.3ADV_FSP.3.3C
Функциональная спецификациядолжна содержать описание назначения и методов использования
всех внешних интерфейсов ФБО. обеспечивая полнуюдетализацию всех результатов, нештатных ситуа
ций и сообщений обошибках.
14.1.6.2.4 ADV_FSP.3.4C
Функциональная спецификациядолжна полностью представитьФБО.
14.1.6.2.5ADV_FSP.3.5C
Функциональная спецификациядолжна включатьв себя обоснование, чтоФБО полностью представ
лены.
14.1.6.3 Элементы действий оценщика
14.1.6.3.1 ADV_FSP.3.1E
Оценщик должен подтвердить, чтопредставленная информация соответствует всем требованиям к
содержанию ипредставлению свидетельств.
14.1.6.3.2 ADV_FSP.3.2E
Оценщикдолжен сделать независимое заключение, что функциональная спецификация — точное и
полноеотображение функциональных требований безопасности ОО.
14.1.7 ADV_FSP.4 Формальная функциональная спецификация
Зависимости: ADV_RCR.1 Неформальнаядемонстрация соответствия
14.1.7.1 Элементы действий разработчика
14.1.7.1.1 ADV_FSP.4.1D
Разработчик должен представить функциональную спецификацию.
14.1.7.2 Элементысодержания и представления свидетельств
14.1.7.2.1 ADV_FSP.4.1C
57