Tests for TRACE4CPS thesis functionality
This repository contains additional tests for the functionality of Eclipse TRACE4CPS™ implemented for Edo Mangelaars' thesis:
This was done in a separate repository in order to more easily add a Maven dependency on the junit-quickcheck library by Paul Holser.
Here, MTL formulas and traces are randomly generated so that some important properties for the correctness of the functionality can be checked on as large (or representative) a part of the total space of ETL properties and traces as possible. These tests take quite some time to run (depending on the number of generated inputs), but give great confidence in the correctness of the implementation and its underlying assumptions.