Commit e632eec2 authored by Faezeh KHORRAM's avatar Faezeh KHORRAM 💬
Browse files

Update README.md

parent ad581ab3
......@@ -3,7 +3,7 @@ XTDL is a generic approach that provides testing facilities for executable DSLs.
**Contents of this repository:**
- *Language_Workbench*
- *Language.sequential_Workbench*
| DSL Definition|
| ------ |
......@@ -12,8 +12,8 @@ XTDL is a generic approach that provides testing facilities for executable DSLs.
*XFSM-ALE*: the complete definition of an executable FSM DSL. The operational semantics is implemented using the ALE metaprogramming approach.
*XFSM-K3*: the complete definition of an executable FSM DSL. The operational semantics is implemented using the Kermeta3 metaprogramming approach.
- *Modeling_Workbench*: A set of models conforming to the provided DSLs along with a set of test cases for each of them.
- *Mutation Testing*: The integration of the TDL Execution Engine with the [WODEL-TEST mutation testing framework](https://gomezabajo.github.io/Wodel/Wodel-Test/) for providing mutation testing of executable models. There are also two sample projects for mutation testing of state machines.
- *Modeling.sequential_Workbench*: A set of models conforming to the provided DSLs along with a set of test cases for each of them.
- *org.etsi.mts.graphical...*: A set of plugins from [TDL open-source project](https://labs.etsi.org/rep/top/ide) which define the graphical concrete syntax of the TDL. We extended the standard to provide model animation.
- *org.imt.atl.ecore2tdl*: An ATL transformation from Ecore to TDL.
- *org.imt.k3tdl.tdlInterpreter*: The operational semantics of TDL language implemented using Kermeta3 metaprogramming approach.
......@@ -32,7 +32,6 @@ XTDL is a generic approach that provides testing facilities for executable DSLs.
- Gemoc studio Version 3.3.0-SNAPSHOT (Based on Eclipse IDE 2020-12) ([download link](https://download.eclipse.org/gemoc/packages/nightly/gemoc_studio-win32.win32.x86_64.zip))
- TDL tools Version 1.0.0 ([udpate site](https://tdl.etsi.org/eclipse/latest/))
- ATL transformation language Version 4.4.0 ([update site](http://download.eclipse.org/mmt/atl/updates/releases/4.4.0))
- WODEL, only for mutation testing ([update site](http://gomezabajo.github.io/Wodel/update-site))
**Setup**:
Find the `GenerateData.mwe` from org.etsi.mts.tdl.graphical.labels.data -> src -> org.etsi.mts.tdl.graphical.labels
......@@ -40,10 +39,10 @@ Right click and select Run As -> MWE2 Workflow
**Using the XTDL**:
To use XTDL for a given DSL, the following steps have to be followed.
1. Import the intended input DSL into the plugins workspace. For example, any of the DSLs in the *Language_Workbench* folder can be used.
1. Import the intended input DSL into the plugins workspace. For example, any of the DSLs in the *Language.sequential_Workbench* folder can be used.
2. Run as `Eclipse Application`
3. In the second workspace, define the models conforming to the input DSL which are going to be tested. For example, the models in the *Modeling_Workbench* folder can be imported.
4. Define test cases for the models defined in the previous step. For example, the tests in the *Modeling_Workbench* folder can be imported.
3. In the second workspace, define the models conforming to the input DSL which are going to be tested. For example, the models in the *Modeling.sequential_Workbench* folder can be imported.
4. Define test cases for the models defined in the previous step. For example, the tests in the *Modeling.sequential_Workbench* folder can be imported.
To write test cases from scratch, do the following steps:
- Create a new `Modeling project` for the definition of the test cases.
- Run the library generator using the GUI icon provided for it (it is in the toolbar and also in the menubar): It pop-ups a new window asking a project and a DSL to be chosen from a list. Choose the project you just created and the DSL imported in the plugins workspace as the input DSL. By clicking the `Finish` button, a set of TDL files (i.e., the TDL library specific to the input DSL) will be defined under the selected project.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment