Проверка на основе генератора

Проверка на основе генератора

Программу тестирования обычно составляют из блоков, каждый из которых должен обеспечить проверку исполнения какой-то группы команд и завершиться состоянием, доступным для считывания. Так, для микропроцессора 580В М80 удобным способом проверки правильности выполнения команд является определение состояния флагов (нуль, перенос, знак, четность, дополнительный перенос) и ветвление программы контроля по командам условного перехода. Изменения во разрядах происходят при исполнении большинства арифметических и логических команд. Поэтому блоки команд конструируют так, чтобы завершающими в них были команды с воздействием на разряды и с анализом состояния флагов. Если, результат операции соответствует ожидаемому, программа тестирования переходит к проверке следующего блока, а если отличается от ожидаемого - выходит на указатель ошибки.

Правильность исполнения команд пересылки можно проверить после серии пересылок каких-либо данных из одного внутреннего регистра в другой, обмена данными между ячейками памяти или внешним устройством и аккумулятором и т. п. с последующим сравнением результата проведенных операций и исходных данных. Исполнение арифметических команд может быть проведено по результатам последовательно проводимых вычислений, а логических команд - по результатам выполненных логических операций (и сопоставлением с исходными данными). А к этой группе команд относятся, например, в микропроцессоре 580ВМ80 227 из общего списка 243 команды. Можно отметить, что при рассмотренной проверке нет необходимости в сравнении с эталонной БИС микропроцессора; контроль основывается только на знании правильных результатов каждой элементарной операции.


24.04.2018