ADV_FSP.2 Полностью определенные внешние интерфейсы

Зависимости
ADV_RCR.1	Неформальная демонстрация соответствия
Элементы действий разработчика
ADV_FSP.2.1D	Разработчик должен представить функциональную спецификацию.
Элементы содержания и представления свидетельств
ADV_FSP.2.1C	Функциональная спецификация должна содержать неформальное описание ФБО и их внешних интерфейсов.
ADV_FSP.2.2C	Функциональная спецификация должна быть внутренне непротиворечивой
ADV_FSP.2.3C	Функциональная спецификация должна содержать описание назначения и методов использования всех внешних интерфейсов ФБО, обеспечивая полную детализацию всех результатов, нештатных ситуаций и сообщений об ошибках.
ADV_FSP.2.4C	Функциональная спецификация должна полностью представить ФБО.
ADV_FSP.2.5C	Функциональная спецификация должна включать в себя логическое обоснование, что ФБО полностью представлены.
Элементы действий оценщика
ADV_FSP.2.1E	Оценщик должен подтвердить, что представленная информация удовлетворяет всем требованиям к содержанию и представлению свидетельств.
ADV_FSP.2.2E	Оценщик должен сделать независимое заключение, что функциональная спецификация - точное и полное отображение функциональных требований безопасности ОО.