Часть VI

Работа над ошибками

Темы занятий

17-й час тадка кода

18-й час. Обработка ошибок во время выполнения программы

17-й час

Отладка кода

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

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

крайней мере, таких ошибок, которые нельзя обнаружить.

Основные темы занятия.

Пошаговое тестирование профаммного кода.

Приемы эффективной отладки.

Использование условных директив компилятора.

Тестирование кода

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

Новый термин

Термин алгоритм обычно используют для ссылки на процедуру или функцию. В некоторых случаях под алгоритмом понимают набор связанных функций.

Таким образом, факт безошибочности профаммного кода недоказуем. Отсюда следует, что всякий код может (и даже должен) содержать ошибки. (Самый красноречивый пример связан с нашумевшей проблемой неверной трактовки дат, следующих за 31 декабря 1999