Проверка правильности реализации заданного алгоритма путем выполнения программы на вычислительной машине [из 8 ГОСТ 19.004—80]