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