Advanced testing and debugging support for reactive executable DSLs

Executable Domain-Specific Languages (xDSLs) allow the definition and the execution of behavioral models. Some behavioral models are reactive, meaning that during their execution, they accept external events and react by exposing events to the external environment. Since complex interaction may occu...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:Software and systems modeling Ročník 22; číslo 3; s. 819 - 845
Hlavní autoři: Khorram, Faezeh, Bousse, Erwan, Mottu, Jean-Marie, Sunyé, Gerson
Médium: Journal Article
Jazyk:angličtina
Vydáno: Berlin/Heidelberg Springer Berlin Heidelberg 01.06.2023
Springer Nature B.V
Springer Verlag
Témata:
Compilers
Computer Science
Debugging
Domain specific languages
Information Systems Applications (incl.Internet)
Interpreters
IT in Business
Language
Measurement techniques
Modeling and Simulation
Mutation
Programming Languages
Programming Techniques
Semantics
Software
Software Engineering
Software Engineering/Programming and Operating Systems
Specification and description languages
Subject specialists
Test facilities
Theme Section Paper
Writing
Mutation analysis
Reactive executable DSL
Test description language
Debugging
Testing
Reactive Executable DSL
Test Description Language
Mutation Analysis
ISSN:1619-1366, 1619-1374
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Executable Domain-Specific Languages (xDSLs) allow the definition and the execution of behavioral models. Some behavioral models are reactive, meaning that during their execution, they accept external events and react by exposing events to the external environment. Since complex interaction may occur between the reactive model and the external environment, they should be tested as early as possible to ensure the correctness of their behavior. In this paper, we propose a set of generic testing facilities for reactive xDSLs using the standardized Test Description Language (TDL). Given a reactive xDSL, we generate a TDL library enabling the domain experts to write and run event-driven TDL test cases for conforming reactive models. To further support the domain expert, the approach integrates interactive debugging to help in localizing defects, and mutation analysis to measure the quality of test cases. We evaluate the level of genericity of the approach by successfully writing, executing, and analyzing 247 event-driven TDL test cases for 70 models conforming to two different reactive xDSLs.
Bibliografie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:1619-1366
1619-1374
DOI:10.1007/s10270-022-01025-w