Применение MBT для генерации тестовых сценариев для ручного и автомати