Tests
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.
Figure - Used state machine for transition unit tests
Figure - Used state machine for pseudostate unit tests
Figure - Used state machine for testing initial pseudostate of a composite state
Figure - Used state machine for testing initial pseudostate of root region with default transition to a simple state
Figure - Used state machine for testing initial pseudostate of root region with default transition to a composite state
Figure - Used state machine for testing initial pseudostate of root region with default transition to a nested simple state
Figure - Used state machine for testing initial pseudostate of root region with default transition to a nested composite state
Figure - Used state machine for testing initial pseudostate of root region with default transition to a junction pseudostate
Figure - Used state machine for testing initial pseudostate of root region with default transition to a choice pseudostate
Figure - Used state machine for testing initial pseudostate of root region with default transition to a simple state with completion transition
