Устройство для диагностического контроля выполнения проверок
DEVICE FOR DIAGNOSTIC CONTROL OF VERIFICATION

Изобретение относится к вычислительной технике и может быть использовано для составления тестов сложных цифровых систем. Известны своим практическим применением устройства для контроля цифровых модулей и проверки качества тестов, характеризующиеся тем, что содержат модель объекта контроля, блок сравнения, эталонный блок, счетчики обнаруженных и вводимых неисправностей, блок управления, блок ввода неисправностей и позволяют провести контроль со сравнительно высоким качеством [1].
Недостатком данных устройств является большое время, требуемое для оценки полноты тестов, обусловленное необходимостью перебора множества заданных неисправностей.
Наиболее близким по технической сущности является устройство формирования контрольных тестов, содержащее генератор случайных чисел, счетчики тактов, блок управления, характеризующееся большим объемом выполняемых проверок, которые одновременно можно подвергнуть контролю [2].
Применение подобного устройства ограничивается большим временем формирования оптимального теста, связанного со случайным перебором большого количества различных вариантов тестов и последующей их оценкой по всему множеству неисправностей.
Задачей изобретения является создание устройства, позволяющего максимально сократить времени проведения проверок.
Требуемый технический результат достигается тем, что устройство для проверки полноты тестов содержит генератор тестов, модель объекта контроля, стандартные микромодули, коммутатор, схему сравнения, эталонный объект контроля, счетчик числа обнаруженных неисправностей, счетчик числа введенных неисправностей, делитель, датчик случайных чисел, блок ввода неисправностей, блок управления, элемент задержки, 2 элемента ИЛИ, счетчик установки числа неисправностей, триггер управления, элемент И и блок управления генератором тестов.
Сущность изобретения поясняется чертежом, где на фиг. 1 представлен возможный вариант устройства для диагностического контроля выполненных проверок, который соответственно в себе содержит:
1 генератор тестов,
2 модель объекта контроля,
3 стандартные микромодули,
4 коммутатор,
5 схему сравнения,
6 эталонный объект контроля,
7 счетчик числа обнаруженных неисправностей,
8 счетчик числа введенных неисправностей,
9 делитель,
10 датчик случайных чисел,
11 блок ввода неисправностей,
12 блок управления,
13 элемент задержки,
14 элемент ИЛИ,
15 счетчик установки числа неисправностей,
16 триггер управления,
17 элемент И,
18 элемент ИЛИ,
19 блок управления генератором тестов.
Устройство для диагностического контроля выполненных проверок работает следующим образом: на счетчик 15 установки числа неисправностей по четвертому входу блока 12 управления записывается число α-n, где α=2k, k - число разрядов счетчика 15 установки числа неисправностей, n - число вводимых неисправностей. Затем на третий вход блока 12 управления подается сигнал "Пуск", который устанавливает в нулевое состояние триггер 16 управления и через элемент ИЛИ 18, соединенный со вторым выходом блока 12 управления, поступает на входы датчика 10 случайных чисел, счетчика 8 числа введенных неисправностей, счетчика 15 установки числа неисправностей и на вход блока управления генератором тестов 19, осуществляя его сброс. После этого сигнал с выхода блока управления 19, соединенного с выходом блока 18 ИЛИ, осуществляет запуск генератора 1 тестов. Датчик 10 случайных чисел формирует равновероятное число, соответствующее номеру неисправностей объекта, контроля. Код, соответствующий случайно выбранному номеру неисправности, подается на вход блока 11 ввода неисправностей, который формирует управляющий сигнал для коммутатора 4 модели 2 объекта контроля. Коммутатор 4 в соответствии с управляющим сигналом производит разрыв или короткое замыкание отдельных цепей, соединяющих стандартные микромодули 3, имитируя тем самым случайно выбранную неисправность типа "обрыв" или "короткое замыкание".
Генератор 1 тестов начинает генерировать входную последовательность сигналов проверяемого теста, которая поступает одновременно на одноименные входы модели 2 объекта контроля и эталонного объекта 6 контроля. Сигналы с выходов модели 2 объекта контроля и эталонного объекта 6 контроля подаются в схему 5 t сравнения. При обнаружении введенной неисправности схема 5 сравнения формирует сигнал, поступающий на вход счетчика 7 числа обнаруженных неисправностей и на первый вход блока 12 управления, где через элемент ИЛИ 14 и элемент И 17 поступает на вход элемента ИЛИ 18. Сигнал с выхода элемента ИЛИ 18 также, как и по сигналу "Пуск", осуществляет сброс генератора 1 тестов, включает датчик 10 случайных чисел для формирования следующего случайного номера неисправности, прибавляет единицу к содержимому счетчика 8 числа введенных неисправностей и счетчика 15 установки числа неисправностей и поступает на вход элемента 13 задержки.
Блок 11 ввода неисправностей вводит в модель 2 объекта контроля новую случайно выбранную неисправность. Сигнал с выхода элемента 13 задержки поступает на генератор 1 тестов, для повторной генерации проверяемого теста.
Далее процесс работы устройства повторяется.
Если введенная в модель 2 объекта контроля неисправность не обнаруживается, то блок 12 управления получает сигнал для продолжения проверки не с выхода схемы 5 сравнения, а с выхода генератора 1 тестов после выработки всех сигналов теста.
После проверки заданного числа неисправностей происходит переполнение счетчика 15 установки числа неисправностей, и сигнал с его выхода устанавливает в единичное состояние триггер 16 управления, запрещая прохождение сигналов через элемент И 17. Сигналы на пусковой вход генератора 1 тестов перестают поступать и формирование тестовых последовательностей прекращается.
К этому времени на счетчике 7 числа обнаруженных неисправностей записано число m обнаруженных неисправностей, а на счетчике 8 числа введенных неисправностей - общее число n введенных неисправностей, на делителе 9 - относительное число q=m/n<1 обнаруженных неисправностей, определяющее полноту теста.
ИСТОЧНИКИ ИНФОРМАЦИИ
1. SU 519713, 1977.
2. SU 1605208, 1986.