Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

Adapting TDL to Provide Testing Support for Executable DSLs.

Abstract : Testing is one of the most prevalent and successful verification and validation (V&V) techniques used in the field of software engineering. While a large number of testing frameworks exist for general-purpose programming languages, providing testing facilities for any given executable Domain Specific Language (xDSL) remains a costly and challenging task. In this context, a standard such as the Test Description Language (TDL) appears as a suitable foundation for the definition of a generic testing approach for xDSLs. Unfortunately, TDL does not provide the domain-specific concepts required to write test cases for a given xDSL and does not include any model execution facilities. Our contribution addresses these limitations and thereby provides a fully generic testing approach for xDSLs based on TDL. Required TDL domain-specific concepts are automatically inferred from the xDSL definition through a model transformation into TDL. Model execution facilities are provided through the definition of a refined operational semantics for TDL. The application of our approach on 5 different xDSLs shows its generality and that it can successfully be used for testing executable models.
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03265196
Contributor : Faezeh Khorram Connect in order to contact the contributor
Submitted on : Saturday, June 19, 2021 - 11:58:11 AM
Last modification on : Wednesday, April 27, 2022 - 3:46:32 AM
Long-term archiving on: : Monday, September 20, 2021 - 6:10:56 PM

File

ECMFA_2021_camera-ready.pdf
Publisher files allowed on an open archive

Identifiers

Citation

Faezeh Khorram, Erwan Bousse, Jean-Marie Mottu, Gerson Sunyé. Adapting TDL to Provide Testing Support for Executable DSLs.. The Journal of Object Technology, Chair of Software Engineering, 2021, 20 (3), pp.6:1-15. ⟨10.5381/jot.2021.20.3.a6⟩. ⟨hal-03265196⟩

Share

Metrics

Record views

76

Files downloads

48