Return to search

Analyses Automatiques pour le Test de Programmes Orientés Aspect

La programmation orientée aspects sépare les différentes préoccupations pour améliorer la modularité. Ce paradigme introduit de nouveaux défis pour le test. Afin de proposer des solutions efficaces à ces problèmes, nous avons étudié l'utilisation d'AspectJ dans 38 projets libres. Ces observations ont révélé que les aspects sont peu utilisé, et avec précaution, et que la programmation orientée aspect diminue la testabilité en augmentant le couplage. Nous avons développé une analyse statique de l'impact des aspects sur les cas de test. Le but est de déterminer statiquement quels sont les cas de test qui sont impactés par l'introduction d'un aspect et qui doivent être modifiés pour prendre en compte les changements. Cette analyse outillée, vise à limiter le temps d'exécution des cas de test et permet au testeur de se concentrer sur les cas de test qui doivent être modifiés. Nous proposons une approche, implémentée dans un outil nommé AdviceTracer, pour tester les expressions de point de coupe séparément des greffons. Cet outil permet la définition d'un oracle spécifiquement adapté à la détection d'erreurs dans un point de coupe. Ceci permet à l'oracle de tester si un greffon a été correctement tissé, sans dépendre du comportement du greffon. Dans le cadre de cette thèse nous avons eu besoin de différents outils d'analyse. AjMetrics est un outil qui mesure diverses métriques sur les programmes orientés aspect en utilisant un formalisme. AjMutator est un outil d'analyse de mutations de programmes orientés aspect, qui est capable d'insérer des erreurs dans les expressions de point de coupe.

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00512178
Date02 December 2009
CreatorsDelamare, Romain
PublisherUniversité Rennes 1
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0019 seconds