Какоу корректное определение операции переименования файла можно дать? то есть в каких слуачайях операция переименования фала может считаться коректной? Вопрос такой — какие тесты надо провести чтобы можзно было быть уверенным — операция переименования корректна или нет?