Информатика 10-11. Книга 1. Теория (с задачами и решениями). Шауцукова Л.З. - 238 стр.

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

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

  8.4. Как проконтролировать текст программы до выхода на
                        компьютер?
    Текст программы можно проконтролировать за столом с помощью просмотра,
проверки и прокрутки.

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

   •   Проверка. При проверке программы программист по тексту программы мысленно
       старается восстановить тот вычислительный процесс, который определяет
       программа, после чего сверяет его с требуемым процессом. На время проверки
       нужно "забыть", что должна делать программа , и "узнавать" об этом по ходу её
       проверки. Только после окончания проверки программы можно "вспомнить" о
       том, что она должна делать и сравнить реальные действия программы с
       требуемыми.

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

            8.5. Для чего нужны отладка и тестирование?

  Отладка программы — это процесс поиска и устранения ошибок в программе,
  производимый по результатам её прогона на компьютере.

  Тестирование (англ. test — испытание) — это испытание, проверка
  правильности работы программы в целом, либо её составных частей.


    Отладка и тестирование — это два четко различимых и непохожих друг на друга
этапа:

   •   при отладке происходит локализация и устранение синтаксических ошибок и
       явных ошибок кодирования;