Introduction du test dans la modélisation par aspects

Abstract : In Model-Driven Software Development (MDSD), models represent views of software at different levels of abstraction and transformations specify refinements from one level of abstraction to another. Aspect Oriented Modelling (AOM) complements MDSD by extending the decomposition capabilities with separation of concerns at the same level of abstraction. Using transformations in software development has many benefits, but when an error is introduced into a model, it is propagated to later refinements. Such propagation makes it harder to trace errors to their source and consequently more difficult to correct. Concern models reduce the scope for error propagation as errors are localised. However, to ensure that errors are not propagated between concern models at different levels of abstraction, a technique for detecting errors in concern models is required. In this paper we present KerTheme, an approach to supporting error detection in AO models through testing. In KerTheme, testing is supported by defining two views of a concern: an executable model and a model of its expected behaviour. The testing process consists of checking the consistency between a trace from executing the concern model and the expected behaviour of the concern.
Type de document :
Communication dans un congrès
Troisième Journées sur l'Ingénierie Dirigée par les Modèles (IDM'2007), 2007, Toulouse, France, France. INPT, 2007
Liste complète des métadonnées

Littérature citée [8 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00477564
Contributeur : Didier Vojtisek <>
Soumis le : jeudi 29 avril 2010 - 15:09:34
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : jeudi 30 septembre 2010 - 16:25:35

Fichier

klein07.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00477564, version 1

Citation

Jacques Klein, Benoit Baudry, Olivier Barais, Andrew Jackson. Introduction du test dans la modélisation par aspects. Troisième Journées sur l'Ingénierie Dirigée par les Modèles (IDM'2007), 2007, Toulouse, France, France. INPT, 2007. 〈inria-00477564〉

Partager

Métriques

Consultations de la notice

488

Téléchargements de fichiers

150