ЗАПУСК ТЕСТОВ
Запуск
составленных тестов в системе производиться из меню Run. Существует
два режима запуска тестов: пошаговый и автоматический режимы.
Для запуска теста в пошаговом режиме необходимо выбрать из меню Run пункта
Debug. В этом режиме пользователю кроме выполняемой в данный момент
опереции выводиться дополнительная информация: адрес текущей ячейки, эталонное
значение, регистры.
Для запуска теста в автоматическом режиме необходимо выбрать из меню Run пункта Run. Для упращения отладки тестов размер памети ограничен 256б. На экран выводиться матрица размером 16x16 каждый элемент которой имеет размерность один байт. В процессе выполнения теста пользователь наблюдает за процессом диагностирования. При помощи визуализации выполнения теста можно выявить ошибки в алгоритме программы теста.
В системе PROVER v3.1 основным операциям назначены соответствующие комбинации клавиш, что облегчает работу.
