Автономная отладка программы

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

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

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

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

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

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