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