ГОСТ I»ИСО/МЭК 15408-2-2002
10.16 Самотестирование ФБО (FPT_TST)
Характеристика семейства
Семейство FPTTST определяет требования для самотестирования ФБО в части некоторых ти
пичных операций с известным результатом. Примерами м о т служить обращения к интерфейсам
реализуемых функции, а также некоторые арифметические операции, выполняемые критичными час
тями ОО. Эти тесты могут выполняться при запуске, периодически, по запросу уполномоченного
пользователя или при удовлетворении других условий. Действия ОО, предпринимаемые по результа
там самотестирования, определены вдругихсемействах.
Требования этогосемейства также необходимы для обнаружения искажения выполняемого кода
ФБО (т. е. программной реализации ФБО) и данных ФБО различными сбоями, которые не всегда
приводят к приостановке функционирования ОО (рассмотренной вдругих семействах). Такие провер ки
необходимо выполнять, т. к. подобные сбои не всегда можно предотвратить. Они могут происходить либо
из-за непредусмотренных типов сбоев или имеющихся неточностей в проекте аппаратных, про
граммно-аппаратных и программных средств, либо вследствие злонамеренного искажения ФБО, допу
щенного из-за неадекватнойлогической и/илн физической зашиты.
Ранжирование компонентов
FTTjrarСанагасщив*—»дт/Ь
FPT TST. 1«Тестирование ФБО» позволяет проверить правильность выполнения ФБО. Эти тесты
могут выполняться при запуске, периодически, по запросу уполномоченного пользователя или при
выполнении других заранее оговоренных условий. Этот компонент также предоставляет возможность
верифицировать целостность данных и выполняемого кода ФБО.
Управление: для FPT_TST. 1
Язя функций управления из класса FMT могут рассматриваться следующие действия.
а) Управление условиями, при которых происходит самотестирование ФБО (при запуске, с
постоянным интервалом или при определенных условиях).
б) Управление периодичностью выполнения (при необходимости).
Аудит, для FPT TST. 1
Если в ПЗ/ЗБ включено семейство FAU_GEN «Генерация данных аудита безопасности», то
следует предусмотреть возможность (в зависимости от выбранного уровня) аудита следующих дей-
ствий/событий/параметров.
а) Базовый: выполнение и результаты самотестирования ФБО.
FPT_TST. 1Тестирование ФБО
Иерархический для: Нет подчиненных компонентов.
FPTJTST.1.1 ФБО должны выполнять пакет программ самотестирования |выбор: при запуске,
периодически в процессенормального функционирования, по запросу уполномочен
ного пользователя, при условиях [назначение: условия, при которых следует пре
дусмотреть самотестирование] для демонстрации правильного выполнения ФБО.
FPT_TST. 1.2 ФБО должны предоставитьуполномоченным пользователям возможность верифици
ровать целостность данных ФБО.
FPT_TST. 1.3 ФБО должны предоставитьуполномоченным пользователям возможность верифици
ровать целостность хранимого выполняемого кода ФБО.
Зависимости: FPT_AMT.I Тестирование абстрактной машины
11 Класс FRU. Использование ресурсов
Класс FRU содержит три семейства, которые поддерживают доступность требуемых ресурсов,
таких как вычислительные возможности и/или объем памяти. Семейство FRU_FLT «Отказоустойчи
вость* предоставляет защиту от недоступности ресурсов, вызванной сбоем ОО. Семейство FRU_PRS
«Приоритет обслуживания* обеспечивает, чтобы ресурсы выделялись наиболее важным или критич
ным по времени задачам и не могли быть монополизированы задачами с более низким приоритетом.
Семейство FRU RSA«Распределение ресурсов» устанавливает ограничения использования доступных
ресурсов, предотвращая монополизацию ресурсов пользователями.
74