Create JUnit test suite covering the generation, translation and exploration of design spaces
Create a test suite covering the whole DSE process including
- the generation of constraint and objective pattern,
- the translation of DSEML to SMT,
- the design space exploration as well as
- the export of solutions.
The test cases shall be constructed so as to cover the whole toolchain. While this results in a coarse granularity of tests it comes with the benefit of performing assertions over easily accessible structured data (i.e. solution models).
(from redmine: issue id 3773, created on 2019-07-12, closed on 2019-09-30)