Room information: EI 5 Hochenegg

In celebration of the 15th anniversary of A-TEST, we have chosen a theme that aligns well with both ISSTA and ECOOP: “Using DSLs for testing and the testing of DSLs.” To mark this A-TEST milestone and to put the “work” in workshop, we are hosting a hands-on session where participants can roll up their sleeves and actively engage in experimenting to test a DSL QL, a language designed for creating web-based questionnaire forms.

When testing a DSL, it is essential to focus on both the language’s implementation (including syntax, type checking, evaluation and rendering) as well as the correct execution of the code generated by the compiler. These aspects ensure the DSL is both robust and effective in its intended domain.

In our workshop, we will approach this from two angles. For testing the language implementation part, we will use a DSL, named TestQL, which been explicitly written in Rascal for testing purposes. For the execution part, we will employ automated scriptless GUI testing with TESTAR to verify the execution of the generated code. But that is not all—the oracles used during the scriptless testing will be automatically generated by using the domain-specific knowledge of state invariants within the DSL, demonstrating how domain knowledge can enhance testing effectiveness.