Отладка программного обеспечения

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

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

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

самых простых, так как синтаксис языка, как правило, строго формализован,

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

проблемами, обнаруженными при разрешении внешних ссылок.
Например, предусмотрено обращение к

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

выполнения машинных команд, например, переполнении разрядной сетки, ситуации «деление на

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

на следующие группы:

логическое осмысление всей имеющейся информации об ошибке. При этом можно

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

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

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

причин, которые могли бы вызвать данное проявление ошибки. Затем анализируя

причины, исключают те, которые противоречат имеющимся данным.
Если все причины исключены, то следует выполнить дополнительное тестирование исследуемого фрагмента.
В противном случае наиболее вероятную гипотезу пытаются доказать. Если гипотеза объясняет полученные признаки ошибки, то ошибка найдена, иначе – проверяют следующую причину.

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

системах MS DOS и Win32:
1 этап. Изучение проявления ошибки.
2 этап. Локализации ошибки .
3 этап. Определение причины ошибки.
4 этап. Исправление ошибки .
5 этап. Повторное тестирование.
Следует иметь в виду, что процесс отладки можно существенно упростить, если следовать основным рекомендациям структурного подхода к программированию.