Skip to Main content Skip to Navigation
Theses

Execution Trace Management to Support Dynamic V&V for Executable DSMLs

Erwan Bousse 1
1 DiverSe - Diversity-centric Software Engineering
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
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 multidimensionels 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.
Document type :
Theses
Complete list of metadatas

Cited literature [157 references]  Display  Hide  Download

https://hal.inria.fr/tel-01238005
Contributor : Erwan Bousse <>
Submitted on : Sunday, January 17, 2016 - 3:06:24 PM
Last modification on : Thursday, March 5, 2020 - 2:56:00 PM

Licence


Distributed under a Creative Commons Attribution - ShareAlike 4.0 International License

Identifiers

  • HAL Id : tel-01238005, version 2

Citation

Erwan Bousse. Execution Trace Management to Support Dynamic V&V for Executable DSMLs. Software Engineering [cs.SE]. Rennes 1, 2015. English. ⟨tel-01238005v2⟩

Share

Metrics

Record views

448

Files downloads

405