Принцип работы тестового контроля состоит в том, что на вход контроли-
руемого устройства подают специально подобранную совокупность входных воз-
действий и наблюдают реакцию на выходе. Сравнивая полученную реакцию с
эталонной, судят о правильности функционирования устройства.
Тестовый контроль обеспечивает проверку пребывания устройств ЭВМ в ра-
ботоспособном состоянии на момент контроля. В отличие от алгоритмического и
программно-логического, он не может быть использован для проверки состояния
устройств в процессе выполнения ими основной задачи, но может применяться
периодически в процессе функционирования ЭВМ между решениями основных
задач.
На практике строят такие тесты, которые обнаруживают не все, а только за-
ранее определенные отказы. Задача этих тестов состоит в проверке работоспособ-
ности устройства в целом с достаточно большой глубиной. Жестких требований
на время их выполнения не накладывается, поэтому данные тесты, как правило,
достаточно объемны.
Тестовый контроль устройств ЭВМ осуществляется при помощи специаль-
ных тест-программ, составленных из отдельных блоков. Все блоки построены по
единому принципу: вначале осуществляется подача на вход устройства входного
слова, затем происходит сравнение выходного слова с эталоном. Если они совпа-
ли, переходят к выполнению следующего блока, если не совпали, то автоматиче-
ская проверка прекращается.
Различают два вида проверок:
1). На постоянных словах, когда входные слова и эталоны подбираются за-
благовременно и в процессе контроля не меняются. Тест-программы, использую-
щие постоянные слова, обладают малым временем выполнения и обеспечивают
максимальный охват проверяемых элементов, однако они занимают большой объ-
ем памяти и их построение требует больших затрат времени.
2). На переменных словах, когда входные слова формируются по случайному
закону, а сравнение с эталоном осуществляется косвенным образом. Тест-
программы, использующие переменные слова, создают более тяжелые режимы в
работе устройств и , следовательно, позволяют произвести проверки с большей
глубиной.
Проверка на постоянных словах производится со специально подобранными
словами, при работе с которыми все отказы проявляются в виде искажений зара-
нее известных выходных слов.
Например, для контроля цепей сумматора обратных кодов целесообразно
выбрать следующие исходные операнды: a=1111...11, b=0000...01; c=0101...01,
d=1010...10 и выполнить операции a+b, b+a, c+d, d+c.
Первые две операции обеспечивают срабатывание всех цепей переноса и ре-
зультат при этом должен быть 0000...01. В двух последних операциях цепи пере-
носа не участвуют и результат должен быть равен 1111...11. Если в ходе контроля
52
указанные результаты не получены, то либо сигнал переноса в одном из разрядов
отсутствует, либо где-то возникает ложный сигнал переноса.
Проверка на переменных словах производится следующим образом. При по-
мощи генератора случайных слов формируются несколько случайных операндов
a, b, c, d, над которыми производятся либо две одинаковые операции и результаты
сравниваются, либо две взаимно-обратные операции и результаты сравниваются с
нулем, например:
Затем формируются новые случайные операнды и вновь производятся те же
операции. После многократного повторения данного участка тест-программы пе-
реходят к следующему участку. При достаточно большом количестве повторений
каждого участка получают весьма высокую вероятность обнаружения отказа в
аппаратуре.Затем формируются новые случайные операнды и вновь производятся те же
операции. После многократного повторения данного участка тест-программы пе-
реходят к следующему участку. При достаточно большом количестве повторений
каждого участка получают весьма высокую вероятность обнаружения отказа в
аппаратуре.
