The manual test is here: Deny Edit Rights For An User.
Should be checked whether the corresponding automated test(s) exist or not and add automated test(s) if the case.