Отладка

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

Из всех этапов проектирования логики программных модулей этап отладки является наименее формализованным. В нем выделяют две задачи:

• определение природы ошибки;

• исправление ошибки.

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

Наиболее распространенными и наименее эффективными для отладки являются так называемые методы ‘грубой силы’. К ним относят:

• отладку с использованием дампа памяти;

• отладку с использованием операторов печати по всей программе;

• отладку с использованием автоматических средств.

Общей характеристикой методов ‘грубой силы’ является то, что они не требуют значительных умственных затрат и могут продолжаться бесконечно долго, если наряду с ними не применять более гибкие методы, к которым относятся:

• метод индукции;

• метод дедукции.

Название методов напоминают о криминалистике и не напрасно, ибо есть аналогия между этими методами и расследованием преступления.

Метод индукции включает:

1. определение данных тестирования, имеющих отношение к ошибке;

2. анализ от частного к общему позволит выявить закономерности в данных пункта 1);

3. в результате анализа (п.2) выдвигается гипотеза о причине ошибки;

4. для подтверждения гипотезы 3 разрабатывается один или больше тестов, которые должны либо подтвердить, либо опровергнуть гипотезу;

5. если дополнительные тесты подтверждают гипотезу, можно приступать к исправлению ошибки, а вот если не подтверждают, то требуется в лучшем случае возврат к п.3, а в худшем - к п.2.

Альтернативный метод дедукции заключается в:

1. перечисление возможных причин или гипотез:

2. использование данных тестирования для исключения некоторых возможных причин;

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

4. доказательство выбранной гипотезы совпадает с п.4 и п.5 метода индукции.