Abstrakt. Många uppgifter som innebär dynamisk manipulation av mellanprogram och storskaliga distribuerade program, såsom felsökning och testning, kräver övervakning av invecklade relationer av utförande händelser som utlöser ändringar i det verkställande systemet. Dessutom är händelser ofta av intresse endast om de förekommer som en del av specifika avrättning spår och inte alla möjliga icke-deterministiska interleaving av händelser i dessa spår. Nuvarande tekniker och verktyg för att definiera sådana manipulationer ger endast mycket begränsat stöd för sådana händelserelationer och gör det inte möjligt att kortfattat definiera begränsningar av interleating av händelser. I detta dokument argumenterar vi för användningen av aspekterbaserade högnivåprogrammeringsabstractioner för att definiera sambanden mellan genomförandehändelser i distribuerade system och kontroll av icke-deterministiska interleavings av händelser. Konkret ger vi följande bidrag: vi (i) motiverar att sådana abstraktioner förbättrar nuvarande felsöknings- och testmetoder för mellanprogram, (ii) inför motsvarande språkstöd för pointcuts och råd som definieras i termer av kausala händelsesekvenser genom att utöka ett befintligt aspekt-orienterat system för dynamisk manipulation av distribuerade system, och (iii) utvärdera vår strategi i samband med felsökning och testning av Java-baserade mellanprogram, särskilt JBoss Cache för replikerad cache.
I Navarro m.fl. REF, aspekt-baserade abstraktioner definieras för att förbättra felsökning och provningsmetoder för mellanprogram.
Debugging and testing middleware with aspect-based control-flow and causal patterns
{'venue': 'ICPP (2)', 'journal': None, 'mag_field_of_study': ['Computer Science']}