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