RKH
Tests
rkh_bunner.jpg

Prev: Home
Next: Examples


The goal in this section is to explain how to test a state machine using the RKH framework and its recommended test fixture. To do that is proposed a lot of complete state machines, which are shown in the following figures.

Also, this section summarizes the main rules and concepts for making the most out of RKH features. For more information see section Module, unit tests and tools for TDD

smTest.png
Figure - Used state machine for transition unit tests

smPseudoTest.PNG
Figure - Used state machine for pseudostate unit tests

smInitialPseudoTest.PNG
Figure - Used state machine for testing initial pseudostate of a composite state

smInitial0.PNG
Figure - Used state machine for testing initial pseudostate of root region with default transition to a simple state

smInitial1.PNG
Figure - Used state machine for testing initial pseudostate of root region with default transition to a composite state

smInitial2.PNG
Figure - Used state machine for testing initial pseudostate of root region with default transition to a nested simple state

smInitial3.PNG
Figure - Used state machine for testing initial pseudostate of root region with default transition to a nested composite state

smInitial4.PNG
Figure - Used state machine for testing initial pseudostate of root region with default transition to a junction pseudostate

smInitial5.PNG
Figure - Used state machine for testing initial pseudostate of root region with default transition to a choice pseudostate

Prev: Home
Next: Examples