Modellgestützte Untersuchung konkurrierender Zugriffe bei leitungsvermittelnden Kommunikationssystemen

Kommunikationssysteme mussen eine sehr hohe Verfügbarkeit haben. Fehler in der Software dieser Systeme konnen zum Ausfall des gesamten Telekommunikationsnetzes fuhren. Aus diesem Grund bedarf es einer hohen Qualitat beim Test derartiger Systeme. Der Ausgangspunkt dieser Arbeit waren Fehlerbeschreibungen aufgetretener Versagen der Fehlerklasse "konkurrierende Zugriffe" beim Test eines neu entwickelten 40 GBit Ubertragungssystems in der Industrie. Es wird untersucht, wie die Auftrittshaufigkeit solcher Versagen mittels Lasttests erhoht werden kann. Die hier vorgestellte neuartige Untersuchung basiert auf einem stochastischen Simulationsmodell. Die daraus gewonnenen Ergebnisse werden mit den in einem Wahrscheinlichkeitsmodell analytisch ermittelten Auftrittshaufigkeiten verglichen. Dabei ist eine der zentralen Fragestellungen die Abhangigkeit der Auftrittshaufigkeit von verschiedenen Parametern wie z.B. der Anzahl der geschalteten Verbindungen. Weitere neue Erkenntnisse zur Auftrittshaufigkeit in Abhangigkeit von Betriebssystemeigenschaften werden gewonnen. Potentielle Varianzmoglichkeiten bei der Durchfuhrung von Lasttests zur Steigerung der Auftrittshaufigkeit und deren Relevanz werden bestimmt. Mit dieser Arbeit steht erstmals eine Beschreibung einer systematischen Vorgehensweise bei der Durchfuhrung von Lasttests an Kommunikationssystemen in der Industrie zur Verfugung. Dadurch ist eine verbesserte Analyse dieser Art von Softwarefehlern moglich. Somit wird eine hohere Verfugbarkeit der Kommunikationssysteme im Betrieb beim Kunden erreicht.