TestCaseFSM_1 Class Reference

#include <TestCaseFSM_1.h>

Inheritance diagram for TestCaseFSM_1:

List of all members.

---

Detailed Description

Verify the initialization and configuration of the CC_FSM class.

One instance of the class is created and the following tests are performed upon it:

1. The correctness of the class identifier is verified.
2. It is verified that the object configuration service immediately after object creation reports "object not configured".
3. The number of states is set and it is verified that this is correctly reported.
4. Four dummy FsmStates are loaded into the FSM and it is verified that the load operation is correctly performed.
5. Non-nominal behaviour check: an attempt is made to load a state at an illegal location and it is verified that the correct event is generated.
6. The FSM is reset and it is checked that all state transitions are initialized to "enabled".
7. The correctness of the default state is verified.
8. Non-nominal behviour check: unload one state and check that the object configuration service reports "object not configured" (this check is inserted to ensure full statement coverage of the class under test).
9. Reload the state and check that the object configuration service now reports "object configured".

See also:

CC_FSM

Author:

Alessandro Pasetti (P&P Software GmbH)

Version:

1.0

Definition at line 42 of file TestCaseFSM_1.h.

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

---

Member Function Documentation

void TestCaseFSM_1::runTestCase (  void   )  [virtual]

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

---

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

• TestCaseFSM_1.h
• TestCaseFSM_1.cpp

Copyright 2003 P&P Software GmbH - All Rights Reserved