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.
Type de document :
Communication dans un congrès
ACM/IFIP/USENIX 9th International Middleware Conference, 2008, Leuven, Belgium. 2008, 〈10.1007/978-3-540-89856-6_10〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00418841
Contributeur : Rémi Douence <>
Soumis le : lundi 21 septembre 2009 - 18:05:18
Dernière modification le : vendredi 22 juin 2018 - 09:31:11

Lien texte intégral

Identifiants

Citation

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. 2008, 〈10.1007/978-3-540-89856-6_10〉. 〈inria-00418841〉

Partager

Métriques

Consultations de la notice

172