ОТЛАДКА ТЕСТОВ
Процесс
отладки в общем случае можно разделить на четыре этапа: обнаружение ошибки,
поиск ее местонахождение, определение причины ошибки и исправление ошибки.
Нет ничего необычного в том, что поначалу поиск и устранение ошибок занимают
больше времени, чем написание программы. Часто лучшее средство отладки находиться
в голове у программиста. Тем не менее, систематический метод отладки может
дать некоторые преимущества.
Для запуска и отладки программ тестов в системе существует меню Run.
Основные операции этого меню приведены ниже.
 |
Меню
Run
Run
- запуск тестов на выполнение
Debug - пошаговое выполнение тестов
Parameters - установка задержки при визуализации выполнения
тестов
Reset - прервать выполнение тестов
|
Поиск
местонахождения и определение причин ошибок в программе теста упрощается засчет
выделения строки, в которой присутствуют ошибки, а также вывод на экран информации
об ошибке. Данная информация позволяет без труда исправиться допущенную
ошибку в программе. Но не все ошибки, существуюшие в программе, могут быть
найдены выше изложенным способом. Для нахождения таких ошибок можно запустить
тест в пошагомом режиме. В этом режиме на экране
показываются микрокоманды или микрооперации, которые выполняются в текущий
момент времени, а также предусмотрена выдача служебной информации, необходимой
для просмотра изменений, произошедших при выполнении операций.
Для
исправления ошибок в программе, а также при написание программ тестов, необходимо
знать команды языка Prover и их структуру.
