Устройство для контроля программ

 

Изобретение относится к вычислительной технике и может быть использована в устройствах для отладки программ, устройствах контроля правильности выполнения программ ЦВМ. Цель изобретения - расширение функциональных возможностей устройства за счет контроля правильности выполнения комплекса информационносвязанных программ. При этом контроль правильности выполнения программы производится путем определения наличия всех исходных данных для рассматриваемой программы. Устройство для контроля программ содержит п каналов 3, каждый из которых содержит схемы сравнения 4, 13, коммутатор 5, регистры 6, 7, 11, 12, Т - триггер 8, формирователи импульсов 9 и 10, элемент И 14. 1 ил.

СОЮЗ СОВЕТСКИХ

СОЦИАЛИСТИЧЕСКИХ

РЕСПУБЛИК (я)з G 06 F 11/28

ГОСУДАРСТВЕННОЕ ПАТЕНТНОЕ

ВЕДОМСТВО СССР (ГОСПАТЕНТ СССР) ОПИСАНИЕ ИЗОБРЕТЕНИЯ

К АВТОРСКОМУ СВИДЕТЕЛЬСТВУ (21) 4810841/24 (22) 25.01.90 (46) 23.12.92. Бк)л. М 47 (72) В.Л.Лясковский, И.А.Тинников и

А;Н.Сударик (56) Авторское свидетельство СССР

М 1543409, кл. G 06 F 11/28, 1988.

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

М 1552189, кл. G 06 F 11/28, 1988 (прототип). (54) УСТРОЙСТВО ДЛЯ КОНТРОЛЯ ПРО-.

ГРАММ (57) Изобретение относится к вычислительной технике и может быть использована в устройствах для отладки программ, устрой„„ Ж,, 1783529 А1 ствах контроля правильности выполнения программ ЦВМ. Цель изобретения — расширение функциональных возможностей устройства за счет контроля правильности выполнения комплекса информационносвязанных программ. При этом контроль правильности выполнения программы про- изводится путем определения наличия всех исходных данных для рассматриваемой программы. Устройство для контроля программ содержит и каналов 3, каждый из которых содержит схемы сравнения 4, 13, коммутатор 5, регистры 6, 7, 11, 12, Т— триггер 8, формирователи импульсов 9 и 10, элемент И 14. 1 ил.

1783529

Изобретение относится к вычислитель- нения .13 будет высокий потенциал. Имной технике и может ыть и жет быть использовано в пульс, вырабатываемый формирователем устройствах для отладки программ. "- 10, проходит на вход ошибки 2 через открыЦель Изобретения — расширение функ- тый элемент И 14. Иначе, если программа циональных возможностей о остей устройства за 5, выполнится верно в смысле заданного покасчет контроля прав правильности выполнения зателя контроля, то при йоявлении последкомплекса информационно-связанных про- него адреса команды программы произойдет сравнение кодов в схеме 4, на грамм.

На чертеже приведена структурная схе- выходе которои появится импульс. о .Эт тим.ма устройства. 10 пульс, поступая на вход Т-триггера 5, переУстройствосодержитвход1,выходы2.1 ведет его в исходное (нулевое) состояние.

- 2.п, каналы 3.1-3,п, каждый из которых Коммутатор 5 перейдет в исходное состоявключает схему сравнения 4, коммутатор 5, ние. Формирователь 10 вырабатывает им6 7 Т- иггер 8 формирователи пульс по"перейаду потенциала с высокого г 1 импульсов 9, 10, регистры 11, 12, схему 15 на низкий, Этот импульс обнулит регистр 2

13, - . е т И 14, . канала, а также поступит на соответствуюУстройство работает следующим обра- щие устанавливающие входы регистров 12 других каналов, Контроль программы при зом...

В исходном состоянии в регистры 6 и 7 очередном ее выполнении, а также дру гих канала 3.1 занесены адреса начала и конца 20 программ комплекса, будет происходить

