Информатика. Горяев Ю.А. - 97 стр.

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

 §4. Контроль текста программы до выхода на компьютер
      Текст программы можно проконтролировать за столом с помощью про-
смотра, проверки и прокрутки.
      I. Просмотр. Текст программы просматривается на предмет обнаружения
описок и расхождений с алгоритмом. Нужно просмотреть организацию всех
циклов, чтобы убедиться в правильности операторов, задающих кратности цик-
лов. Полезно посмотреть еще раз условия в условных операторах, аргументы в
обращениях к подпрограммам и т.п.
      II. Проверка. При проверке программы программист по тексту програм-
мы мысленно старается восстановить тот вычислительный процесс, который
определяет программа, после чего сверяет его с требуемым процессом. На вре-
мя проверки нужно «забыть», что должна делать программа , и «узнавать» об
этом по ходу её проверки. Только после окончания проверки программы можно
«вспомнить» о том, что она должна делать и сравнить реальные действия про-
граммы с требуемыми.
      III. Прокрутка. Основой прокрутки является имитация программистом за
столом выполнения программы на машине. Для выполнения прокрутки прихо-
дится задаваться какими-то исходными данными и производить над ними необ-
ходимые вычисления. Прокрутка – трудоемкий процесс, поэтому ее следует
применять лишь для контроля логически сложных участков программ. Исход-
ные данные должны выбираться такими, чтобы в прокрутку вовлекалось боль-
шинство ветвей программы.

                       §5. Отладка программ
5.1. Отладка и тестирование
      Отладка программы – это процесс поиска и устранения ошибок в про-
грамме, производимый по результатам её прогона на компьютере.
      Тестирование (англ. test – испытание) – это испытание, проверка пра-
вильности работы программы в целом, либо её составных частей.
      Отладка и тестирование – это два четко различимых и непохожих друг на
друга этапа:
      • при отладке происходит локализация и устранение синтаксических
         ошибок и явных ошибок кодирования;
      • в процессе же тестирования проверяется работоспособность програм-
         мы, не содержащей явных ошибок.

                                    97