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