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

Паскаль_МетодПос_ПЯВУ_Понятие жизненного цикла программных изделий

Стандартизация стиля кодирования

Под стилем кодирования, как правило, понимается набор приемов или методов программирования, которые используются для получения правильных, эффективных, удобных для применения и легко читаемых программ. Немаловажным вопросом является стандартизация стиля, правило которой заключается в том, что если существует более одного способа сделать что-либо и выбор произвольный, то необходимо зафиксировать выбор и всегда ему следовать. В работе [4] приводятся стилевые стандарты кодирования, которые “являются результатом здравого смысла и опыта программистов”. Основные из них приведены ниже.

Комментарии

Основной принцип – делать комментариев больше, чем это кажется необходимым. Выделяются два типа комментариев:

1) вводные комментарии

Вводные комментарии помещаются в начале программы и, как правило, содержат:

- назначение программы;

- указания по вызову и использованию;

- список и назначение основных переменных;

- указания по вводу/выводу; список внешних файлов;

- список процедур и функций, их назначение;

- название применяемых математических методов;

- специальные указания;

- сведения об авторе и даты создания и последней модификации.

2) пояснительные комментарии

Пояснительные комментарии помещаются перед существенными для понимания логики программы фрагментами кода и содержат некоторую дополнительную информацию, а не перефразируют программу.

Пропуск строк

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

Пробелы

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

Выбор идентификаторов

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

Размещение операторов

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

Отступы от начала строки

Отступы используются для выявления структуры программы. Прежде всего, отступы целесообразны в составных операторах, также в операторах цикла, условных операторах и т.п., для указания обособленности фрагмента и выделения структуры. Также целесообразно использовать отступы при описании структур данных.

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

Возникающие в программе ошибки, как правило, классифицируются следующим образом:

1. синтаксические – тип ошибок, связанный с нарушением синтаксиса языка программирования. Данный тип ошибок обнаруживает компилятор.

2. времени выполнения – тип ошибок, связанный с невозможностью исполняющей системы выполнить какое либо действие. Данный тип ошибок обнаруживает исполняющая система.

3. семантические – тип ошибок, связанный с несоответствием полученного результата с ожидаемым, при отсутствии особой системной реакции на выполнение программы. Данный тип ошибок системой не обнаруживается.

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

В Borland Pascal встроен специальный компонент – отладчик, использование которого приводит к реализации следующих возможностей:

1. пошаговое выполнение программы;

2. контроль значений переменных;

3. использование точек прерывания.

Для пошагового выполнения программы служат функциональные клавиши <F7> и <F8>. Разница режимов пошагового выполнения, задаваемого <F7> от <F8> состоит в том, что для второго режима процедура или функция рассматривается как неделимый оператор и вход в соответствующий ей блок не производится. Контроль над значениями переменных осуществляется через помещение идентификаторов контролируемых переменных в специальное окно интегрированной среды Borland Pascal «Watch». Точки прерывания могут устанавливаться двумя способами: с помощью комбинации <Ctrl>+<F8> позиция, в которой находится курсор, становится точкой прерывания, или с помощью <F4> осуществляется выполнение программы до строки, в которой находится курсор.

Рис. 10. Вид среды Turbo Pascal при процессе отладки.

Необходимо обратить внимание на параметры настройки, необходимые для работы отладчика:

1) Options/Compiler/Debug information – ‘ON’

2) Options/Compiler/Local symbols – ‘ON’

3) Options/Debugger/Debugging Standalone – ‘ON’

4) Options/Debugger/Debugging Integrated – ‘ON’

Ниже приведена систематизированная номенклатура типичных ошибок [5]:

1. Ошибки в условных операторах

- неверное указание ветви алгоритма после проверки некоторого условия;

- неполный учет возможных условий.

2. Ошибки в операторах циклов

- неправильное указание начала цикла;

- неправильное указание условий окончания цикла;

- неправильное указание числа повторений цикла;

- неверное индексирование цикла;

- бесконечные или замкнутые циклы.

3. Ошибки в арифметических операциях

- неверное указание типа переменной;

- переполнение и потеря значимости;

- использование неверных констант;

- неверное определение порядка действий;

- деление не ноль;

- извлечение квадратного корня из отрицательного числа;

- потеря значащих разрядов числа.

4. Ошибки в процедурах и функциях

- неправильное описание процедур и функций;

- неправильное указание параметров;

- неверные значения параметров.

Этот список содержит перечень ситуаций, ошибки в которых наиболее вероятны, поэтому, при отладке на них нужно обратить особое внимание

Поиск по сайту: