Telefona gönder: Оценка полноты проверки при пассивном тестировании на основе автоматной модели