Сравнительный анализ СВК, реализующих методы

блоко­вого и пошагового контроля

 

Из совокупности критериев, предложенных в подразд. 4.3.7, выберем следующие критерии для сравнения рассмотренных ранее методов и СВК:

– обнаруживающие свойства;

– задержку обнаружения ошибок;

– модификацию рабочей программы и сложность процедур модифи­кации;

– сложность реализации СВК и объем дополнительной постоянной памяти.

Для конкретизации некоторых оценок используем наиболее типич­ных представителей пошагового и блокового методов контроля, реализа­ции которых достаточно детализированы и рассмотрены ранее.

Предположим, что все ошибки равновероятны. Рассмотрим следую­щие дефекты механизмов работы МП:

1. Механизм выборки команд:

– ошибки в формировании адреса памяти команд;

– дефект дешифратора адреса ПЗУ;

– дефект адресной шины.

Вероятность необнаружения ошибки будет выглядеть следующим образом. Для пошагового метода

 

 

где k – число избыточных разрядов кода.

Для блочного метода

где m – разрядность слова.

2. Механизм хранения команд:

– однократный дефект (искажение одного бита в одной ячейке):

Р _н.о = 0 для обоих методов;

– двукратный дефект (искажение двух битов в одной ячейке):

Р _н.о = 0 для обоих методов;

– двукратный дефект (искажение по одному биту с одинаковым поряд­ковым номером в двух ячейках):

для пошагового метода Р _н.о = 0;

для блочного метода Р _н.о = 1.

3. Механизм передачи данных:

– константный дефект линии шины данных:

для пошагового метода Р _н.о = 0;

для блочного метода Р _н.о = 1, если для всех блоков выполняется чет­ное обращение к ПЗУ; Р _н.о = 0, если существует блок с нечетным числом обращений к ПЗУ (нечетное число анализируемых байтов команд).

В предположении равновероятности всех ошибок и равновесности всех механизмов (что является очень сильной идеализацией):

для пошагового метода Р _н.о = 0(10)^-2;

для блочного метода Р _н.о = 0(10)^-1.

При пошаговом методе сравнение с эталоном выполняется при каж­дом обращении к ПЗУ, поэтому ошибка обнаруживается в момент первого проявления.

При блочном методе минимальная задержка формирования сигнала ошибки равна времени выполнения блока.

По этому критерию пошаговый метод предпочтительнее.

Блочный метод принципиально основан на модификации про­граммы. Один из отрицательных моментов, связанных с модификацией программы, состоит в трудности создания надежной процедуры модифи­кации (проблема надежности программного обеспечения).

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

По этому критерию пошаговый метод предпочтительнее.