| Popis: |
Verteilte Systeme bestehen aus nebenläufigen Komponenten, die miteinander kommunizieren. Die klassische Lösung mittels Pfadsuche in Zustandsdiagrammen für den Integrationstest zustandsbehafteter Komponenten basiert auf der Konstruktion eines globalen Zustandsraumes. Jedoch sind zur Generierungszeit manche Pfade nicht bestimmbar, ohne Berücksichtigung der aktuellen Werte der Attribute, die zur Laufzeit den Prozess steuern. Die 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. |
