Во время процесса тестирования и отладки программные дефекты должны быть обнаружены и ликвидированы. Однако исключительные ситуации (исключения) обрабатываются во время выполнения программы. Следует различать исключительные и нежелательные условия. Например, если мы спроектировали программу, которая будет добавлять в список числа, вводимые пользователем, а пользователь будет вводить и числа, и символы, которые не являются числами, то такая ситуация относится к нежелательной, а не к исключительной. Мы должны проектировать программы, которые были бы робастными, т.е. устойчивыми к ошибкам, прелусматривал проверку корректности входных данных. Ввод данных в программу должен быть организован таким образом, чтобы пользователь был вынужден вводить данные, которые требуются нашей программе для надлежащего выполнения. Если, например, спроектированный нами компонент программы сохраняет информацию на внешнем устройстве, и программа попадает в ситуацию отсутствия свободного пространства на этом устройстве, то такие условия работы программы также можно назвать нежелательными, а не исключительными, или экстраординарными. Исключительные ситуации мы связываем с необычными условиями, а не с нежелательными. Методы обработки исключительных ситуаций предназначены для непредвиденных обстоятельств. Ситуации же, которые являются нежелательными, но вполне возможными и потому предсказуемыми, должны обрабатываться с применением обычной программной логики, например:
if <входные данные неприемлемы, то>
<повторно запрашиваем входные данные>
else
<выполняем нужную операцию> end if
Такая проверка условий — одна из основополагающих граней искусства программирования. Продемонстрированный стиль программирования позволяет не допустить возникновения многих проблем, но эта модель ситуации не «дотягивает» до определения исключительной. Существуют различия между дефектами и исключительными ситуациями, а также между исключительными ситуациями и нежелательными условиями. С дефектами справляются путем тестирования и отладки. Нежелательные условия обрабатываются в рамках обычной программной логики, а исключительные ситуации — методами обработки исключений. Различия между характеристиками обработки ошибок, исключений и нежелательныхусловий сведены в табл. 7.2.
Таблица7.2. Различия между характеристиками обработки ошибок, исключений и нежелательных условий
| ||
Логические ошибки обнаруживаются на этапе тестирования и отладки | Описывает непредвиденные условия во время выполнения | Описывает нежелательные условия, которые весьма вероятны во время выполнения |
Корректно работающие программы не содержат ошибок | Корректно написанные программы могут попадать в исключительные ситуации | Корректно написанные программы могут попадать в нежелательные ситуации |
Для предупреждения и исправления ошибок используется программная логика | Для восстановления работоспособности программы после возникновения исключительных ситуаций используются методы обработки исключений | Для исправления нежелательных условий используется программная логика |
Поддерживается нормальный ход выполнения программы | Нормальный ход выполнения программы нарушается | Делается попытка поддержать нормальный ход выполнения программы |