Лекция: Автономная отладка программы

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

Сложные программы отлаживают фрагментами. Используют отладчики — специальные программы, которые позволяют выполнять отлаживаемую программу «по шагам», наблюдать за изменением значений переменных, выражений и других объектов программы. При этом возможно выявление следующих типов ошибок:

— Синтаксические — как результат нарушения правил написания предложений языка. Выявляются при компиляции программы.

— Семантические — связанные с недопустимыми значениями параметров, недопустимыми действиями над параметрами. Выявляются при работе программы или на этапе ее отладки.

— Логические — связанные с неправильным использованием тех или иных алгоритмических конструкций. Могут давать неправильные результаты при работе программы, но, например, лишь при определенном сочетании параметров. Нарушение работы программы не вызывают.

— Алгоритмические — была постановка задачи. Алгоритм разработан неправильно. Результат — программа работает без ошибок, но делает не то, что нужно.