Устройство для проверки полноты тестов

Устройство для проверки полноты тестов

Иллюстрации

Показать все

Реферат

 

Союз Советских

Социалистических

Республик

ОП ИКАНИЕ

ИЗОБРЕТЕИ ИЯ

К АВТОРСКОМУ СВИДЕТЕЛЬСТВУ (iii 92О733 (6l ) Дополнительное к авт. свнд-ву (22) Заявлено 04.04.80 (23 ) 2937858/18-24 с присоединением заявки М (23) Приоритет

Опубликовано 15.04.82. Бюллетень № 14

Дата опубликования описания 17.04.82 (5) ) М. Кл.

G 06 F 11/26 Ьаудараткнный комитет

СССР (53) УДК 681.325 (088.8) иа делам изобретений н открытий т

Г (72) Автор изобретения

Е. Н. Хохлачев (71) Заявитель (54) УСТРОЙСТВО ДЛЯ ПРОВЕ РКИ ПОЛНОТЫ ТЕСТОВ

Изобретение относится к вычислительной технике и может быть использовано для составления тестов сложных цифровых систе м.

Известно устройство для контроля цифровых модулей и проверки качества тестов, модель объекта контроля, блок сравнения, эталонный блок, счетчики обнаруженных и вводимых неисправностей, блок управления, блок ввода неисправкостей (1) ..

Недостатком данного устройства является большое время, требуемое для оценки полноты тестов, обусловленное необходимостью перебора множества заданных неисправностей.

