Отладка программного обеспечения¶

Отладка (англ. debugging) — процесс обнаружения, локализации и устранения ошибок (дефектов, багов) в компьютерных программах, а также в аппаратных системах. Термин относится к области программной инженерии и охватывает совокупность методов, инструментов и приёмов, применяемых разработчиками для приведения программы в соответствие её спецификации. Отладка является составной частью жизненного цикла программного обеспечения и, как правило, занимает значительную долю трудозатрат при разработке и сопровождении ПО.

¶Этимология и история

Происхождение английского термина debugging связывают с историей вычислительной техники. Наиболее известна легенда о неисправности в реле машины Mark II (Гарвардский университет, 1947 год), когда в журнале работы нашли мотылька, блокировавшего контакт реле. Запись «First actual case of bug being found» стала одним из самых цитируемых эпизодов в истории информатики. Само слово bug («жук», «насекомое») использовалось инженерами и ранее, ещё в XIX веке, для обозначения скрытых технических дефектов; Генри Форд в 1916 году упоминал «жуков» в контексте неполадок автомобилей.

Термин debugging в применении к программированию закрепился в 1950-е годы. Одной из первых формализованных методик отладки стала работа Грейс Хоппер, одной из создательниц языка COBOL, которая ввела понятие «логирования» событий для выявления сбоев. В 1951 году в отчёте о машине UNIVAC I впервые появляется термин debug в современном значении.

¶Классификация ошибок

Для выбора метода отладки важно понимание природы дефекта. Принято различать:

• Синтаксические ошибки — нарушения правил построения программы, выявляемые компилятором или интерпретатором на этапе трансляции.
• Семантические (логические) ошибки — программа корректно выполняется, но результат не соответствует ожиданиям из-за ошибки в алгоритме.
• Ошибки времени выполнения — возникают в процессе работы программы: обращение к неинициализированной памяти, деление на ноль, переполнение буфера, исчерпание ресурсов.
• Гонки данных (race conditions) — ошибки, обусловленные неопределённым порядком выполнения потоков, характерные для многопоточных систем.
• Ошибки, зависящие от окружения — проявляются только при определённых версиях библиотек, операционных систем, конфигураций оборудования.

¶Методы отладки

¶Пошаговое выполнение

Наиболее распространённый метод — выполнение программы под управлением отладчика с возможностью остановки на заданных точках. Ключевые приёмы:

• Точки останова (breakpoints) — условие, при котором выполнение приостанавливается.
• Пошаговое выполнение — исполнение программы команда за командой (step over, step into, step out).
• Инспекция состояния — просмотр значений переменных, содержимого стека вызовов, регистров процессора.

¶Анализ логов и трассировка

Запись событий во время работы программы в лог-файлы позволяет воспроизвести последовательность действий, приведших к сбою. Трассировка (tracing) фиксирует поток управления, что особенно полезно для отладки распределённых систем.

¶Метод деления пополам

Приём, заключающийся в последовательном исключении половины возможных источников ошибки. Применяется как для локализации дефектного кода, так и для поиска регрессий в системах контроля версий (биcекция истории коммитов).

¶Отладка на расстоянии (remote debugging)

Отладчик подключается к целевой системе по сети. Широко применяется при разработке встраиваемого и мобильного ПО, где запуск отладчика непосредственно на целевом устройстве невозможен.

¶Инструменты

¶Отладка в России

В российской практике разработки ПО отладка традиционно входит в курс базовых дисциплин технических вузов. Среди отечественных инструментов — отладчик в составе среды разработки «Лэптоп» (для ЭВМ «Электроника»), а также средства отладки в системах программирования, разработанных для отечественных процессоров (семейство «Эльбрус», «Байкал»). Компания «Лаборатория Касперского» и ряд российских ИТ-предприятий используют встроенные средства отладки в рамках внутренних методик разработки.

¶Автоматизация отладки

Современные средства отладки всё чаще дополняются автоматизацией. Инструменты статического анализа кода (например, PVS-Studio, SonarQube) выявляют потенциальные дефекты до запуска программы. Фаззинг (fuzzing) — автоматизированное тестирование с подачей случайных и специально сгенерированных данных — позволяет обнаруживать ошибки без ручного воспроизведения сценариев. В 2020-е годы к автоматизации отладки активно применяются модели машинного обучения, в том числе для предсказания расположения дефектного кода на основе истории коммитов.

¶См. также

• Тестирование программного обеспечения
• Отладчик
• Статический анализ кода
• Регрессионное тестирование

¶Литература

• Керниган Б., Пайк Р. Практика программирования. — М.: Вильямс, 2002.
• Макконнелл С. Совершенный код. — М.: Вильямс, 2002.
• Хант Э., Томас Д. Программист-прагматик. — СПб.: Символ-Плюс, 2002.