Auf dem Weg zu veränderungsfähigen Testmodellen in adaptiven Softwaresystemen

Die Hauptmotivation f r selbstadaptive Computersysteme ist die Selbstanpassung der Software an eine sich ver ndernde Umgebung. Adaptive Computersysteme k nnen ihre eigenen Komponenten hinzuf gen, entfernen und ersetzen, um auf Ver nderungen im System selbst und in der Betriebsumgebung eines Softwaresystems zu reagieren. Obwohl diese Systeme ein gewisses Ma an Sicherheit gegen ber neuen Umgebungen bieten k nnen, sollten ihre strukturellen und verhaltensbezogenen Ver nderungen nach der Anpassung zur Laufzeit validiert werden. Das Testen dynamisch adaptiver Systeme ist u erst schwierig, da sich sowohl die Struktur als auch das Verhalten des Systems w hrend seiner Ausf hrung ndern k nnen. Nach der Selbstanpassung in autonomer Software k nnen neue Komponenten in das Softwaresystem integriert werden. Wenn neue Komponenten integriert werden, ist deren Testen eine wichtige Phase, um sicherzustellen, dass sie wie erwartet interagieren und sich verhalten. Wir schlagen einen modellgesteuerten Ansatz vor, der auf der Weitergabe von nderungen basiert, um ein Laufzeittestmodell f r ein Softwaresystem mit dem Modell seiner Komponentenstruktur nach der dynamischen Anpassung zu synchronisieren.