Logo GenDocs.ru

Поиск по сайту:  

Загрузка...

Шпоры по технологии программирования (Гвоздев) - файл 20.doc


Шпоры по технологии программирования (Гвоздев)
скачать (254.3 kb.)

Доступные файлы (16):

10.doc34kb.27.01.2006 23:07скачать
12-13.doc36kb.27.01.2006 23:13скачать
14.doc44kb.27.01.2006 23:30скачать
16.doc23kb.27.01.2006 23:33скачать
18.doc23kb.27.01.2006 19:24скачать
1.doc43kb.27.01.2006 20:28скачать
20.doc32kb.27.01.2006 23:43скачать
21-22.doc22kb.27.01.2006 22:00скачать
26-27.doc107kb.27.01.2006 19:49скачать
2.doc68kb.27.01.2006 22:25скачать
3.doc82kb.27.01.2006 20:21скачать
4.doc25kb.27.01.2006 20:19скачать
5.doc24kb.27.01.2006 19:51скачать
6.doc27kb.27.01.2006 21:20скачать
7.doc25kb.27.01.2006 20:52скачать
8.doc23kb.27.01.2006 22:49скачать

20.doc

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

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

  • ручного тестирования;

  • индукции;

• дедукции;

• обратного прослеживания.

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

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

Данный метод часто используют как со­ставную часть других методов отладки.

^ Метод индукции. Метод основан на тща­тельном анализе симптомов ошибки, которые могут проявляться как неверные результаты вычислений или как сообщение об ошибке. Если компьютер просто «зависает», то фраг­мент проявления ошибки вычисляют, исходя из последних полученных результатов и дей­ствий пользователя. Полученную таким обра­зом информацию организуют и тщательно изучают, просматривая соответствующий фрагмент программы. В результате этих дей­ствий выдвигают гипотезы об ошибках, каж­дую из которых проверяют. Если гипотеза верна, то детализируют информацию об ошибке, иначе — выдвигают другую гипотезу. Последовательность выполнения отладки ме­тодом индукции показана на рис. 10.3 в виде схемы алгоритма.

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

В процессе доказательства пытаются выяснить, все ли проявления ошибки объясняет данная гипотеза, если не все, то либо гипотеза не верна, либо ошибок несколько.

^ Метод дедукции. По методу дедукции вначале формируют множество причин, которые могли бы вызвать данное проявление ошибки. Затем анали­зируя причины, исключают те, которые противоречат имеющимся данным. Если все причины исключены, то следует выполнить дополнительное тести­рование исследуемого фрагмента. В противном случае наиболее вероятную гипотезу пытаются доказать. Если гипотеза объясняет полученные признаки ошибки, то ошибка найдена, иначе - проверяют следующую причину (рис. 10.4).

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

^ 10.3. Методы и средства получения дополнительной информации

: Для получения дополнительной информации об ошибке можно выпол­нить добавочные тесты или использовать специальные методы и средства:

  • отладочный вывод;

  • интегрированные средства отладки;

  • независимые отладчики.

Различают статический и динамический подходы к ручному контролю. При статическом подходе анализируют структуру, управляющие и инфор­мационные связи программы, ее входные и выходные данные. При динами­ческом - выполняют ручное тестирование, т. е. вручную моделируют про­цесс выполнения программы на заданных исходных данных.

Исходными данными для таких проверок являются: техническое зада­ние, спецификации, структурная и функциональная схемы программного продукта, схемы отдельных компонентов и т. д., а для более поздних этапов - алгоритмы и тексты программ, а также тестовые наборы.

Доказано, что ручной контроль способствует существенному увеличе­нию производительности и повышению надежности программ и с его помо­щью можно находить от 30 до 70 % ошибок логического проектирования и кодирования. Следовательно, один или несколько из методов ручного кон­троля обязательно должны использоваться в каждом программном проекте.

Основными методами ручного контроля являются:

  • инспекции исходного текста,

  • сквозные просмотры,проверка за столом,
    ; • оценки программ.

Дихотомический поиск ошибок –делим программу по палам при линейной структу


Скачать файл (254.3 kb.)

Поиск по сайту:  

© gendocs.ru
При копировании укажите ссылку.
обратиться к администрации