ГОСТ Р ИСО/МЭК 15408-2-2002
ЭшдггаФБО
FPT_RPL Обндожонив повторюпр
ту
пегназвания
1
4
FFT_RVU Пнсрадмнослюпри обр*-
Ц |М И И Е
Я»Т_вЕР Рмдипашвдолей
ш
FPT_88P Пратоear оинфонишдо
оаттаяний
Н И
-Е Н З
FPTJBTM M#
tw
циыани
1
IДП,<_ТОССотвсовв»*дхп.д»*м
| <*Бй между ФбО
1
FFT_TRC Озт0Сов*мюСтъдвнник
Оба придапфйввыии япредала*сэо
1
FPT_T8T Сааютвопфавяний ФБО
1
Рисунок Л.2 —Декомпозиция класса «Зашита ФБО» (продолжение)
Замечания для пользователя
Термин «базовая абстрактная машина» относится главным образом к аппаратуре, реализующей ФБО.
Однако его можно отнести и к предварительно оцененной базовой комбинации аппаратных средств и про
граммного обеспечения, ведущей себя как виртуальная машина, на которой реализованы ФБО.
Тссгы абстрактной машины могут иметь различные формы:
а) тесты при включении, которые проверяют правильность работы платформы. Дня аппаратных и про
граммно-аппаратных средств они могут включать в себя тесты таких элементов, как платы памяти, маршруты
передачи данных, шины, управляющие элементы, регистры процессора, порты сообщений, интерфейсы
консолей, звуковоспроизводящие п периферийные устройства. Для программных элементов (виртуальной ма
шины) они включат в себя верификацию корректности инициализации и режима функционирования;
б) загружаемые тесты, которые могут загружаться и выполняться уполномоченным пользователем или
активизироваться при определенных условиях. Они могут включать в себя тесты нагрузки элементов процессо ра
(логических элементов, вычислительных элементов и т. д.) и управляемой памяти.
Замечания для оценщика
Следует, чтобы тесты базовой абстрактной машины были достаточны ятя проверки всех характеристик
базовой абстрактной машины, на которой выполняются ФБО.
FPT_AMT. 1 Тестирование абстрактной машины
Замечания по применению для пользователя
Компонент FPT_AMT.I поддерживает периодическое тестирование предположений безопасности базо
вой абстрактной машины, от которых зависит выполнение ФБО. требуя обеспечения возможности периоди
ческого запуска тестирования функций.
При желании автор ПЗ/ЗБ может уточнить требование, указав, в каком режиме следует проводить тес
тирование: автономно, при обычном функционировании системы или в режиме аварийной поддержки.
Замечания по применению ятя оценщика
Допускается, чтобы функции периодического тестирования были доступны только в автономном режи
ме или режиме аварийной поддержки. Следует иметь средства управления для предоставлении доступа в режиме
аварийной поддержки только уполномоченным пользователям.
Операции
Выб о р
им - ш з
141