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.