Отладка тестов

ОТЛАДКА ТЕСТОВ

Процесс отладки в общем случае можно разделить на четыре этапа: обнаружение ошибки, поиск ее местонахождение, определение причины ошибки и исправление ошибки. Нет ничего необычного в том, что поначалу поиск и устранение ошибок занимают больше времени, чем написание программы. Часто лучшее средство отладки находиться в голове у программиста. Тем не менее, систематический метод отладки может дать некоторые преимущества.
Для запуска и отладки программ тестов в системе существует меню Run. Основные операции этого меню приведены ниже.

Меню Run Run - запуск тестов на выполнение Debug - пошаговое выполнение тестов Parameters - установка задержки при визуализации выполнения тестов Reset - прервать выполнение тестов

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

Для исправления ошибок в программе, а также при написание программ тестов, необходимо знать команды языка Prover и их структуру.