Adapting TDL to Provide Testing Support for Executable DSLs. - Archive ouverte HAL
Article Dans Une Revue The Journal of Object Technology Année : 2021

Adapting TDL to Provide Testing Support for Executable DSLs.

Résumé

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.
Fichier principal
Vignette du fichier
ECMFA_2021_camera-ready.pdf (8.3 Mo) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-03265196 , version 1 (19-06-2021)

Identifiants

Citer

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

Altmetric

Partager

More