Использование информационной избыточности для восстановления программ

Предлагается метод образования точек восстановления, учитывающий структурность программы. Показывается, что для восстановления программы достаточно сохранять только изменяемые при конкретном выполнении программы переменные. Обосновывается принцип размещения точек восстановления и проводится количественная оценка эффективности данной дисциплины по сравнению с традиционными.