Как называется процесс проверки работоспособности программы и исправления обнаруженных при этом ошибок?

• Отладка программы
• Тестирование программы
• Формализация программы
• Алгоритмизация программы