Наиболее близким к предложенному является устройство формирования тестов, содержащее генератор случайных чисел, счетчики тактов, блок управления (2 .

Недостатком такого устройства является также большое время формирования оптимального теста, связанное со случайным перебором большого количеств ва различных вариантов тестов и последующей их оценкой по всему множеству неиспр а в насте й.

Цель изобре гения — сокращение времени проверки.

Эта цель достигается тем, что в устройство для проверки полноты тестов, с одерж ащее ге пер ат ор тестов, выходы которого подключены к информационным входам модели объекта контроля и этатО лонного объекта контроля, выходы модели объекта контроля и эталонного объекта контроля соединены с соответствующими входами схемы сравнения, выход которой соединен со входом счетчика числа обнаруженных неисправностей и первым входом блока управления, первый, второй выходы и второй вход которого соединены с соответствующими входами и выходом генератора тестов, второй выход блока управления соединен со входом счетчика числа введенных неисправностей, управляющий вход, модели объекта контроля соединен с выходом блока

3 9 ввода неисправностей, третий и четвертый входы блока управления являются входом пуска и входом задания числа неисправностей устройства, дополнительно введены датчик случайных чисел и делитель, причем выходы счетчика числа обнаруженных неисправностей и счетчика числа введенных неисправностей соединены с соответствующими входами делителя, выходы которого являются выхода ми устройства, вход и выход датчика случайных чисел соединены соответственно со вторым выходом блока управления и входом блока ввода неисправностей.

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

Устройство содержит генератор 1 тестов, модель 2 объекта контроля, стандартные микромодули 3, коммутатор 4, схему 5 сравнения, эталонный объект 6 контроля, счетчик 7 числа обнаруженных неисправностей, счетчик 8 числа введенных неисправностей, делитель 9, датчик

10 случайных чисел, блок 11 ввода неисправностей, блок 12 управления, элемент 13 задержки, элемент ИЛИ 14, счетчик 15 установки числа неисправностей, триггер 16 управления, элемент ,И 17, элемент ИЛИ 18.

20733 4

Устройство работает следующим образом.

На счетчик 15 установки числа неисправностей по четвертому входу блока

12 управления записывается число где (= 2, К - число разрядов счетк чика 15 установки числа неисправностей, — число вводимых неисправностей. Затем на третий вход блока 12 управления подается сигнал впуск", который устанавливает в нулевое состояние триггер

16 управления и через элемент ИЛИ 18, соединенный со вторым выходом блока 12 управления, поступает на входы датчика

10 случайных чисел, счетчика 8 числа введенных неисправностей, счетчика 15 установки числа неисправностей и на второй вход генератора 1 тестов, осуществляя его сброс. После этого сигнал с выхода элемента 13 задержки, соединенного с первым выходом блока 12 управления осуществляет запуск генератора 1 тестов. Датчик 10 случайных чисел формирует равновероятное число, соответствующее номеру неисправностей объекта контроля. Код, соответствующий случайно выбранному номеру неисправности, подается на вход блока 11 ввода

-10 ( I 5

zo

ЗО

4О

55 неисправностей, который формирует управляющий сигнал для коммутатора 4 модели

2 объекта контроля. Коммутатор 4 в соответствии с управляющим сигналом производит разрыв или короткое замыкание отдельных цепей, соединяющих стандарт.> ные микромодули 3, имитируя тем самым случайно выбранную неисправность типа

"обрыв или "короткое замыкание".

Генератор 1 тестов начинает генерировать входную последовательность сигналов проверяемого теста, которая поступает одновременно на одноименные входы модели 2 объекта контроля и эталонного объекта 6 контроля. Сигналы с выходов модели 2 объекта контроля и эталонного объекта 6 контроля подаются в схему 5 сравнения, При обнаружении введенной неисправности схема 5 сравнения формирует сигнал, поступающий на вход счетчика 7 числа обнаруженных неисправностей и на первый вход блока 12 управления, где через элемент ИЛИ 14 и элемент И 17 поступает на вход элемента

ИЛИ L8. Сигнал с выхода элемента

ИЛИ L8 так же, как и по сигналу "Пуск, осуществляет сброс генератора 1 тестов, включает датчик 10 случайных чисел для формирования следующего случайного номера неисправности, прибавляет единицу к содержимому счетчика 8 числа введенных неисправностей и счетчика 15 установки числа неисправностей и поступает на вход элемента 13 задержки.

Блок 11 ввода неисправностей вводит в модель 2 объекта контроля новую случайно выбранную неисправность. Сигнал с выхода элемента 13 задержки поступает на генератор 1 тестов для повторной генерации проверяемого теста.

Далее процесс работы устройства повторяется.

Если введенная в модель 2 объекта контроля неисправность не обнаруживается, то блок 12 управления получает сигнал для продолжения проверки не с выхода схемы 5 сравнения, а с выхода генератора 1 тестов. после выработки всех сигналов теста.

После проверки заданного числа О неисправностей происходит переполнение счс.тчика 15 установки числа неисправностей, и си чал с его выхода устанавливает в едини.- ное состояние триггер 16 управления, запрещая прохождение сигналов через элемент И 17. Сигналы на пусковой вход генератора 1 тестов перестают поступать и формирование тестовых последовательностей прекращается, 920

К этому времени на счетчике 7 числа обнаруженных неисправностей записано число.rn обнаруженных неисправностей, а на счетчике 8 числа введенных неисправностей — общее число введенных неис- 5 правностей, на делителе 9 - относительное число ф = п )п Й g обнаруженных неисправностей, определяющее полноту теста.

Формула изобретения

Устройство для проверки полноты тестов, содержащее генератор тестов, выходы которого подключены к информацион- 1 ным входам модели объекта контроля и эталонного объекта контроля, выходы модели объекта контроля и эталонного объекта контроля соединены с соответствующими входами схемы сравнения, выход 20 которой соединен со входом счетчика числа обнаруженных неисправностей и первым входом блока управления, первый, второй выходы и второй вход которого соединены с соответствующими входами и выходом генератора тестов, второи

733 6 выход блока управления соединен со входом счетчика числа введенных неисправностей, управляющий вход модели объекта контроля соединен с выходом блока ввода неисправностей, третий и четвертый входы блока управления являются входом пуска и входом задания числа неисправностей устройства, о тл и ч а ю щ е е с я тем, что, с цель:" сокращения времени проверки, в него введены датчик случайных чисел и дели тель, причем выходы счетчика числа обнаруженных неисправностей и счетчика числа введенных неисправностей соединены с соответствующими входами делителя, выходы которого являются выходами устройства, вход и выход да чика случайных чисел соединены соответственно со вторым выходом блокауправлеиия и входом блока ввода неисправностей.

Источники информации. принятые во внимание при экспертизе

1. Авторское свидетельство СССР

N 519713, кл. С 06 Р 11/00, 1977.

2. Авторское свидетельство СССР

N 477413, кл. C 06 Р 11/00, 1976.

ВНИИПИ Заказ 2345/57 Тираж 732 Подписное

Филиал ППП "Патент", г. Ужгород, ул. Проектная, 4