ГОСТ Р ИСО/МЭК 15408-3-2002
Элементы действий оценщика
ADV_FSP.1.1E Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
ADY_FSP. 1.2Е Оценщик должен сделать независимое заключение, что функциональная специфи
кация —точное и полное отображение функциональных требований безопасности
СЮ.
ADV_FSP.2 Полностью определенныевнешние интерфейсы
Зависимости
ADV_RCR. 1Неформальная демонстрация соответствия
Элементы действий разработчика
ADV_FSP.2.1D Разработчик должен представить функциональную спецификацию.
Элементы содержания и представления свидетельств
ADV_FSP.2.1C Функциональная спецификация должна содержать неформальное описание ФБО
и их внешних интерфейсов.
ADV_FSP.2.2CФункциональная спецификация должна быть внутренне непротиворечивой.
ADV_FSP.2JC Функциональная спецификация должна содержать описание назначения и мето
дов использования всех внешних интерфейсов ФБО. обеспечивая полную дета
лизацию всех результатов, нештатных ситуаций и сообщений обошибках.
ADV_FSP.2.4C Функциональная спецификация должна полностью представить ФБО.
ADV_FSP.2.5C Функциональная спецификация должна включать в себя логическое обоснование,
что ФБО полностью представлены.
Элементы действий оценщика
ADV_FSP.2.IE Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям к содержанию и представлению свидетельств.
ADV_FSP.2.2E Оценщик должен сделать независимое заключение, что функциональная специ
фикация —точное и полное отображение функциональныхтребований безопас
ности ОО.
ADV_FSP.3 Полуформальная функциональная спецификация
Зависимости
ADV_RCR. I Неформальнаядемонстрация соответствия
Элементы действий разработчика
ADV_FSP.3.1D Разработчикдолжен представить функциональную спецификацию.
Элементы содержания и представления свидетельств
ADV_FSP.3.1CФункшюиальная спецификация должна содержать полуформальноеописание ФБО
и их внешних интерфейсов, поддержанное, где это необходимо, неформальным
пояснительным текстом.
ADV_FSP.3.2C Функциональная спецификация должнабыть внутренне непротиворечивой.
ADV_FSP.3.3C Функциональная спецификация должна содержатьописание назначения и мето
дов использования всех внешних интерфейсов ФБО. обеспечивая полную дета
лизацию всех результатов, нештатных ситуаций и сообщений об ошибках.
ADV_FSP.3.4C Функциональная спецификация должна полностью представить ФБО.
ADV_FSP.3.5C Функциональная спецификация должна включать всебя логическое обоснова
ние, что ФБО полностью представлены.
Элементы действий оценщика
ADV_FSP.3.IE Оценщик должен подтвердить, что представленная информация удовлетворяет
всем требованиям ксодержанию и представлению свидетельств.
ADV_FSP.3.2E Оценщикдолжен сделать независимое заключение, что функциональная специ
фикация —точное и полное отображение функциональных требований безопас
ности ОО.
ADV_FSP.4 Формальная функциональная спецификация
Зависимости
ADV_RCR. 1Неформальная демонстрация соответствия
Элементы действий разработчика
ADV_FSP.4.1D Разработчик должен представить функциональную спецификацию.
Элементы содержания и представления свидетельств
4-2р
51