Debugging and testing middleware with aspect-based control-flow and causal patterns

摘要: Many tasks that involve the dynamic manipulation of middleware and large-scale distributed applications, such as debugging testing, require monitoring intricate relationships execution events trigger modifications to executing system. Furthermore, often are interest only if they occur part specific traces not all possible non-deterministic interleavings in these traces. Current techniques tools for definition manipulations provide very limited support event do allow concisely define restrictions on interleaving events.In this paper, we argue use aspect-based high-level programming abstractions between systems control events. Concretely, following contributions: (i) motivate improve current testing methods middleware, (ii) introduce corresponding language pointcuts advice defined terms causal sequences by extending an existing aspect-oriented system systems, (iii) evaluate our approach context Java-based middlewares, particular, JBoss Cache replicated caching.