Этап решения задачи на компьютере, в процессе которого проверяется работоспособность программы, не содержащей явных ошибок.