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

Erwan Bousse 1, 2
Abstract : Dynamic verification and validation (V&V) techniques are required to ensure the correctness of executable models. Most of these techniques rely on the concept of execution trace, which is a sequence containing information about an execution. Therefore, to enable dynamic V&V of executable models conforming to any executable domain-specific modeling language (xDSML), it is crucial to provide efficient facilities to construct and manipulate all kinds of execution traces. To that effect, we first propose a scalable model cloning approach to conveniently construct generic execution traces using model clones. Using a random metamodel generator, we show that this approach is scalable in memory with little manipulation overhead. We then present a generative approach to define multidimensional and domain-specific execution trace metamodels, which consists in creating the execution trace data structure specific to an xDSML. Thereby, execution traces of models conforming to this xDSML can be efficiently captured and manipulated in a domain-specific way. We apply this approach to two existing dynamic V&V techniques, namely semantic differencing and omniscient debugging. We show that such a generated execution trace metamodel provides good usability and scalability for dynamic early V&V support for any xDSML. Our work have been implemented and integrated within the GEMOC Studio, which is a language and modeling workbench resulting from the eponym international initiative.
Document type :
Theses
Complete list of metadatas

Cited literature [155 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01238005
Contributor : Abes Star <>
Submitted on : Friday, April 1, 2016 - 10:55:06 AM
Last modification on : Friday, January 11, 2019 - 4:22:52 PM
Long-term archiving on : Sunday, July 3, 2016 - 12:25:05 PM

File

BOUSSE_Erwan.pdf
Version validated by the jury (STAR)

Identifiers

  • 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⟩

Share

Metrics

Record views

484

Files downloads

326