ГОСТ Р ИСО/МЭК 15408-3 — 2008
Если оценщикне устанавливает соответствие функциональным требованиям безопасности ООдля проме
жуточных представлений ФБО. то попытка сделать заключение о соответствии наименее абстрактного
представления ФБО функциональным требованиям безопасности ООможет представлять собой слишком
большой шаг для точного его выполнения. И, наконец, в зависимости от требуемойсовокупности представ
лений ФБО. вполне возможно, что проект нижнего уровня, проект верхнегоуровня или даже функциональ
ная спецификация могут являться наименееабстрактным имеющимся представлением ФБО.
Декомпозиция класса ADV «Разработка» на составляющие егосемейства и иерархия компонентов
этих семейств показаны на рисунке 11.
Рисунок 11 — Декомпозиция класса «Разработка»
14.1 Функциональная спецификация (ADV_FSP)
14.1.1 Цели
Функциональная спецификация — это описание наверхнем уровне видимого пользователем интер
фейса и режима выполнения ФБО. Она представляет собой отображение функциональных требований
безопасности ОО. Функциональная спецификациядолжна показать, что все функциональные требования
безопасности ООучтены.
14.1.2 Ранжирование компонентов
Компоненты в этом семействе ранжированы на основе степени формализации, требуемой для
функциональной спецификации, и степени детализации, предусмотренной для внешних интерфейсов
ФБО.
55