4826

Отладка программ на языке Pascal

Лекция

Информатика, кибернетика и программирование

Отладка программ Цель: Дать студентам понятие ошибки, причины их возникновения. Задачи: Воспитательная: любая программа несовершенна, всегда находятся ошибки, исправить которые требует время. Учебная: обнаруживать ошибки и вовремя исправлять их. Раз...

Русский

2012-11-27

185 KB

4 чел.

Отладка программ

Цель:

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

Задачи:

Воспитательная: любая программа несовершенна, всегда находятся ошибки, исправить которые требует время.

Учебная: обнаруживать ошибки и вовремя исправлять их.

Развивающая: развитие внимательности.

План занятия.

  1.  Организационный момент.
  2.  Изучение нового материала.
  3.  Контрольные вопросы.
  4.  Резюме.
  5.  Домашнее задание.

Изучение нового материала.

   Успешное завершение процесса компиляции не означает, что в программе нет ошибок. Убедиться, что программа работает правильно можно только в процессе проверки ее работоспособности, который называется тестирование. Обычно программа редко сразу начинает работать так, как надо, или работает правильно только на некотором ограниченном наборе исходных данных. Это свидетельствует о том, что в программе есть алгоритмические ошибки. Процесс поиска и устранения ошибок называется отладкой. Компилятор генерирует программу в том случае, если исходный текст не содержит синтаксических ошибок. В большинстве случаев в только что набранной программе есть ошибки.

Классификация ошибок

   Ошибки, которые могут быть в программе, принято делить на три группы:

  •  Синтаксические ошибки, их также называют ошибками времени компиляции (Compile-time error), наиболее легко устранимы. Синтаксические ошибки обнаруживаются компилятором автоматически. Сообщения о найденных ошибках отображаются в нижней части редактора, в небольшом окне.

При двойном щелчке на строке с сообщением об ошибке система Delphi 7 переключится в редактор, где подсветит строку, в которой эта ошибка обнаружена. Само сообщение (на английском языке) описывает ошибку достаточно подробно, чтобы можно было понять ее причину. Процесс устранения ошибок носит итерационный характер. Сначала устраняются наиболее очевидные ошибки, например, декларируются необъявленные переменные. После очередного внесения изменений в текст программы выполняется повторная компиляция. Следует учитывать тот факт, что компилятор не всегда может локализовать ошибку. Поэтому, анализируя фрагмент программы, который по мнению компилятора, содержит ошибку, нужно обратить внимание не только на тот фрагмент кода, на который компилятор установил курсор, но и на тот, который находится в предыдущей строке.

Наиболее типичные ошибки и соответствующие

им сообщения компилятора

Сообщения компилятора

Вероятная причина

Undeclared identifier

(необъявленный идентификатор)

Unterminated string

(Незавершенная строка)

Incompatible typesand

(Несовместимые типы)

Missing operator or semicolon

(Отсутствует оператор или точка с запятой)

а) Используется переменная, не объявленная в разделе var.

б) Ошибка при написании имени объявленной переменной.

в) Ошибка при написании имени инструкции.

При записи строковой константы, например сообщения, не поставлена завершающая кавычка.

В инструкции присваивания тип выражения не соответствует или не может быть приведен к типу переменной, получающей значение выражения.

После инструкции не поставлена точка с запятой.

Если компилятор обнаружил много ошибок, то просмотреть все сообщения, устранить сначала очевидные ошибки и выполнить повторную компиляцию. После этого количество ошибок уменьшится.

  •  Ошибки времени выполнения, в Delphi они называются исключениями (exception), тоже, как правило, легко устранимы. Они обычно проявляются уже при первых запусках программы и во время тестирования. При возникновении ошибки в программе, запущенной из Delphi, среда разработки прерывает работу программы, о чем свидетельствует заключенное в скобки слово Stopped в заголовке главного окна Delphi, и на экране появляется диалоговое окно, которое содержит сообщение об ошибке и информацию о типе (классе) ошибки. На рис. приведен пример сообщения об ошибке, возникающей при попытке открыть несуществующий файл.

   После возникновения ошибки программист может либо прервать выполнение программы, для этого надо из меню Run выбрать команду Program Reset, либо продолжить ее выполнение, например, по шагам (для этого из меню Run надо выбрать команду Step), наблюдая результат выполнения каждой инструкции.

   Если программа запущена из Windows, то при возникновении ошибки на экране также появляется сообщение об ошибке, но тип ошибки (исключения) в сообщении не указывается. После щелчка на кнопке ОК программа, в которой проявилась ошибка, продолжает (если сможет) работу.

  •  С алгоритмическими ошибками дело обстоит иначе. Компиляция программы, в которой есть алгоритмическая ошибка, завершается успешно. При пробных запусках программа ведет себя нормально, однако при анализе результата выясняется, что он неверный. Для того чтобы устранить алгоритмическую ошибку, приходится анализировать алгоритм, вручную "прокручивать" его выполнение.

