-
Notifications
You must be signed in to change notification settings - Fork 5
SpaceEngineers
EvoMBT supports the generation of abstract test cases for the game Space Engineers. Space Engineers support is under continuous development. Currently, EvoMBT generates and executes test cases on a single Space Engineers level derived from the Lab Recruits level random_medium.
The execution of test cases on Space Engineers requires a valid installation of Space Engineers with the DLC Sparks of the Future. Moreover, the iv4XR Space Engineers Plugin has to be installed following How to run the game with plugin instructions.
Generation of abstract test cases for Space Engineers is performed with the following command
java -jar target/EvoMBT-x.x.x-jar-with-dependencies.jar -sbt -Dsut_efsm=labrecruits.random_medium
EvoMBT output folder follows the same structure defined in the dedicated wiki page.
Start Space Engineers before running test cases. Execution is performed running the following command
java -jar target/EvoMBT-x.x.x-jar-with-dependencies.jar -exec_on_sut -Dsut=SE -tests_dir=path/to/tests/folder/
where path/to/tests/folder/ is the folder that contains the abstract test cases generated in the previous step.