Execution trace management to support dynamic V&V for executable DSMLs

Erwan Bousse 1, 2
Résumé : Les techniques dynamiques de vérification et validation (V&V) de modèles sont nécessaires pour assurer la qualité des modèles exécutables. La plupart de ces techniques reposent sur la concept de trace d'exécution, une séquence contenant un ensemble d'informations sur une exécution. Par conséquent, pour permettre la V&V dynamique de modèles exécutables conformes à n'importe quel langage de modélisation dédié exécutable (LMDx), il est crucial de fournir des outils pour construire et manipuler toutes sortes de traces d'exécution. À cet effet, nous proposons d'abord une approche de clonage efficace de modèles afin de pouvoir construire des traces d'exécution génériques à base de clones. À l'aide d'un générateur aléatoire de métamodèles, nous montrons que cette approche passe à l'échelle avec seulement un léger surcoût lors de la manipulation de clones. Nous présentons ensuite une approche générative pour définir des métamodèles dédiés et multidimensionnels pour représenter des traces d'exécution, qui consiste à créer la structure de données spécifique aux traces d'exécution d'un LMDx donné. Ainsi, les traces d'exécution de modèles conformes à ce LMDx peuvent être capturées et manipulées efficacement de manière dédiée et à l'aide de différentes dimensions. Nous appliquons cette approche à deux techniques de V&V dynamiques existantes, à savoir la différentiation sémantique et le débogage omniscient. Nous montrons qu'un tel métamodèle de traces d'exécution généré fournit une bonne facilité d'usage et un bon passage à l'échelle pour la V&V dynamique au plus tôt pour n'importe quel LMDx. Nous avons intégré notre travail au sein du GEMOC Studio, un environnement de définition de langages et de modélisation issu de l'initiative internationale du même nom.
Type de document :
Thèse
Software Engineering [cs.SE]. Université Rennes 1, 2015. English. 〈NNT : 2015REN1S082〉
Liste complète des métadonnées

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

https://tel.archives-ouvertes.fr/tel-01238005
Contributeur : Abes Star <>
Soumis le : vendredi 1 avril 2016 - 10:55:06
Dernière modification le : jeudi 21 septembre 2017 - 01:04:57
Document(s) archivé(s) le : dimanche 3 juillet 2016 - 12:25:05

Fichier

BOUSSE_Erwan.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01238005, version 3

Citation

Erwan Bousse. Execution trace management to support dynamic V&V for executable DSMLs. Software Engineering [cs.SE]. Université Rennes 1, 2015. English. 〈NNT : 2015REN1S082〉. 〈tel-01238005v3〉

Partager

Métriques

Consultations de
la notice

242

Téléchargements du document

144