Лекция: МЕТОД ДЕДУКЦИИ
Процесс дедукции, показанный на рис. 7.4, позволяет на основании некоторых общих теорий или предпосылок, используя операции исключения и уточнения, прийти к определенному заключению (обнаружить место ошибки).
Перечисление возможных причин |
Использование процесса исключения |
Уточнение выбранной гипотезы |
Доказательство выбранной гипотезы |
Сбор дополнительных данных |
Рис. 7.4. Процесс дедуктивной отладки
Процесс дедукции состоит в следующем:
1. Перечисление возможных причин или гипотез. Первый шаг заключается в разработке списка всех возможных причин ошибки. Эти причины не обязательно должны полностью объяснять ошибку; они являются только версиями, с помощью которых можно структурировать и анализировать имеющиеся в распоряжении данные.
2. Использование данных для исключения возможных причин. Путем тщательного анализа данных и (особенно) поиска противоречий исключаются все возможные причины, кроме одной. Если исключить все причины, то потребуются дополнительные данные (получаемые, например, при построении дополнительных тестов) для выдвижения новых гипотез. Если же остается более чем одна причина, то первой выбирается наиболее вероятная из них — основная гипотеза.
3. Уточнение выбранной гипотезы. Возможная причина может быть определена верно, но маловероятно, чтобы она достаточно полно отражала специфику ошибки. Поэтому следующим шагом должно быть использование доступных данных для уточнения версии (например, «ошибка при обращении к последней записи файла») с учетом некоторой специфики (например, «последняя запись в буфере затирает признак конца файла»),
4. Доказательство выбранной гипотезы. Этот шаг сов падайт с шагом 4 в методе индукции.