TestCaseFSM_2 Class Reference

#include <TestCaseFSM_2.h>

Inheritance diagram for TestCaseFSM_2:

List of all members.

Detailed Description

Verify the basic state transition operations of an FSM.

One FSM instance is created and configured with 4 dummy FsmStates (states 0 to 3). Three FsmEvents are created and configured to be associated to the FSM and to trigger transitions to, respectively, states 1, 2 and 0. The following tests are then performed:

It is verified that the object configuration service on the FSM reports "object configured".
The first FsmEvent is fired and it is verified that the FSM makes a transition to state 1. It is also verified that the transition is only made after the FSM has been activated.
It is checked that the correct event is created to record the occurrence of the state transition.
The FSM is activated twice and it is verified that no state transitions take place.
The second and third FsmEvents are fired in sequence and it is verified that only the second firing has effect.
Transitions into state 2 are disabled and then the second FsmEvent is fired and it is verified that this has no effect.
It is checked that the correct event is created to record the failure of a state transition to occur due to the transition being disabled.
Non-nominal behaviour check: an attempt is made to disable a transition into a non-existent state and it is checked that the correct event is generated.

See also:

CC_FSM

DC_FsmEvent

DC_DummyFsmState

Author:: Alessandro Pasetti (P&P Software GmbH)

Version:: 1.0

Definition at line 48 of file TestCaseFSM_2.h.

Public Member Functions

TestCaseFSM_2 (void)

Set the identifier and the name of the test case to, respectively, ID_FSM*10+2 and "TestCaseFSM_2".

virtual void runTestCase (void)

Execute the test case.

Member Function Documentation

void TestCaseFSM_2::runTestCase ( void ) [virtual]

Execute the test case.
See class comment for details.
Reimplemented from TestCaseGenericSetUp.
Definition at line 26 of file TestCaseFSM_2.cpp.

The documentation for this class was generated from the following files:


Public Member Functions
	TestCaseFSM_2 (void)
	Set the identifier and the name of the test case to, respectively, ID_FSM*10+2 and "TestCaseFSM_2".
virtual void	runTestCase (void)
	Execute the test case.