Вопрос 21. Программные методы контроля

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

 в. проверка предельных значений (метод «вилок» )
г. метод статистического прогноза (статистическими методами прогнозируют развитие того или иного процесса; реальные промежуточные результаты вычислительного процесса сравнивают с полученными путем прогноза, и при больших расхождениях полученные данные ставят под сомнение).
3. Методы контроля, использующие избыточность информации:
а. метод контрольных чисел (для цифровых данных с помощью специальных алгоритмов подсчитывают контрольное число, которое одновременно с самими данными вводят в ЭВМ, где производится аналогичный расчет и его результат сравнивают с введенным числом);
б. сравнение данных, полученных из различных источников;
в. сравнение с “внешними” данными массива постоянных данных;
а. контроль с использованием принципа обратной связи.
4. Логические методы контроля:
а. смысловые проверки (например, массив содержит только фамилии, имена и отчества мужчин);
б. контроль по отклонениям (например, могут быть отклонения только с положительным знаком);
в. контроль по заданной последовательности записей, т.е. последовательность ключей записей должна удовлетворять некоторому условию;
г. контроль особенности применения записей определенных массивов данных (метод шаблонов);
д. контроль за временем решения задач на ЭВМ и периодичностью выдаваемых результатов;
е. экспертная оценка получаемых данных.
5. Прочие методы контроля:
а. метод контрольных испытаний;
б. методы промежуточных точек новых начал;
в. комбинированные методы контроля.
Аппаратные методы контроля и обнаружения ошибок могут выполнять почти те же функции, что и программные методы. Аппаратными методами обнаруживают ошибки ближе к месту их возникновения и недоступные для программных методов (например, перемежающиеся ошибки), поэтому ими можно пользоваться для представления оператору более точной информации об искажениях, вызванных неисправностью.

Мы поможем в написании ваших работ!