Cтраница 1
Правильность выполнения программы может быть проверена с помощью метода, получившего название контрольный поиск. Для этого в конце каждого блока программы из определенных адресов ОЗУ извлекается несколько байтов, которые кодируются с помощью полиномиального корректирующего кода, а затем помещаются обратно. В конце главного цикла кода происходит считывание байтов и сравнение их с эталонным значением. Если оба значения соответствуют друг другу, то контрольный таймер возвращается в исходное состояние. При наличии ошибки счетчик времени переполняется, вся программа возвращается в первоначальное состояние и запускается снова. [1]
При отладке готовых программ в первую очередь проверяют правильность выполнения программы по контрольному примеру и в случае несоответствия получаемых и контрольных результатов отыскивают и устраняют причины расхождения. Простейшими являются синтаксические и семантические ошибки в тексте программы, составленной на входном языке и введенной в оперативную память. При использовании ПМК с алгоритмическими входными языками многие из синтаксических ошибок диагностируются операционной системой, автоматически останавливающей в случае обнаружения такой ошибки выполнение программы и вырабатывающей сообщение ERROR, обычно сопровождаемое номером класса или типа ошибок. [2]
Выполнение данного неравенства с высокой степенью вероятности гарантирует правильность выполнения программы. [3]
Обратный просчет позволяет с очень высокой вероятностью обнаружения ошибок проконтролировать правильность выполнения программы. Преимущество его состоит еще и в том, что он одинаково эффективно обнаруживает ошибки, возникшие как в результате сбоев, так и в результате отказов. [4]
В ЭВМ предусматриваются контроль за правильностью выполнения операций и контроль за правильностью выполнения программы. [5]
В ЦВМ предусматривается контроль за правильностью выполнения операций и контроль за правильностью выполнения программы. [6]
В ЭВМ предусматриваются контроль за правильностью выполнения операций и контроль за правильностью выполнения программы. [7]
В ЦВМ предусматривается контроль за правильностью выполнения операций и контроль за правильностью выполнения программы. [8]
Аппаратные средства представляют собой контрольное оборудование, введенное в состав ЦВМ и ВС и обеспечивающее контроль правильности выполнения программы. Аппаратные методы контроля приводят к аппаратурной избыточности, а так же могут быть еще и информационно избыточными. Примером аппаратурной избыточности служит использование двух операционных блоков в ЦВМ или ВС с узлом контроля результатов или использование трех операционных блоков со схемой выбора двух одинаковых результатов при появлении ошибки в одном из блоков. [9]
Пульт позволяет ( это требуется при наладке и регулировке ЦВМ) в режиме ручного управления производить контроль правильности выполнения программы по отдельным операциям. [10]
При написании программы необходимо включать в нее отладочную печать - блоки инструкций ввода-вывода информации для контроля за правильностью выполнения программы. Так, например, в текстах наших модулей для этих целей введена логическая переменная DEBUG. Включение отладочной печати осуществляется, если DEBUG. [11]
В систему управления УКПГ ( ГС) передаются расшифрованные сигналы об отклонениях параметров технологического процесса ( давления, температуры, расхода газа, уровня жидкости) в характерных точках, сигналы о режиме работы каждого адсорбера и правильности выполнения программы переключения адсорберов по времени, сигналы о положении дистанционно управляемых запорных органов и давлении, температуре, расходе. Система должна осуществлять постоянный контроль и регистрацию температуры точки росы на выходе установки. [12]
При современных скоростях работы ЭВМ, для наиболее важных участков программы целесообразно вводить повторный ( двойной) просчет отдельных участков программы на одной или лучше, разных ЭВМ. По совпадению результатов пересчета определяется правильность выполнения программы. [13]
Управляющие программы должны быть подготовлены в соответствии с требованиями ГОСТ 20999 - 83 в адресном виде с переменной длиной кадра. ППП УП АСК позволяет: выявлять ошибки ввода-вывода; контролировать правильность выполнения программ; контролировать правильность функционирования оборудования; выдавать диагностические сообщения на пульт оператора; вести протокол вычислительного процесса; осуществлять контроль исходных данных; допускать изменения в составе и разрядности реквизитов. [14]
При выполнении теста машина производит действие с определенными числами, получает результаты и сравнивает их с подготовленными ответами. Если нет совпадения, то фиксируется ошибка. При тестовом контроле не проверяется правильность выполнения программы, а проверяется лишь выполнение отдельных операций устройствами машины и отсутствие ошибок вследствие неисправности. [15]