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

      Тестирование устанавливает факт наличия ошибок, а отладка выясняет ее
причину.
      Английский термин debugging («отладка») буквально означает «вылавли-
вание жучков». Термин появился в 1945г., когда один из первых компьютеров –
«Марк-1» прекратил работу из-за того, что в его электрические цепи попал мо-
тылек и заблокировал своими останками одно из тысяч реле машины.
5.2. Суть отладки
      В современных программных системах (Turbo Basic, Turbo Pascal, Turbo
C и др.) отладка осуществляется часто с использованием специальных про-
граммных средств, называемых отладчиками. Эти средства позволяют исследо-
вать внутреннее поведение программы.
      Программа-отладчик обычно обеспечивает следующие возможности:
      • пошаговое исполнение программы с остановкой после каждой коман-
         ды (оператора);
      • просмотр текущего значения любой переменной или нахождение зна-
         чения любого выражения, в том числе, с использованием стандартных
         функций; при необходимости можно установить новое значение пере-
         менной;
      • установку в программе «контрольных точек», т.е. точек, в которых
         программа временно прекращает свое выполнение, так что можно
         оценить промежуточные результаты, и др.
      При отладке программ важно помнить следующее:
      • в начале процесса отладки надо использовать простые тестовые дан-
         ные;
      • возникающие затруднения следует четко разделять и устранять строго
         поочередно;
      • не нужно считать причиной ошибок машину, так как современные
         машины и трансляторы обладают чрезвычайно высокой надежностью.

                         §6. Тест программы
6.1. Тест и тестирование
      Как бы ни была тщательно отлажена программа, решающим этапом, ус-
танавливающим ее пригодность для работы, является контроль программы по
результатам ее выполнения на системе тестов.
      Программу условно можно считать правильной, если её запуск для вы-
бранной системы тестовых исходных данных во всех случаях дает правильные
результаты.
      Но, как справедливо указывал известный теоретик программирования
Э. Дейкстра, тестирование может показать лишь наличие ошибок, но не их от-
сутствие. Нередки случаи, когда новые входные данные вызывают «отказ» или
получение неверных результатов работы программы, которая считалась полно-
стью отлаженной.


                                     98