Qualitätsbasiertes Testen von Smart Services am Beispiel des Flughafen Stuttgart