Метод дедукции

Метод индукции.

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

1. Определение данных, имеющих отношение к ошибке. Одна из самых распространенных ошибок при отладке - плохо организованные данные. Здесь необходимо разделить все данные на свидетельствующие о правильном выполнении и о неправильных действии программы

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

Вопрос	Да	Нет
Что
Где
Когда
Какова степень

Строка "Что" образует общий список симптомов ошибок. "Где" -место, где эти симптомы обнаружены. "Когда" -время появления симптомов. "Какова степень" - определяет область распространения симпто­мов и степень их важности. Столбец "Да" описывает противоречивость ситуации, когда появляется ошибка, а когда - нет.

3. Необходимо изучить взаимосвязи и выдвинуть одну или несколько гипотез о причинах ошибки с учетом обнаруженных закономерностей. Если гипотезу не удастся выдвинуть, необходимы до­полнительные данные, которые можно получить с помощью дополнительных тестов. Если гипотез несколько, то дальше рассматривается наиболее вероятная.

4. Доказательство гипотезы. Прежде чем взять гипотезу за основу, необходимо доказать ее приемлемость. Гипотеза должна полностью объяснить существование симптомов. Если доказать не удается, то либо гипотеза необоснованна, либо не полна, либо ошибок несколько. Если гипотеза доказана, то необходимо идти в то место и исправить ошибку.

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

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

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

3. Гипотеза может быть верна, но она не объясняет ошибки. Необходимы дополнительные данные, чтобы объяснить версию.

4. Доказательства: то же, что и в методе индукции.

Дата добавления: 2014-11-20