FSM test case motivations
Document Actions
The following table shows provided models in the "model" folder and their uses
| Input FSM Model | Motivation | Kermeta Run Configuration Uses |
| complextodet.fsm | a FSM model with a lot of states and transitions for testing and improving the determinization algorithm | fsm.demo.determinization (not by default) fsm.demo.checkInvariants (not by default) |
| exampledemo.fsm | a very simple example with 2 states and non-deterministic transitions => checkInvariant returns "the invariant will be violated" | fsm.demo.checkInvariants (not by default) |
| helloWorld.fsm | an example for printing "Helloworld!" | fsm.demo.loaderFsm (not by default) |
| sample1.fsm | that is the nominal test case: a very simple example with 2 states and with deterministic transitions => "none invariant will be violated" | fsm.demo.checkInvariants (by default) fsm.demo.loaderFsm (by default) |
| sample1postv.fsm | an example with 2 states and with deterministic transitions, but the first transition has not output parameter, thus the post condition will be violated | fsm.demo.loaderFsm4prepost (by default) |
| samplerun.fsm | an example with 2 states and deterministic transitions | fsm.demo.loaderFsm (not by default) |
| sampletodeterminize.fsm | an example with 2 states and non-deterministic transitions | fsm.demo.determinization (by default) |
Note:
- "not by default" means that you must adapt arguments in the given "Kermeta Run Configuration".
- *.fsmdi are the graphical view of FSM models.
TODO: move this article to a docbook format and insert it in the FSM Tutorial series.