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

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