Контроль методом счета записи.

Записью называют точно установленный набор данных, характеризующих некоторый объект или процесс.Можнозаранее произвести подсчет количества записей, содержащихся в отдельных массивах. Это число записывается на магнитной ленте. При обработке соответствующего массива данных контрольное число периодически проверяется с целью обнаружения потерянных или необработанных данных.

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

Контроль по меткам

Применяют при проверке сохранности записанных на магнитную ленту данных и обработке информации в ЭВМ. Под термином метка понимается закодированное сообщение, нанесенное на магнитную ленту каждой отдельной бобины. Метка содержит следующую информацию:обозначение метки, серийный номер бобины, дату записи данных на магнитную ленту, обозначение программы, к которой относится бобина; порядковый номер бобины (для массива данных, размещенных на нескольких бобинах);дату очистки ленты, т.е. дату, когда лента может быть очищена и станет пригодной для других задач.

Метод обратной связи

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

Метод проверки наличия формальных признаков (синтаксический метод, метод шаблонов).

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

Метод проверки запрещенных комбинаций.

Контроль заключается в сравнении части обрабатываемой информации с таблицей допустимых значений. Для этоготребуется предварительное составление таблицы.Используется для обнаружения ошибок в адресах источника и потребителя сообщений и в кодах типа сообщения при обработке информации в составе АСУ.

Метод an-кодов

Один из способов образования кодов, обеспечивающих обнаружение ошибок в арифметических преобразованиях. Число Nпредставляется в видеAN,гдеА -простое постоянное число. При этом AN1± AN2 = = A (n1 ±N2) ,т.е. код суммы (разности) чисел равен сумме (разности) кодов этих чисел. Операция кодирования состоит в умножении числа NнаА,а декодирования —в делении наА.Если остаток от деления не равен 0,то имеет место ошибка. ЕслиAвыбрано надлежащим образом, то обеспечивается обнаружение ошибки. Обнаруживающая способность зависит от величиныА.Находит применение для контроля арифметических операций в специализированных ЭВМ и вычислительных устройствах.

Методы на основе циклических кодов и кодов Хэмминга и др.

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

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

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

Реализация этих способов состоит в определении самого длинного маршрута следования команд с учетом прерываний другими программами. В составе ЭВМ используют программный счетчик времени, на котором устанавливают предельно допустимое время реализации программы. При достижении нулевого значения в счетчике вырабатывается сигнал превышения допустимого контрольного времени, который обеспечивает прерывание программы.

Контроль последовательности выполнения команд и программных модулей осуществляется двумя способами.Программа разбивается на участки, и для каждого участка вычисляется свертка (путем счета числа операторов, методом сигнатурного анализа, использованием кодов). Затем снимается трасса прохождения программы и для нее вычисляется свертка и сравнивается с заранее рассчитанной.

Другой способ состоит в том, что каждому участку присваивается определенное кодовое слово (ключ участка). Этот ключ записывается в выбранную ячейку ОЗУ перед началом выполнения участка, одна из последних команд участка проверяет наличие "своего" ключа. Если кодовое слово не соответствует участку, то имеется ошибка.

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