Устройство для контроля счетных программ Советский патент 1989 года по МПК G06F11/28 

Zi

(Л

w

фиг.1

Изобретение относится к вычисли- тельноГ технике и может быть исгюль- зовано в устройствах отладки программ, устройствах контроля нравиль- ности выполнения программ ЦВМ,

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

На фиг,1 представлена схема предлагаемого устройства; на фиг, 2 - схема блока выделения интервала,

Устройство содержит адреснь.т , первый 2 и второй 7. „ информационные входы, регистры 3 и 4, первую 3 и вторую 6 cxeMi i сравнения, первый 7 и второй 8 формирователи импуль- сов, регистр 9, триггер 10,элемент И 11, элемент 12 задержки, элемент ИЛИ 13, элемент И 14, блок 15 выделения интервала, 16 ошибки функции, выход 17 ошибки аргумента,

Блок 15 вьщеления интервала содержит регистр 18 аргумента, группу регистров 19 эталонных значеник аргумента, первую 20 и вторую 21 группы блоков элементов И, триггер 22,груп- пу схем 23 сравнения, группу элементов И 24, элемент ИЛИ 25, группу регистров 26 зиачен1гй функции, третью 27, четвертую 28 и 29 группы блоков элементов И, перв-vno 30 и вто- рую 31 группы элементов ИЛИ, регистр

32нижнер Гранины интервала,регистр

33верхней Гранины интервала, первую

34и вторую 35 схемы сравнения. Устройство работает следующим об-

разом,

В исходном состоянии в регистр 3 записано значение кода счетчика команд ЦВМ, при котором производится контролируемая операция, в регистр 4 - значение кода счетчика команд ЦВМ, при котором производится вычисление аргумента для контролируемой функции, в регистрах 19 , - 19 , эталонных значений аргументов - эталонные значения арг мента функции, в регистрах 20, - 20 „ значенш функций - соответствующие расчетные значения функции. Остальные регистры и триггеры устройства обнулены.

Значение адреса счетчика команд ЦВМ поступает по входу 1 на схемы 5 и 6 сравнения. При совпадении этого значения с кодом, таписанным в реги

стре 4, на выходе схемы сравнения появляется импульс, KOTOpbtfi поступает на вход элемента 8 задержки и на си.чхровход блока 15 выделения интерпала. По информационному входу блока 15 выделения интервала значение аргумента функн.ии (Х), поступающее но вхо ДУ 2,2, записывается в регистр 18 аргумента. Содержимое регистра 18 аргумента и регистров 1Р - 1Ч( эталонных значений аргумента через соответствующие группы (первую и вторую) блоков элементов И 20 и 21, открьшаю- т,иесп при поступлении синхроимпульса на вход триггера 22,переводящего его в единичное состояние, поступает на соответствующие схемы 23, - 23 сравнения, В случае, если значение аргумента выходит за границы допустимого интервала изменения, на соответствующих выходах схем 23 и 23 появляется единичный сигнал, который,проходя через элемент ИЛИ 25, поступает на выход 17 ошибки аргумента, В противном случае единичный сигнал появляется на выходе Равно i-й схемы 23; сравнения (i 1, п), если содержимое регистра 18 аргумента совпадает с содержимым i-ro регистра 19) эталонных значений аргумента, т,е,

.Ti.

или на выходах Больше тех схем 23 сравнения, содержимое соответствующих регистров 19 эталонных значений аргумента которых больше содержимого регистра 18 аргумента, т,е,

,,

и на выходах меньше остальных схем 23 сравнения. Единичный сигнал появляется на выходе того элемента И 24 группы, (l- ktN-l), входы которого подключены к схемам 23);

и 23

сравнения, соответствующим

регистрам °. и 19 + 1 этапон1тьгх значений аргументов, содержимое которых соответственно меньше и больше содержимого регистра 18 аргумента,

т.е.

, Х,,,Х илиХ..

К+1

В первом случае единичный сигнал с выхода Равно i-й схемы 23; сравнения открывает соответствующий блок элементов И 2Pj пятой группы и разрешает передачу содержимого регистра тначений функции 26; через нервую и вторую группы элементов ИЛИ 30 и Jl

