4.5. Отладка программ

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

По своему характеру ошибки в программах делят на алгоритмические, синтаксические и семантические.

Алгоритмические ошибки - ошибки в программной трактовке алгоритма, например, при большом количестве вариантов работы алгоритма какие-то из них в программе могут быть упущены-

Синтаксические ошибки - ошибки, связанные с нарушением синтаксиса, т.е. правил языка программирования.

Семантические ошибки - ошибки, связанные с содержанием и смыслом программы.

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

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

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