ГОСТ Р ИСО/МЭК 15408-2-2013
14.13.5 FPT TRC.1 Согласованность дублируемых данных ФБО
Иерархический для: Нет подчиненных компонентов.
Зависимости: FPTJTT .1 Базовая защита внутренней передачи данных ФБО
14.13.5.1 FPTJRC.1.1
ФБО должны обеспечить согласованность данных ФБО при дублирова
нии их в различных частях 00.
14.13.5.2 FPTTRC.1.2
Когда части 00, содержащие дублируемые данные ФБО, разъединены,
ФБО должны обеспечить согласованность дублируемых данных ФБО после
восстановления соединения перед обработкой любых запросов к [назначение:
список функций, зависящих от согласованности дублируемых данных ФБО].
14.14 Самотестирование ФБО (FPT_TST)
14.14.1 Характеристика семейства
Семейство FPT TST определяет требования для самотестирования ФБО в части
некоторых типичных операций с известным результатом. Примерами могут служить
обращения к интерфейсам реализуемых функций, а также некоторые арифметиче
ские операции, выполняемые критичными частями 00. Эти тесты могут выполняться
при запуске, периодически, по запросу уполномоченного пользователя или при удов
летворении других условий. Действия 00, предпринимаемые по результатам само
тестирования, определены вдругих семействах.
Требования этого семейства также необходимы для обнаружения искажения
выполняемого кода ФБО (т.е. программной реализации ФБО) и данных ФБО различ
ными сбоями, которые не всегда приводят к приостановке функционирования 00
(рассмотренной в других семействах). Такие проверки необходимо выполнять, т.к.
подобные сбои не всегда можно предотвратить. Они могут происходить либо из-за
непредусмотренных типов сбоев или имеющихся неточностей в проекте аппаратных,
программно-аппаратных и программных средств, либо вследствие злонамеренного
искажения ФБО, допущенного из-за неадекватной логической и/или физической за
щиты.
148