Aswolinskiy, WitaliLei, YingfanHeidrich, Mike2023-05-032023-05-032008https://dl.gi.de/handle/20.500.12116/41368Verteilte Systeme bestehen aus nebenläufigen Komponenten, die miteinander über Nachrichten oder Ereignisse kommunizieren. Ob das System sich korrekt verhält, bestimmt nicht nur der Inhalt und die Reihenfolge von Ereignissen, sondern auch ihr zeitlicher Abstand. Die klassische Lösung mittels Pfadsuche in Zustandsdigrammen für den Integrationstest zustandsbehafteter Komponenten basiert auf der Konstruktion eines globalen Zustandsraumes. Bei der Pfadgenerierung bleibt jedoch ein wesentliches Problem ungelöst: zur Generierungszeit sind manche Pfade nicht bestimmbar, ohne Berücksichtigung der aktuellen Werte der Attribute, die zur Laufzeit den Prozess steuern. Die in dieser Arbeit vorgestellte Lösung umfasst die zufallsbasierte bzw. evolutionäre Bestimmung der an das System zu sendenden Ereignisse und ihres Abstands. Die generierten Testfälle prüfen, ob eine Implementierung die modellierten Anforderungen erfüllt.deText/Journal Article0720-8928