Modellgestützte Untersuchung konkurrierender Zugriffe bei...
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 ...