Предотвращение и обработка ошибок

   Как было сказано выше, в программе во время ее работы могут возникать ошибки, причиной которых, как правило, являются действия пользователя. Например, пользователь может ввести неверные данные или, что бывает довольно часто, удалить нужный программе файл. Нарушение в работе программы называется исключением. Обработку исключений (ошибок) берет на себя автоматически добавляемый в выполняемую программу код, который обеспечивает, в том числе, вывод информационного сообщения. Вместе с тем Delphi дает возможность программе самой выполнить обработку исключения. Инструкция обработки исключения в общем виде выглядит так:

try

   // здесь инструкции, выполнение которых может вызвать исключение

   except // начало секции обработки исключений 

       on ТипИсключения1 do Обработка1;

       on ТипИсключения2 do Обработка2;

       on ТипИсключенияJ do ОбработкаJ;

   else

   // здесь инструкции обработки остальных исключений

end;

где:

  •  try — ключевое слово, обозначающее, что далее следуют инструкции, при выполнении которых возможно возникновение исключений, и что обработку этих исключений берет на себя программа;
  •  except — ключевое слово, обозначающее начало секции обработки исключений. Инструкции  этой секции будут выполнены, если в программе возникнет ошибка;
  •  on — ключевое слово, за которым следует тип исключения, обработку которого выполняет  инструкция, следующая за do;
  •  else — ключевое слово, за которым следуют инструкции, обеспечивающие обработку  исключений, тип которых не указаны в секции except.

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

Таблица. Типичные исключения

Тип исключения

Возникает

EZeroDivide

При выполнении операции деления, если делитель равен нулю

EConvertError

При выполнении преобразования, если преобразуемая величина не может быть приведена к требуемому виду. Наиболее часто возникает при преобразовании строки символов в число

EFilerError

При обращении к файлу. Наиболее частой причиной является отсутствие требуемого файла или, в случае использования сменного диска, отсутствие диска в накопителе

   Следующая программа, вид диалогового окна которой приведен на рис., а текст — в листинге, демонстрирует обработку исключений при помощи инструкции try.

Листинг. Обработка исключения типа EZeroDivide

unit UsTry_;

interface

uses

   Windows, Messages, SysUtils, Classes, Graphics, Controls, Forms, Dialogs, StdCtrls;

type

   TForm1 = class(TForm)

       Label1: TLabel;

       Label2: TLabel;

       Label3: TLabel;

       Label4: TLabel;

       Editl: TEdit; // напряжение 

       Edit2: TEdit; // сопротивление

       Label5: TLabel; // результат расчета - ток

       Button1: TButton; //кнопка Вычислить

       procedure ButtonlClick(Sender: TObject);

   private

       { Private declarations )

   public

       { Public declarations }

   end;

var

   Form1: TForm1;

implementation

   {$R *.DFM}

procedure TForm1.Button1Click(Sender: TObject);

var

   u: real; // напряжение 

   r: real; // сопротивление

   i: real; // ток 

