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

Luis Daniel Benavides Navarro 1, 2 Rémi Douence 1, 3 Mario Südholt 1, 2
1 OBASCO - Objects, aspects and components
Mines Nantes - Mines Nantes, Inria Rennes – Bretagne Atlantique
3 ASCOLA - Aspect and composition languages
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : Many tasks that involve the dynamic manipulation of mid- dleware and large-scale distributed applications, such as debugging and testing, require the monitoring of intricate relationships of execution events that trigger modifications to the executing system. Furthermore, events often are of interest only if they occur as part of specific execu- tion traces and not all possible non-deterministic interleavings of events in these traces. Current techniques and tools for the definition of such manipulations provide only very limited support for such event relation- ships and do not allow to concisely define restrictions on the interleaving of events. In this paper, we argue for the use of high-level programming abstractions for the definition of relationships between execution events of distributed systems and the control of non-deterministic interleavings of events. Con- cretely, we provide the following contributions: we (i) motivate that such abstractions improve on current debugging and testing methods for mid- dleware, (ii) introduce corresponding language mechanisms as well as corresponding implementation support by extending an existing aspect- oriented system for the dynamic manipulation of distributed systems, and (iii) evaluate our approach in the context of the debugging and test- ing of JBoss Cache, a Java-based middleware for replicated caching.
Complete list of metadatas
Contributor : Rémi Douence <>
Submitted on : Monday, September 21, 2009 - 6:05:18 PM
Last modification on : Wednesday, December 5, 2018 - 1:22:13 AM

Links full text



Luis Daniel Benavides Navarro, Rémi Douence, Mario Südholt. Debugging and testing middleware with aspect-based control-flow and causal patterns. ACM/IFIP/USENIX 9th International Middleware Conference, 2008, Leuven, Belgium. ⟨10.1007/978-3-540-89856-6_10⟩. ⟨inria-00418841⟩



Record views