КОНТРОЛЬ И ДИАГНОСТИКА ИНФОРМАЦИОННЫХ СИСТЕМ
Основные положения
Классификация потоков ошибок Ø Ошибки проектирования § Программные ошибки § Алгоритмические ошибки § Системные ошибки Ø Ошибки операторов Ø Ошибки исходных данных Ø Ошибки в линиях связи Ø Ошибки, порождаемые неисправностями логических и специальных объектов (пуассоновский поток с параметром λ = λо + λсб)
Параметры средств контроля Ø Полнота контроля - доля отказов, обнаруживаемых в результате контроля, от общего их количества: где Mk – множество элементов, подлежащих контролю; M - множество всех элементов системы; ni - число элементов i-го типа; λi интенсивность отказов элементов i-го типа
Параметры средств контроля Ø Время обнаружения ошибки (время контроля) - интервал времени от момента возникновения ошибки до момента ее обнаружения. Ø Сложность средств контроля характеризуется массой, размерами, стоимостью, потребляемой энергией, памятью и другими параметрами аппаратных средств.
Классификация контроля ИС Ø По характеру: § Оперативный контроль § Тестовый контроль Ø По объекту контроля : § Контроль аппаратуры § Контроль программного обеспечения § Контроль работы операторов
Классификация контроля ИС Ø По способу организации: § Прямой контроль § Обратный контроль
Методы аппаратурного контроля
Контроль дублированием
Контроль по модулю В случае, когда числа А 1 и А 2 имеют одинаковые остатки ra 1=ra 2, то говорят, что А 1 и А 2 сравнимы по модулю q и записывают это условие следующим образом: A 2 ≡ A 1 mod q или A 1 ≡ A 2 mod q Остаток ra для различных чисел может принимать значения 0, 1, 2, . . . , q-1. Таким образом, каждому целому числу А можно поставить в соответствие остаток ra, полученный в результате деления A на модуль q. Это соответствие записывается в виде: A ≡ ra mod q
Контроль хранения или передачи числа
Числовой контроль арифметических операций 1. Сумма чисел Ai (i = 1…n) сравнима по модулю q с суммой остатков rai данных чисел: 2. Произведение чисел Ai (i = 1…n) сравнимо по модулю q с произведением остатков rai данных чисел:
Контроль сложения чисел
Контроль умножения чисел
Контроль деления чисел
Спасибо за внимание