Проверка программы: основные понятия и термины

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