ВУЗ:
Составители:
Рубрика:
11
1.2. Искусство отладки
Нужно стараться создавать надежный код. Но без отладки пока обойтись
невозможно. Роль тестировщиков в современном процессе разработки про-
граммного обеспечения велика.
Отладка – это некоторый «детективный» процесс. Программа, в которую
внесены изменения, подозревается в том, что она работает некорректно. Пре-
зумпция невиновности здесь не применима. Если удается предъявить тест, на
котором программа дает неверный результат, то доказано, что подозрения вер-
ны. Втайне мы всегда надеемся, что программа работает правильно. Но цель
тестирования другая – попытаться опровергнуть это предположение. Отладка
может доказать некорректность программы, но она не может доказать ее пра-
вильность. Отладка не гарантирует корректности программы, даже если все
тесты пройдены успешно. Искусное тестирование создает высокую степень
уверенности в корректности программы.
Часть ошибок программы ловится автоматически еще на этапе компиля-
ции. Сюда относятся все синтаксические ошибки, ошибки несоответствия ти-
пов и некоторые другие. Это простые ошибки и их исправление, как правило,
не вызывает трудностей. В отладке нуждается синтаксически корректная про-
грамма, результаты вычислений которой получены, но не соответствуют тре-
буемым спецификациям. Чаще всего еще не отлаженная программа на одних
исходных данных работает правильно, на других – дает ошибочный результат.
Искусство отладки состоит в том, чтобы обнаружить все ситуации, в которых
работа программы приводит к ошибочным вычислениям.
Как и во всякой детективной деятельности, в ходе отладки необходим
сбор улик, для чего применяется две группы средств. Первая позволяет контро-
лировать ход вычислительного процесса: порядок следования операторов в ме-
тодах, порядок вызова самих методов, условия окончания циклов, правильность
переходов. Вторая отслеживает изменение состояния вычислительного процес-
са (значения свойств объектов) в процессе выполнения.
Есть и другая классификация. Средства, используемые при отладке, мож-
но разделить на инструментарий, предоставляемый средой разработки Visual
Studio 2005, и программные средства, предоставляемые языком и специальны-
ми классами библиотеки FCL (Framework Class Library). Начнем рассмотрение
с программных средств.
1.2.1. Отладочная печать и условная компиляция
Одним из основных средств отладки является отладочная печать, позво-
ляющая получить данные о ходе и состоянии процесса вычислений. Обычно
разрабатываются специальные отладочные методы, вызываемые в критических
точках программы – на входе и выходе программных модулей, на входе и вы-
ходе циклов и так далее. Искусство отладки в том и состоит, чтобы получить
нужную информацию о прячущихся ошибках, проявляющихся, возможно,
только в редких ситуациях.
Страницы
- « первая
- ‹ предыдущая
- …
- 9
- 10
- 11
- 12
- 13
- …
- следующая ›
- последняя »
