123456789 |
- h1. YAKINDU Statechart Tools – Testcase 03 - Simulation
- |_. Nr |_. Testname |_. Test Instructions |_. Postconditions |_. Status|
- | 3.1 | Run Configuration | <ol><li><p>Select the _TestProject_ project.<p>Select *Run → Run Configurations…*.</p></li><li><p>Select _Statechart Simulation_.</p></li><li><p>Click on the *New* button (upper left corner).</p></li><li><p>Click on the _Search_ button.</p></li><li><p>Begin to type @Staircase@ into the _Select a resource to open_ field.</p></li><li><p>As soon as _Staircase.sct_ appears, select it.</p></li><li><p>Click on the *OK* button.</p></li><li><p>Click on the *Apply* button to save the settings.</p></li><li><p>Click on the *Run* button to start simulation.</p></li><li><p>In the _Simulation_ view, expand the entries in the _Name_ column.</p></li></ol> | The simulation is started.<p>The _SC Simulation_ perspective is activated.</p><p>State *LightOff* is highlighted (red).</p><p>The _Simulation_ view displays the variable _light_ (value _false_), the _keypress_ event, and the time event.</p> | %{color:red}open% |
- | 3.2 | Change the state | Click on the event _keypress_ in the _Simulation_ view. | <ul><li><p>State *LightOff* is dehighlighted.</p></li><li><p>State *LightOn* is highlighted (yellow).</p></li><li><p>The transition from *LightOff* to *LightOn* is colored orange.</p></li><li><p>Variable _light_ is set to true.</p></li><li><p>After 30 seconds state *LightOff* and it's incoming transition become highlighted, while *LightOn* and its incoming transactions become unhighlighted.</p></li><li><p>Variable _light_ is set to _false_.</p></li></ul> | %{color:red}open% |
- | 3.3 | Stop the simulation | Click the *Terminate* button (red square) to stop the simulation. | <ul><li><p>The simulation is stopped.</p></li><li><p>No state is highlighted.</p></li><li><p>The perspective has changed from _SC Simulation_ to _SC Modeling_.</p></li></ul> | %{color:red}open% |
- | 3.4 | Check transition priorities | <ol><li><p>Make a new transition from *LightOff* to *LightOn*.</p></li><li><p>In _Window → Preferences → YAKINDU SCT → Diagram Appearance_ enable _Show transition priority_.</p></li><li><p>Click *OK*.</p></li></ol> | The transitions with *LightOff* as their source state now have little numbers at the start of the transitions arc, indicating their respective priorities. | %{color:red}open% |
- | 3.4.1 | Check transition priorities | Delete the transition created in 3.4. | The transition is removed. | %{color:red}open% |
|