begin

   Label5.Caption := ' ';

   try

       // инструкции, которые могут вызвать исключение (ошибку)

       u := StrToFloat(Edit1.Text);

       r := StrToFloat(Edit2.Text);

       i := u/r;

   except // секция обработки исключений

       on EZeroDivide do // деление на ноль 

           begin

               ShowMessage('Сопротивление не может быть равно нулю!');

              exit;

           end;

       on EConvertError do // ошибка преобразования строки в число 

           begin

               ShowMessage('Напряжение и сопротивление должны быть ' +

               'заданы числом. ' +#13+

               'При записи дробного числа используйте запятую.';

               exit;

          end;

       end;

       Label5.Caption := FloatToStr(i) + ' A';

end;

end.

В приведенной программе исключения могут возникнуть при вычислении величины тока. Если пользователь задаст, что сопротивление равно нулю, то при выполнении инструкции i:=u/r возникает Исключение EZeroDivide. Если неверно будет введено числовое значение, например, для разделения целой и дробной частей числа вместо запятой будет использована точка, то возникнет исключение типа EConvertError. Оба исключения обрабатываются одинаково: выводится сообщение, после чего процедура обработки события Onclick завершает свою работу.

Отладчик

   Интегрированная среда разработки Delphi предоставляет программисту мощное средство поиска и устранения ошибок в программе — отладчик. Отладчик позволяет выполнять трассировку программы, наблюдать значения переменных, контролировать выводимые программой данные.

   Трассировка программы

   Во время работы программы ее инструкции выполняются одна за другой со скоростью работы процессора компьютера. При этом программист не может определить, какая инструкция выполняется в данный момент, и, следовательно, определить, соответствует ли реальный порядок выполнения инструкций разработанному им алгоритму. В случае неправильной работы программы необходимо видеть реальный порядок выполнения инструкций. Это можно сделать, выполнив трассировку программы. Трассировка — это процесс выполнения программы по шагам (step-by-step), инструкция за инструкцией. Во время трассировки программист дает команду: выполнить очередную инструкцию программы.

   Delphi обеспечивает два режима трассировки: без захода в процедуру (Step over) и с заходом в процедуру (Trace into). Режим трассировки без захода в процедуру выполняет трассировку только главной процедуры, при этом трассировка подпрограмм не выполняется, вся подпрограмма выполняется за один шаг. В режиме трассировки с заходом в процедуру выполняется трассировка всей программы, т. е. по шагам выполняется не только главная программа, но и все подпрограммы.

   Для того чтобы начать трассировку, необходимо из меню Run выбрать команду Step over или Trace into. В результате в окне редактора кода будет выделена первая инструкция программы. Для того чтобы выполнить выделенную инструкцию, необходимо из меню Run выбрать команду Step over (нажать клавишу <F8>) или Trace into (нажать клавишу <F7>). После выполнения инструкции будет выделена следующая. Таким образом, выбирая нужную команду из меню Run, можно выполнить трассировку программы.

   Активизировать и выполнить трассировку можно при помощи функциональной клавиатуры. Команде Step over соответствует клавиша <F8>, а команде Trace into — клавиша <F7>.

   В любой момент времени можно завершить трассировку и продолжить выполнение программы в реальном темпе. Для этого надо из меню Run выбрать команду Run.

   При необходимости выполнить трассировку части программы следует установить курсор на инструкцию программы, с которой надо начать трассировку, и из меню Run выбрать команду Run to cursor или нажать клавишу <F4>. Затем, нажимая клавишу <F7> или клавишу <F8>, выполнить трассировку нужного фрагмента программы.

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

   Точки останова программы

   При отладке широко используется метод, который называют методом точек останова. Суть метода заключается в том, что программист помечает некоторые инструкции программы (ставит точки останова), при достижении которых программа приостанавливает свою работу, и программист может начать трассировку или проконтролировать значения переменных.

   Добавление точки останова Для того чтобы поставить в программу точку останова (breakpoint), нужно из меню Run выбрать команду Add Breakpoint (Добавить точку останова), затем из меню следующего уровня — команду Source Breakpoint. В результате открывается диалоговое окно Add Source Breakpoint, в котором выводится информация о добавляемой точке останова.

  •  Поле Filename содержит имя файла программы, куда добавляется точка останова.
  •  Поле Line number — номер строки программы, в которую добавляется точка останова.
  •  О назначении полей Condition (Условие) и Pass count (Число пропусков) будет сказано далее.

   После щелчка на кнопке ОК точка останова добавляется в программу, и строка, в которой находится точка останова, помечается красной точкой и выделяется цветом.

   Точку останова можно добавить, щелкнув мышью на синей точке, помечающей ту инструкцию программы, перед которой надо поместить точку останова (если в программе нет ошибок, то компилятор помечает выполняемые инструкции программы синими точками).

   Для точки останова можно задать условие, при выполнении которого программа приостановит свою работу в данной точке (например, если значение переменной равно определенной величине). Условие (логическое выражение) вводится в поле Condition диалогового окна Add Source Breakpoint.

   Если для точки останова задано условие, то программа приостанавливает свою работу только в том случае, если выражение, находящееся в поле Condition, истинно (его значение равно TRUE). Кроме условия для точки останова, можно задать количество пропусков данной точки. Если во время добавления в программу точки останова в поле Pass count (Число пропусков) диалогового окна Add Source Breakpoint записать отличное от нуля число, то программа приостановит свою работу в этой точке только после того, как инструкция, находящаяся в строке, помеченной точкой останова, будет выполнена указанное число раз.

   Изменение характеристик точки останова Программист может изменить характеристики точки останова. Для этого надо из меню View выбрать команду Debug Windows, затем из меню следующего уровня — команду Breakpoints. В открывшемся диалоговом окне Breakpoint List нужно щелкнуть правой кнопкой мыши в строке, содержащей информацию о нужной точке останова, и в появившемся контекстном меню выбрать команду Properties. В результате открывается диалоговое окно Source Breakpoint Properties, в котором можно изменить характеристики точки останова, например, изменить условие (содержимое поля Condition) остановки программы в данной точке. Используя это же контекстное меню, можно быстро перейти к инструкции, в которой находится точка останова; для этого надо выбрать команду Edit Source.

   

   Удаление точки останова Для того чтобы удалить точку останова, нужно в диалоговом окне Breakpoint List щелкнуть правой кнопкой мыши в строке, содержащей информацию о точке, которую надо удалить, и в появившемся контекстном меню выбрать команду Delete. Можно также в окне редактора кода щелкнуть мышью на красной точке, помечающей строку, в которой находится точка останова.

    Наблюдение значений переменных Во время отладки, в частности, при выполнении программы по шагам, довольно часто бывает полезно знать, чему равно значение той или иной переменной. Отладчик позволяет наблюдать значения переменных программы. Для того чтобы во время выполнения программы по шагам иметь возможность контролировать значение переменной, нужно добавить имя этой переменной в список наблюдаемых элементов (Watch List). Для этого надо из меню Run выбрать команду Add Watch (Добавить наблюдаемый элемент) и в поле Expression появившегося диалогового окна Watch Properties ввести имя переменной.

   В результате в список Watch List, содержимое которого отражается в диалоговом окне Watch List, будет добавлен новый элемент. Так как переменные программы существуют (и, следовательно,  доступны) только во время выполнения программы, то после имени переменной выводится сообщение: process not accessible (процесс недоступен).

   В качестве примера на рис. приведен вид окна редактора кода и окна Watch List во время пошагового выполнения программы сортировки массива.

   В окне редактора кода стрелкой помечена инструкция, которая будет выполнена на следующем шаге выполнения программы (при нажатии клавиши <F8> или при выборе команды Step Over из меню Run), в диалоговом окне Watch List выведены значения переменных.

   Существует еще один способ, позволяющий проверить значение переменной, не добавляя ее имя в список Watch List. Заключается он в следующем. После того как программа достигнет точки останова, в результате чего откроется окно редактора кода, нужно установить курсор мыши на имени переменной, значение которой надо проверить. В окне редактора кода появится окно подсказки, в котором будет выведено значение переменной.

Чтобы завершить процесс пошагового выполнения программы, нужно из меню Run выбрать команду Program Reset.

Контрольные вопросы

  1.  Что такое отладка?
  2.  Классификация ошибок.
  3.  Типичные ошибки и соответствующие им сообщения компилятора.
  4.  Предотвращение и обработка ошибок.    
  5.  Понятие исключения.

Резюме

  1.  Процесс поиска и устранения ошибок называется отладкой.
  2.  Ошибки бывают синтаксические, ошибки времени исполнения, алгоритмические.
  3.  Обработку исключений (ошибок) берет на себя автоматически добавляемый в выполняемую программу код, который обеспечивает, в том числе, вывод информационного сообщения. Вместе с тем Delphi дает возможность программе самой выполнить обработку исключения.
  4.  Нарушение в работе программы называется исключением.
  5.  Процесс устранения ошибок носит итерационный характер. Сначала устраняются наиболее очевидные ошибки, например, декларируются необъявленные переменные. После очередного внесения изменений в текс программы выполняется повторная компиляция.

Домашнее задание

   Исправить ошибки, полученные в результате компиляции.


 

А также другие работы, которые могут Вас заинтересовать

24346. Сциентизм и антисциентизм как мировоззренческие позиции о роли науки в развитии общества. Наука и паранаука 95 KB
  В современной культуре отчетливо проявила себя дилемма: сциентизмантисциентизм что имеет непосредственное отношение к проблеме соотношения науки и искусства. Для сциентизма характерно преувеличение роли науки в познании окружающего мира и человека объявление ее вершиной развития культуры убеждение в ненужности других сфер культуры О. Противоположным сциентизму направлением мировозренческой ориентации является антисциентизм основанный на недоверии к возможностям науки и разума на критике научных методов познания.
24347. Роль науки в преодолении современных глобальных кризисов (экологический, энергетический, демографический, угроза локальных и ядерных воин) 141 KB
  Она представляет собой не просто окружающую среду которую можно рассматривать как поле для преобразующей деятельности человека а выступает единым целостным организмом в который включено человечество в качестве специфической подсистемы. Деятельность человека вносит постоянные изменения в динамику биосферы и на современном этапе развития техногенной цивилизации масштабы человеческой экспансии в природу таковы что они начинают разрушать биосферу как целостную экосистему. Третья проблема – это проблема сохранения человеческой личности...
24348. Развитие науки как социального института (признаки, функции). Научные сообщества и их исторические типы 105.5 KB
  175 184 Понятие науки как социального института Научноисследовательская деятельность в обществе носит упорядоченный организованный характер. Цель и назначение науки как социального института – производство и распространение знания разработка средств и методов исследования воспроизводство ученых и обеспечение выполнения ими своих социальных функций. В социологии в зависимости от методологических установок сформировались различные подходы к пониманию науки как социального института.
24349. Научные школы (функции, признаки, типы). Историческое развитие способов трансляции научных знаний (от рукописей до современного комп.) 142 KB
  Научные сообщества и их исторические типы: невидимый колледж научные школы. Другой распространенной формой неформального объединения ученых играющих заметную роль в развитии науки являются научные школы. В содержательном плане чаще всего для сторонников научной школы характерен особый подход к проблемам и методам познания.
24350. Наука и экономика (сущность научно-технического прогресса экономика как наука, экономика науки) 87 KB
  Инновационная экономика Одной из важных сфер функционирования науки как социального института является экономика. Термин экономика многозначен и включает в себя по крайней мере два класса явлений: а экономику как отрасль науки изучающую экономические отношения и народное хозяйство; б экономику как различные виды и отрасли производства народное хозяйство страны мирового сообщества отношения в этих сферах по поводу производства распределения и обмена. Непосредственная связь науки и экономики проявляется в экономике как научной...
24351. Наука и власть (политология, политизация науки и проблемы управления наукой) 122 KB
  При рассмотрении проблемы взаимоотношения науки и власти следует имеет в виду два вектора анализа: а воздействие государственной власти на науку; б влияние науки на власть государственную политику. Под научной политикой понимается деятельность государственных учреждений по развитию управлению контролю финансированию науки. Государство выступает по отношению к науке в следующих основных функциях: как законодатель устанавливающий правовые основы функционирования науки в обществе в целом и конкретные нормы регулирования его...
24352. Теория и практика. Критерии истинности познания. Научная истина 98.5 KB
  Мы исходим из установки что наши знания это не абсолютные истины но рабочие гипотезы которые мы готовы сменить отбросить если они противоречат новым фактам. б Понятие истины. Объективность истины. Диалектика абсолютной и относительной истины Важную роль в обосновании принципа доверия к субъекту имеет обоснование возможности достижения объективной истины.
24353. Создание новой базы данных 9.79 MB
  Access хранит все таблицы базы данных, а также другие объекты в одном файле. Прежде, чем приступить к созданию таблиц базы данных, необходимо создать файл пустой базы данных.
24354. Герменевтика как методология 349.5 KB
  Дильтей правда был не первым мыслителем обратившим внимание на особый статус понимания в гуманитарных науках. Таким образом заслуга Дильтея заключается не в том что он выдвинул тезис об особом статусе понимания в историкогуманитарных науках €œнауках о духе€ а в том что он предпринял попытку систематического развития этоготезиса. Это положение послужило позднее поводом к противопоставлению €œобъяснения€ и €œпонимания€ как двух несовместимых методов познания. Термин €œгерменевтика€ употребляется также и в теоретическом смысле:...