Analyses Automatiques pour le Test de Programmes Orientés Aspect

Romain Delamare 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Aspect-oriented programming is a new paradigm that separates the different concerns to improve the modularity. This paradigm introduces new challenges for the validation. To offer effective solutions to these problems, we have studied the use of Aspect in 38 open source projects. These observations have shown that the aspects are rarely used, and with great caution, and that aspect-oriented programming reduces the testability by increasing the coupling. We have developed a static analysis of the impact of aspects on the test cases. The objective is to statically determine which test cases are impacted by the aspects and should be modified to take the changes into account. This analysis, supported by a tool, aims at reducing the execution time of the test cases and allows the tester to focus on the test cases that need to be modified. We propose an approach, implemented in a tool, AdviceTracer, to test test the pointcut descriptors separately from the advices. This tool allows the definition of oracles that are specific to the detection of faults in the pointcut descriptors. This allows the oracle to test if an advice has been correctly woven without depending on the behavior of the advice. In the context of this thesis, we have developed different analysis tools. AjMetrics is a tool which measures different metrics on aspect-oriented programs, using a formalism. AjMutator is a tool for the mutation analysis of aspect-oriented programs, which is able to insert faults in the poincut descriptors.
keyword : IDM MOA test
Document type :
Theses
Complete list of metadatas

Cited literature [66 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00512178
Contributor : Loïc Lesage <>
Submitted on : Friday, August 27, 2010 - 4:33:55 PM
Last modification on : Friday, November 16, 2018 - 1:23:59 AM
Long-term archiving on : Tuesday, October 23, 2012 - 3:15:30 PM

Identifiers

  • HAL Id : tel-00512178, version 1

Citation

Romain Delamare. Analyses Automatiques pour le Test de Programmes Orientés Aspect. Génie logiciel [cs.SE]. Université Rennes 1, 2009. Français. ⟨tel-00512178⟩

Share

Metrics

Record views

347

Files downloads

767