Запуск тестов

ЗАПУСК ТЕСТОВ

Запуск составленных тестов в системе производиться из меню Run. Существует два режима запуска тестов: пошаговый и автоматический режимы.
Для запуска теста в пошаговом режиме необходимо выбрать из меню Run пункта Debug. В этом режиме пользователю кроме выполняемой в данный момент опереции выводиться дополнительная информация: адрес текущей ячейки, эталонное значение, регистры.

Для запуска теста в автоматическом режиме необходимо выбрать из меню Run пункта Run. Для упращения отладки тестов размер памети ограничен 256б. На экран выводиться матрица размером 16x16 каждый элемент которой имеет размерность один байт. В процессе выполнения теста пользователь наблюдает за процессом диагностирования. При помощи визуализации выполнения теста можно выявить ошибки в алгоритме программы теста.

В системе PROVER v3.1 основным операциям назначены соответствующие комбинации клавиш, что облегчает работу.