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