https://github.com/emoflon/emoflon-ibex-tests
A collection of all tests for ibex variants
https://github.com/emoflon/emoflon-ibex-tests
graph-api graph-transformation graph-transformation-systems model-driven-development model-transformations tgg triple-graph-grammars
Last synced: 5 months ago
JSON representation
A collection of all tests for ibex variants
- Host: GitHub
- URL: https://github.com/emoflon/emoflon-ibex-tests
- Owner: eMoflon
- Created: 2017-07-10T18:01:41.000Z (almost 8 years ago)
- Default Branch: master
- Last Pushed: 2024-10-17T13:35:54.000Z (6 months ago)
- Last Synced: 2024-10-19T19:17:35.194Z (6 months ago)
- Topics: graph-api, graph-transformation, graph-transformation-systems, model-driven-development, model-transformations, tgg, triple-graph-grammars
- Language: Java
- Size: 82.1 MB
- Stars: 2
- Watchers: 11
- Forks: 0
- Open Issues: 9
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Tests for eMoflon::IBeX
A collection of JUnit tests for [eMoflon::IBeX](https://github.com/eMoflon/emoflon-ibex).
## Testsuites
- `testsuites/TestsuiteGT`: JUnit tests for graph transformations (GT) via the Java API generated from the GT rule specification.
- `testsuites/Testsuite`: JUnit tests for consistency checking, synchronization, and model generation with Triple Graph Grammars (TGGs).
## How to run the tests
1. Install [eMoflon::IBeX](https://github.com/eMoflon/emoflon-ibex).
1. Go to ```File/Import.../Team/Team Project Set```, check URL and enter in and import **one** of these PSF files:
- All **GT**-related projects tests: https://raw.githubusercontent.com/eMoflon/emoflon-ibex-tests/master/testProjectSet-GT.psf
- All **TGG**-related projects and tests: https://raw.githubusercontent.com/eMoflon/emoflon-ibex-tests/master/testProjectSet-TGG.psf
- All projects and tests: https://raw.githubusercontent.com/eMoflon/emoflon-ibex-tests/master/testProjectSet.psf
1. Click on the projects `TestsuiteGT` and `Testsuite` by selecting one of the `*.launch` files. Typically, you want to run one of these files:
- `TestsuiteGT_HiPE.launch`
- `Testsuite_HiPE_SAT4J.launch`