Approach to Heuristically Test Restorable Systems -- Constrained Reachability of Process