н регистры 32 и 33 нерхией и нижг{ей границ интервлла и далее на нходы соответствующих схем ЗА и 35 сравнения.

Во втором случае единичный сигнал с выхода блока k-ro элемента И Л группы открывает соответствующие блоки элементов И 27 ц и 28, третьей и четвертой группы и разрешает передачу содержимого регистра 2fS значени функции через первую группу элементов ИЛИ 30 в регистр 32 нижней Гранины интервала, а содержимого регистра 26, значения функции через вторую группу элементов ИЛИ 31 в регистр 33 верхней границы интервала, и далее на входы соответствующих схем 34 и 35 сравнения.

Импульс, задержанный в элементе 8 поступает на единичный вход триггера 10 и устанавливает его в единичное состояние. С триггера 10 высокий потенциал поступает на первый вход элемента И I 1,

При совпадении значения кода адреса счетчика команд со значением,записанным в регистре 3, что означает момент начала выполнения в программе контролируемой операции, сигнал появляется на выходе схемы 5 сравнения. Этот сигнал задерживается и формируется формирователем 7 на время выполнения контролируемой операции,поступает на второй вход элемента И II, а также на управляющий вход регистра 9, открывая его и разрешая запись значения полученной функции f(x) с первого информационного входа 2 устройства на регистр 9, Если на входах элемента И 11 единичные сигналы, что соответствует событию наличия в регистре 9 значения функции f(x) и наличию значений интервала в регистрах 32 и 33, то на выходе элемента И II появляется импульс, поступающий на вход элемента 12 задержки, на вход обнуления триггеров 10 и 22, а также на управляющие входы схем 34 и 35 сравнения,

В схеме 34 сравнения производится операция сравнения полученного значения функции f(y) со значением нижней границы интервала. Если значение функции f(x) 1-{еньше значения нижней границы интернала, то на выходе схемы 34 сравнения появляется сигнал, поступающий на вход элемента ИЛИ 13, В схеме 35 сравнения производится операция

0

5

0

сравнения получриного значения функции f(x) со значением верхней грлиицн интервала. Если f(X) больше значения верхней г раницы интервала, то на выходе схемы 35 сравнения появляется сигнал, поступаюп(ий на вход элемента ИПИ 13, Импульс, задержанный в элементе 12 на время операции сравнения,поступает на вход элемента И 14, Если на выходе одной из схем 34 и 35 сравнения присутствует сигнал, то он,проходя через элементы 111ТИ 13 и И 14, поступает ня выход ошибки Лункции Ifi,

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

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

0

5

0

5

0

5

соединен с вторым информя1щпииым входом блока выделения ннтерпала, рпьш и второй выходы ошибки контролируемой функции и выход ошибки аргумеитп блока выделения интервала соединены соответственно с первым и BTOpi.iM входами элемента ИЛИ и с выходом ошибки аргумента устройства, выход элемента ИЛИ соединен с вторым входом второго элемента И, выход которого является выходом опгибки контролируемой функции устройства.

I

2, Устройство по п.1, отличающееся тем, что блок выделения интервала содержит п регистров эталонных значений аргумента (где п - количество контролируе1,гу: интервалов), регистр аргумента,первую, вторую, третью, четвертую,пятую и шестую группы элементов И,триггер, п схем сравнения, элемент ИЛИ, п регистров значений функции, первую и вторую группы элементов ИЛИ,регистры верхней и нижней границ интервала, первую (п + 1)-ю и (п + 2)-ю схемы сравнения, вход значения аргумента блока соедиь ен с информационным входом регистра аргумента, вход синхронизации блока соединен с единичным входом триггера и входом записи регистра аргумента, информационный выход которого соединен с цервы- ми входами элементов И первой группы выходы регистров эталонных значений соединены с первыми входами элементо И второй группы, прямой выход триггера соединен с вторыми входами элементов И первой и второй групп, в1-1хояы элементов И 1-й группы (где i 1,п соединены соответственно с первыми и вторыми входами i-й схем(,1 сравнения, выход MeHT.i ie первой

0

5

0

5

0

гр.чннеиия и Вольте п-й схемы сравнения соединены гоответственно с первым и вторым входами элемента ИЛИ, пыход котор 5го является ошибкой ар- гумситя блока, выход Меньше i-й схемы сравнения соединен с первым Г1ХОДОМ (: - 1 )-го элемента И третьей группы, выход Больше i-й схемы сравнения соединен с вторыми входами i-r-o элемента И третьей группы, выходы регистра эталонных значений (Функции соединены с первыми группами элементов И четвертой, пятой и шес- -cfi групп, выход i-ro элемента И третьей группы соединен соответственно с вторыми входами i-ro элемента И четвертой и пятой групп, выход равенства i-й схемт, сравнения соединен с вторым яходом 1г-го элемента И шестой группы, выход i-ro элемента И четвертой груптгы соединен с i-м входом элементов ИЛИ первой группы, выход i-ro элемента И пятой группы соединен с i-м входом элементов ИЛИ второй группы, выход i-ro элемента И шестой группы соединен с (n+i)-M входом элементов ИЛИ второй и третьей групп, выходы элементов ИЛИ соединены с информационными входами регистров верхней и нижней границ интервала, выходы которых соединены с первыми входами соответственно (п+1)-й и in + 2)-и схем сравнения, вход опроса блока соединен с нулевым входом триггера и тактовым входом (n+l )-й и (п+2)-й схем сравнения, ин ормаци- онный вход блока соединен с вторыми входами (п -- 1)-й и (п + 2)-й схем сравнения, выходы Больше (п+1)-й схем1-1 сравнения и Меньше (п+2)-й схемы сравнения являются соответственно первым и вторым выходами ошибки блока.

it.

t

If

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