Lastgetriebene Validierung Dienstbereitstellender Systeme

• Main Author: Caspar, Mirko
• Other Authors: TU Chemnitz, Fakultät für Informatik
• Format: Doctoral Thesis
• Language: deu
• Published: Universitätsbibliothek Chemnitz 2014
• Subjects: Verteilte Systeme; Heterogene Systeme; Validation; Distributed Systems; Heterogeneous Systems; Non-Linear Optimisation; Simulation; ddc:000; ddc:003; ddc:006; Validierung; Nichtlineare Optimierung
• Online Access: http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-110257; http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-110257; http://www.qucosa.de/fileadmin/data/qucosa/documents/11025/Dissertation_Mirko_Caspar.pdf; http://www.qucosa.de/fileadmin/data/qucosa/documents/11025/signatur.txt.asc

Mit steigender Komplexität heterogener, verteilter Systeme nehmen auch die Anforderungen an deren Validierung zu. In dieser Arbeit wird ein Konzept vorgestellt, mit dem eine bestimmte Klasse komplexer Systeme, so genannte Dienstbereitstellende Systeme, durch automatisiertes Testen validiert werden kann. Mit Hilfe heterogener Klienten, bspw. eingebetteter Systeme, wird die Systemfunktionalität getestet. Hierzu wird das zu testende System auf die nach außen zur Verfügung gestellten Dienste reduziert und die Nutzung dieser Dienste durch Klienten mit einer Last quantifiziert. Eine Validierung wird durch die Vorgabe zeitlich veränderlicher Lasten für jeden Dienst definiert. Diese Lasten werden zielgerichtet den verfügbaren Klienten zugeteilt und durch diese im zu testenden System erzeugt. Zur praktikablen Anwendung dieses Konzeptes ist eine Automatisierung des Validierungsprozesses notwendig. In der Arbeit wird die Architektur einer Testbench vorgestellt, die zum einen die Heterogenität der Klienten berücksichtigt und zum anderen Einflüsse durch die Dynamik der Klienten während der Laufzeit der Validierung ausgleicht. Das hierbei zu lösende algorithmische Problem der Dynamischen Testpartitionierung wird ebenso definiert, wie ein Modell zur Beschreibung aller notwendigen Parameter. Die Testpartitionierung kann mittels einer eigens entwickelten Heuristik in Polynomialzeit gelöst werden. Zur Bestimmung der Leistungsfähigkeit des entwickelten Verfahrens wird die Heuristik aufwendigen Untersuchungen unterzogen. Am Beispiel eines zu testenden Mobilfunknetzwerkes wird die beschriebene Testbench umgesetzt und Kernparameter mittels Simulation ermittelt. Das Ergebnis dieser Arbeit ist ein Konzept zur Systemvalidierung, das generisch auf jede Art von dienstbereitstellenden Systemen angewandt werden kann und damit zur Verbesserung des Entwicklungsprozesses von komplexen verteilten Systemen beiträgt.