Text this: Исследование и разработка конечно-автоматных методов синтеза проверяющих тестов для управляющих систем