Характеристика семейства

Ранжирование компонентов

Характеристика семейства

FPT_TEE.1.2

FPT_TEE.1.1

FPT_TEE.1 Тестирование внешних сущностей

Иерархический для: Нет подчиненных компонентов

Зависимости: отсутствуют.

ФБО должны выполнить набор тестов [выбор: при первоначальном запуске, переодически при нормальном функционировании, по запросу доверенного пользователя, [назначение: другие условия] ] для проверки полноты выполнения [назначение: список свойств внешних сущностей ].

В случае неудачного проведения тестирования, ФБО должны выполнить [назначение: действия ].

14.13 Согласованность данных ФБО при дублировании в пределах ОО (FPT_TRC)

Требования семейства FPT_TRC необходимы, чтобы обеспечить согласованность данных ФБО, когда они дублируются в пределах ОО. Такие данные могут стать несогласованными при нарушении работоспособности внутреннего канала между частями ОО. Если ОО внутренне структурирован как сеть, то это может произойти из-за отключения отдельных частей сети при разрыве сетевых соединений.

Это семейство состоит из одного компонента FPT_TRC.1 «Согласованность дублируемых данных ФБО», содержащего требование, чтобы ФБО обеспечили непротиворечивость данных ФБО, дублируемых в нескольких частях ОО.

14.13.3 Управление: для FPT_TRC.1

Действия по управлению не предусмотрены.

14.13.4 Аудит: для FPT_TRC.1

Если в ПЗ/ЗБ включено семейство FAU_GEN «Генерация данных аудита безопасности», то следует предусмотреть возможность аудита следующих действий.

a) Минимальный: восстановление согласованности после восстановления соединения.

b) Базовый: выявление несогласованности между данными ФБО.

14.13.5 FPT_TRC.1 Согласованность дублируемых данных ФБО

Иерархический для: Нет подчиненных компонентов.

Зависимости: FPT_ITT.1 Базовая защита внутренней передачи данных ФБО

14.13.5.1 FPT_TRC.1.1

ФБО должны обеспечить согласованность данных ФБО при дублировании их в различных частях ОО.

14.13.5.2 FPT_TRC.1.2

Когда части ОО, содержащие дублируемые данные ФБО, разъединены, ФБО должны обеспечить согласованность дублируемых данных ФБО после восстановления соединения перед обработкой любых запросов к [назначение: список функций, зависящих от согласованности дублируемых данных ФБО ].

14.14 Самотестирование ФБО (FPT_TST)

Семейство FPT_TST определяет требования для самотестирования ФБО в части некоторых типичных операций с известным результатом. Примерами могут служить обращения к интерфейсам реализуемых функций, а также некоторые арифметические операции, выполняемые критичными частями ОО. Эти тесты могут выполняться при запуске, периодически, по запросу уполномоченного пользователя или при удовлетворении других условий. Действия ОО, предпринимаемые по результатам самотестирования, определены в других семействах.

Требования этого семейства также необходимы для обнаружения искажения выполняемого кода ФБО (т.е. программной реализации ФБО) и данных ФБО различными сбоями, которые не всегда приводят к приостановке функционирования ОО (рассмотренной в других семействах). Такие проверки необходимо выполнять, т.к. подобные сбои не всегда можно предотвратить. Они могут происходить либо из-за непредусмотренных типов сбоев или имеющихся неточностей в проекте аппаратных, программно-аппаратных и программных средств, либо вследствие злонамеренного искажения ФБО, допущенного из-за неадекватной логической и/или физической защиты.

Дата добавления: 2014-01-15