ГОСТ Р ИСО/МЭК15408-2— 2008
Рисунок J.1 — Декомпозиция класса FPT «Защита ФБО». лист 1
Термин «базовая абстрактная машина» относится главным образом к аппаратным компонентам, на базе
которых выполняются ФБО. Однако его можно отнести и к предварительно оцененной базовой комбинации
аппаратных средств и программного обеспечения, ведущей себя как виртуальная машина, на которую полагают ся
ФБО.
Тесты абстрактной машины могут иметь различные формы:
a) тесты при включении, которые проверяют правильность работы платформы. Для аппаратных и про
граммно-аппаратных средств они могут включать в себя тесты таких элементов, как платы памяти, маршруты
передачи данных, шины, управляющие элементы, регистры процессора, порты сообщений, интерфейсы консо
лей. звуковоспроизводящие и периферийные устройства. Для программных элементов (виртуальной машины)
они включат в себя верификацию корректности инициализации и режима функционирования;
b
) загружаемые тесты, которые могут загружаться и выполняться уполномоченным пользователем или
активизироваться при определенных условиях. Они могут включать в себя тесты нагрузки элементов процессора
(логических элементов, вычислительных элементов и т. д.) и управляемой памяти.
J.1.2 Замечания для оценщика
Необходимо, чтобы тесты базовой абстрактной машины были достаточны для проверки всех характеристик
базовой абстрактной машины, на которой выполняются ФБО.
147