перевірка програми

рос. проверка программы

перевірка правильності реалізації заданого алгоритму шляхом контрольного виконання програми на обчислювальній машині.