2. Отладка

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

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

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

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

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

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

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

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

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

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

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

Использование автоматических средств отладки из этой группы методов наиболее предпочтительно.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Литература

1. Липаев В.В. Тестирование программ.- М.: Радио и связь, 1986.- 296 с.: ил.

2. Калянов Г.Н. CASE структурный системный анализ (автоматизация и применение).-М.: Издательство ‘Лори’ 1996.- 242 с.