|
|
@@ -3,7 +3,7 @@
|
|
|
FMIMOBSTER (Functional Mockup Interface Model Based Tester) is a tool that applies the principles of model based testing to improve the conformance of Functional Mockup Units to the Functional Mockup Interface Standard.
|
|
|
|
|
|
This is a command line application that tests an FMU.
|
|
|
-It uses the a slightly modified version of the tool [modbat](https://github.com/cyrille-artho/modbat) to generate random walks in a graph that represents all possible interactions with an FMU.
|
|
|
+It uses a slightly modified version of the tool [modbat](https://github.com/cyrille-artho/modbat) to generate random walks in a graph that represents all possible interactions with an FMU.
|
|
|
|
|
|
Such graph looks like the following.
|
|
|
|
|
|
@@ -21,7 +21,9 @@ If, during a test, an assertion fails, or an uncaught exception happens, the too
|
|
|
|
|
|
## Installing and Running the App
|
|
|
|
|
|
-Download the app jar.
|
|
|
+Make sure to have Java 11 installed. See [this issue](https://msdl.uantwerpen.be/git/claudio/FMIMOBSTER/issues/2).
|
|
|
+
|
|
|
+Download the app jar and example from the releases.
|
|
|
|
|
|
Run the following, for the list of commands:
|
|
|
|