Структурно-абстрактный метод построения проверяющих тестов для автоматов

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