20 Лет Prover 1996-2016
Home | Sign Up | Log In

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


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

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

Меню Run

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

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

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

Log In

Search

Calendar

«  May 2018  »
SuMoTuWeThFrSa
  12345
6789101112
13141516171819
20212223242526
2728293031

Statistics


Total online: 1
Guests: 1
Users: 0
Copyright MyCorp © 2018 | Create a free website with uCoz