КОНТРОЛЬ ПРОГРАММНЫЙ

— контроль, устанавливающий с помощью специальных программ отсутствие постоянных ошибок в работе машины или отд. ее устройств, правильность программ для ЦВМ, отсутствие случайных ошибок (сбоев) в работе машины и правильность вычисленйй. К. п. отсутствия постоянных ошибок в работе машины производят испытательными программами при наладке машины или при ее проверке. К. п. правильности программ ЦВМ является одной из форм отладки программы на машине и осуществляется с помощью спец. отладочных программ. К. п. отсутствия сбоев в работе машины выполняется группами команд, включаемых в программу решения задачи.

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

промежутки вычислительного процесса производится (предусмотренная в программе) проверка — удовлетворяют ли полученные результаты с достаточной степенью точности такому контрольному соотношению.

В ряде случаев в качестве контрольных соотношений используются исходные уравнения. Напр., при решении алгебраич. уравнения F (х) = 0 найденное значение неизвестного х = а подставляется в исходное уравнение и вычисляется значение функции F (а). Если , где е — заданное малое положительное число, то найденное значение х = а считается правильным. См. также Диагностика неисправностей ЦВМ.

Лит.: Гнеденко Б. В., Королюк В. С., Ющенко Е. Л. Элементы программирования. М., 1963 [библиогр. с. 347—348]; Миронов Г. А. Испытательные программы для контроля электронных цифровых машин. М., 1964 [библиогр. с. 266- 267]; Голубе В., Новожилов Ю. С. Многомашинные комплексы вычислительных средств. М., 1967 [библиогр. с. 402—415]; Ледли Р. С. Программирование и использование цифровых вычисли тельных машин. Пер. с англ. М., 1966 [библиогр. с. 628—630]. Г. Д. Фролов.