ГОСТ IEC 60730-1—2016
Примечание 1 — Примерами являются вводы дополнительного прерывания после выполнения опреде
ленного числа циклов или проверокделения на нуль.
Н.2.18.14 проверка протокола (protocol test): Метод контроля состояния неисправкости/ошибки. в кото
ром данные передаются к и от компьютерных компонентов для определения ошибок во внутреннем коммуникаци
онном протоколе.
Н.2.18.15 взаимное сравнение (reciprocal comparison): Метод контроля состояния неисправности’ошиб-
ки, используемый вдвухканальных (однотипных) структурах, в которой сравнение выполняется на данных, кото
рыми взаимно обмениваются два процессорных блока.
Примечание 1— Термин «взаимно» относится к обмену аналогичными данными.
Н.2.18.16 генерация избыточных данных (redundant data generation): Доступность двух или более неза
висимых средств, в частности генераторов кода, для выполнения одной и той же задачи.
Н.2.18.17 избыточный контроль (redundant monitoring): Доступностьдвух илиболее независимых средств,
в частности сторожевых устройств и компараторов, для выполнения одной и той же задачи.
Н.2.18.18 запланированная передача данных (scheduled transmission): Процедура передачи данных, в ко
торой информации от определенного отправителя допустимо быть переданной только в заранее установленный
момент времени и в определенной последовательности, в противном случав приемник рассмотрит информацию
как ошибку связи.
H_2.18.19 диверсификация программного обеспечения (software diversity): Метод контроля состояния
неисправности,’ошибки. вкотором все части программного обеспечения встроеныдважды в виде альтернативных
вариантов программного кода.
Примечание 1 — Например, альтернативные коды программного обеспечения могут быть произведены
различными программами, различными языками или различными шаблонами компиляции и могут располагаться в
различных аппаратных каналах или в различных участках памяти в пределах одинарного аппаратного канала.
H_2.18.20 модель постоянной неисправности (stuck-at fault mode): Режим неисправности, представляю
щий разомкнутую цепь или неизменный уровень сигнала.
Примечание 1— Принято называть как «постоянно разомкнуто», «постоянный 1» или «постоянный 0».
Н.2.18.21 проверка средствами контроля (tested monitoring): Наличие независимых средств, в частности
сторожевых устройств и компараторов, которые проверяются при запуске или периодически в ходе работы
H_2.18.22 проверочный набор данных (testing pattern): Метод контроля состояния неисправности/
ошибки, используемый для периодической проверки блоков ввода, блоков вывода и интерфейсов управляющего
устройства.
Примечание 1 — Проверочный набор данных вводят в устройство, и результаты сравнивают с ожи
даемыми значениями. Применяют взаимно независимые средства для введения проверочного набора данных и
оценки результатов. Проверочный набор данных конструируется так. чтобы не влиять на корректную работу
управляющего устройства.
Н.2.19 Определения, касающиеся тестирования памяти для управляющих устройств, использующих про
граммное обеспечение
Н.2.19.1 проверка методом Абрахама (Abraham test): Особая форма испытания модели изменяемой памя
ти. в которой идентифицируются все константные неисправности и неисправности из-за взаимовлияния между
ячейками памяти.
Примечания
1 Количество срабатываний, требуемых для выполнения полной проверки памяти, составляет примерно
30
п,
где л является количеством ячеек в памяти. Проверка гложет быть реализована прозрачно для применения в
ходе работы устройства путем разбиения памяти и проверки каждого участка в различные отрезки времени.
2 См. Abraham. J.A.; Thatte. S.M.: «Fault coverage of test programs fora microprocessor». Proceeding of the IEEE
Test Conference 1979. pp. 18-22.
H.2.19.2 проверка памяти методом GALPAT (GALPAT memory test): Метод контроля состояния неисправ-
ности/ошибки. при котором в массиве записанных одинаковыми данными ячеек памяти одна ячейка записывается
инверсными данными, после чего проверяется содержимое остального тестируемого массива памяти.
Примечания
1 После каждой операции считывания каждой из оставшихся ячеек в массиве инверсно записанную ячейку
также проверяют и считывают. Данный процесс повторяют для всех проверяемых ячеек памяти. Затем проводят
вторую проверку способом, указанным выше, на том же участке памяти без инверсной записи в проверяемую
ячейку.
137