Составители:
86
Контроль методом счета записи. Записью называют точно установ-
ленный набор данных, характеризующий некоторый объект или про-
цесс. Можно заранее произвести подсчет количества записей, содер-
жащихся в отдельных массивах. Это число записывается в память. При
обработке соответствующего массива данных контрольное число пе-
риодически проверяется с целью обнаружения потерянных или необра-
ботанных данных.
Контроль за временем решения задач и периодичностью выда-
ваемых результатов. Этот метод является одним из принципиальных
методов определения правильности хода вычислительного процесса.
Чрезмерное увеличение длительности решения свидетельствует о «за-
цикливании» программы. Этой же цели служат так называемые мар-
керные импульсы (или метки времени), применяемые в системах ре-
ального времени. Маркерные импульсы используют для предотвраще-
ния того, что вследствие ошибки в последовательности команд процес-
сор остановится или будет совершать неправильные циклы вычисле-
ния. Они используются как для всего алгоритма, так и для отдельных
участков.
Реализация этих способов состоит в определении самого длинного
маршрута следования команд с учетом прерываний другими програм-
мами. В составе процессора используют программный счетчик време-
ни, на котором устанавливают предельно допустимое время реализации
программы. При достижении нулевого значения в счетчике вырабаты-
вается сигнал превышения допустимого контрольного времени, кото-
рый обеспечивает прерывание программы. Контроль последовательно-
сти выполнения команд и программных модулей осуществляется дву-
мя способами. Программа разбивается на участки и для каждого уча-
стка вычисляется свертка (путем подсчета числа операторов, мето-
дом сигнатурного анализа, использованием кодов). Затем снимается
трасса прохождения программы и для нее вычисляется свертка и срав-
нивается с заранее рассчитанной. Другой способ состоит в том, что
каждому участку присваивается определенное кодовое слово (ключ
участка). Этот ключ записывается в выбранную ячейку ОЗУ перед
началом выполнения участка, одна из последних команд участка прове-
ряет наличие «своего» ключа. Если кодовое слово не соответствует уча-
стку, то имеется ошибка. Узлы разветвляющихся программ проверя-
ются повторным счетом, а выбор только одной ветки – с помощью клю-
чей. Контроль циклических участков программы состоит в проверке
Страницы
- « первая
- ‹ предыдущая
- …
- 84
- 85
- 86
- 87
- 88
- …
- следующая ›
- последняя »