1-той программы соответственно. Коммута- аналогичным образом, торы 10 всех каналов подключают к выходу Техйико-зкономическое преимущество значения кода на первом входе, Регистры заявленного устройства по сравнению с

11, 12 содержат (и-1) триггер, s )-том тригге: прототипом является расширение функциоре регистра -то . 11 Мого канала занесено зна- 25 нальных возмо>кностей устройства .за счет чение, если р у

"1", езультаты выйолйения контроля правильности выполнения комп- .

)-той программы являются исходными дан- лексаинформациисвязанныхпрограмм при ными для выполнения 1--той йрограымы, в незначительных аппаратурныхзатратах. противном случае в данном триггере записано значение "0", Регистр 12 устройства 30 Ф о р м у л а и з о б р е т е н и я

Устрбйство для KGHTpOllsl,ïðoãðàìì, сообнулен.

Рассмотрим работу устройства на при- держащее первый канал, содержац ий пермере одного канала, t.ê. другие каналы ра- вую схему сравнения, коммутатор, регистр ботают аналогично, На вход устройства 1 адреса начала программы, регистр адреса поступает код адреса счетчика команд 35 конца программы, Т-триггер, первый фор3ВМ. Значение текущего кода адреса счат- мирователь импульсов, элемент И, два регичика команд в схеме сравнения 4сравнива- стра, причем адресный вход устройства ется со значением адреса начала подключай к первому входу первой схемы контролируемой программы;Ъаписанном в сравнения, выход которой подключен к вхорегистре 6. Если значения кодов на входах 40 ду Т-триггера, выход которого подключен к схемы сравнения 4 совпадут, то на ее входе входу первого формирователя импульсов и появится единичный сигнал, переводящий . к управляющему входу коммутатора, инфорТ-триггер в единичное состояние. Высокий . мационные входы которого подключены сопотенциал с входа Т-триггера 5 поступает на ответственно к выходам "регистров адреса управляющий вход коммутатора 5, подклю- 45 начала и конца программы, выход коммутачая к его выходу регистр 7, а также на вход тора подключен к второмувходу первой схеф рмирователя импульсов 10, Формирова- мы сравнения, о т л и ч а ю щ е е с я тем, что, форми

10 вы абатывает импульс по перепаду с целью расширения функциональных озв потенциала с низкого на высокий, Если про- можностей устроиства за счет кон ро рт ляп аграмма, соответствующая рассматриваемо- 50 вильности выполнения комплекса му каналу, использует результаты других информационно связанных программ оно программ, то в соответствующем разряде содержит второй формирователь импульегистра 12 должно быть записано значе- сов, вторую схему сравнения, причем выход ние логической "1". Такая запись происхо- Т-триггера подключен через второй формидит от формирователей при окончании 55 рователь импульсов к первому входу элевыполнения соответствующих программ. мента И, выходы первого и второго

Таким образом, при неправильном выпол- регистров подключены к соответствующиМ нении контролируемой программы, коды в входам второй схемы сравнения, выход" е регистрах 11 и 12 канала неравны, а, следо- равно" второй схемы сравнения подключен вательно, на входе "не равйо" схемы ñðàí- к второму входу элемента И, а также в уст

1783529

Составитель Д.Валахин

Техред M.Моргейтал Корректор Л.Лукач.

Редактор

Заказ 4517 .. Тираж : :: : Подписное

ВНИИПИ Государственного комитета по изобретениям и открытиям при ГКНТ СССР

113035, Москва, Ж-35, Раушская наб., 4/5. Производственно-издательский комбинат "Патент", г, Ужгород, ул.Гагарина, 101

5 ройство введены (п-1) идентичных каналов, причем выход первого формирователя импульсов каждого канала подключен к входу обнуления второго регистра своего канала и к соответСтвующим разрядным входам вторых регистров других каналов выходы элементов И и каналов образуют группу выходов ошибок устройства, адресный вход устройства подключен к первым входам .

5 первйх схем сравнения и-1 каналов,