Разработка и отладка устройств дискретного управления. Хлуденев А.В. - 12 стр.

     Символ ‘X’ использован для обозначения произвольного значения
сигналов. Для выполнения полного тестирования необходимо исследовать
поведение МПУ для различных комбинаций значений этих сигналов (0 или 1).
Частичное тестирования достаточно выполнить для одной комбинации,
например,

X1: 011011111110
X2: 000000011100

       После запуска симулятора-отладчика AvSim85.exe в режиме A
необходимо загрузить отлаживаемую программу командой "Load\Avocet >
FileName". Переход к первой команде выполняется путем загрузки в счетчик
команд PC значения начального адреса программы 8000h. Так как
отлаживаемая программа является циклической, и в каждом цикле выполняется
ввод входного набора и вывод выходного, то тестирование целесообразно
выполнить следующим образом.
       Командой Set\Sticky\A-R/W point установить постоянную точку останова
на команде JMP LOOP. Затем для каждого тестового входного набора:
       - устанавить соответствующие значения разрядов порта 01h;
       - выполнить прогон программы до точки останова (клавиша F1);
       - по состоянию разрядов порта 00h определить значения выходного
набора и по содержимому регистра B – следующее состояние автомата;
       - сравнить полученные значения с заданными алгоритмом;
       - если значения совпали, перейти к метке LOOP (клавиша F10) и
продолжить тестирование для следующего входного набора, если нет, то
определить и устранить причину ошибки.
       При большом числе входных наборов тестирование программы может
занять достаточно много времени. Этот процесс можно значительно ускорить,
если использовать возможность работы симулятора-отладчика с потоками
входных и выходных данных МПУ, представленных в виде файлов. Чтобы
использовать эту возможность, необходимо подготовить двоичный файл,
содержащий последовательность наборов, поступающих на входной порт МПУ.
Значения этих наборов необходимо определить с учетом положения входных
сигналов в разрядной сетке порта.
       В рассматриваемом примере сигналы x2 x1 должны приходить
соответственно на 3-й и 2-й разряды порта, поэтому значения входных наборов
можно получить, умножая на 4 десятичные эквиваленты комбинаций сигналов
x2 x1.
Получим последовательность значений: 0 4 4 0 4 4 4 12 12 12 4 0.
       Эту последовательность чисел можно набрать в текстовом редакторе и
сохранить в текстовом файле c расширением .ad (например, In.ad), двоичное
представление данных получается в результате обработки программой
IOTran.exe. Формат запуска:


                                                                           12