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

      -H, чтобы получить справку по Avlink. В данном случае формат запуска:
Avlink –ST(M,8000h) – SY FileName=FileName.obj

      Результатом работы программы будет файл загрузочного модуля
FileName.hex (отключается опцией -NO), FileName.map (карта загрузки,
отключается опцией -NM), FileName.sym (таблица символов, если была указана
опция -SY). Загрузочный модуль будет расположен, начиная с адреса 8000h.
      Отладка программы выполняется путем проверки ее работы для
различных наборов исходных данных и сопоставления полученных результатов
с ожидаемыми. По результатам этого сопоставления делают заключение о
правильности работы программы или наличии ошибок, которые необходимо
локализовать и исправить в исходном тексте программы. При этом процесс
отладки носит итерационный характер. Как правило, сначала отладку проводят
на программно-логической модели МПУ в среде симулятора-отладчика.
      Объект отладки относится к цифровым устройствам
последовательностного типа, у которых устойчивые значения выходных
сигналов зависят от комбинации значений входных сигналов и от внутреннего
состояния. Если автомат имеет n входов и Ns внутренних состояний, то для
полного тестирования необходимо выполнить 2 n ⋅ Ns вариантов моделирования.
      Перед выполнением тестирования следует составить его план в виде
упорядоченной последовательности входных наборов, которая позволяет
выявить полное соответствие функционирования МПУ заданному алгоритму.
      Рассчитанные значения выходных наборов необходимо сравнить с
соответствующими значениями для заданного алгоритма функционирования и
сделать вывод об их совпадении или о существовании отличий.
      Рассмотрим формирование теста для программной реализации
рассмотренного ранее алгоритма. Для автомата Мили алгоритмом
предусмотрено выполнение переходов:
      - A0 → A0; A0 → A1;
      - A1 → A2;
      - A2 → A0; A2 → A2; A2 → A3;
      - A3 → A3; A3 → A2; A3 → A0.
      Сформируем цепочку из этих переходов, чтобы в ней были все переходы,
а общее число переходов было минимально, например:

A0 → A0 → A1 → A2 → A0 → A1 → A2 → A2 → A3 → A2 → A3 → A3 → A0.

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

X1: 01X01X111110
X2: XXXXXX01110Х


                                                                          11