FW Profile - C1 Implementation
FwSmTestCases.h
Go to the documentation of this file.
1 
19 #ifndef FWSM_TESTCASES_H_
20 #define FWSM_TESTCASES_H_
21 
23 typedef enum {
33 
50 
64 
76 
90 
102 
116 
133 
147 
161 
174 
189 
205 
222 
240 
257 
277 
297 
314 
321 
329 
336 
344 
352 
360 
369 
378 
393 
401 
414 
423 
436 
450 
462 
469 
482 
490 
503 
517 
527 
540 
550 
566 
580 
587 
594 
601 
608 
625 
635 
646 
662 
682 
723 
745 
762 
776 
792 
813 
821 
864 
881 
896 
911 
926 
947 
970 
993 
994 #endif /* FWSM_TESTCASES_H_ */
FwSmTestOutcome_t FwSmTestCaseTrans8()
Verify the order of evaluation of guards on transitions out of a choice pseudo-state.
FwSmTestOutcome_t FwSmTestCaseCheck1()
Verify the ability of FwSmCheck to detect and report the configuration error due to a state in a stat...
FwSmTestOutcome_t FwSmTestCaseDerConfig2()
Create a derived state machine statically and then check the configuration of the newly created state...
FwSmTestOutcome_t FwSmTestCaseExecute1()
Test the Execute command in a configuration where the command only causes the do-action of a simple s...
FwSmTestOutcome_t FwSmTestCaseCheck12()
Verify the ability of FwSmCheck to detect and report the configuration error due a transition having ...
FwSmTestOutcome_t FwSmTestCaseDer4()
Create a derived state machine by extending state machine SM5 (see FwSmMakeTestSM5) and then verify t...
FwSmTestOutcome_t FwSmTestCaseDerConfig1()
Create a derived state machine dynamically and then check the configuration of the newly created stat...
FwSmTestOutcome_t FwSmTestCaseDer5()
Create a derived state machine by extending state machine SM1 (see FwSmMakeTestSM1), override one of its actions and one of its guards, and then verify the correct behaviour of the derived state machine.
FwSmTestOutcome_t FwSmTestCaseTrans6()
Test a transition from one state to another state with an embedded state machine. ...
FwSmTestOutcome_t FwSmTestCaseDer3()
Create a derived state machine by extending state machine SM6 (see FwSmMakeTestSM6) and then verify t...
FwSmTestOutcome_t FwSmTestCaseCheck21()
Configure a state machine to have a state which is not reachable and check that FwSmCheck detects and...
FwSmTestOutcome_t FwSmTestCaseDummySM9Static()
Verify the behaviour of a degenerate state machine which has no transitions other than the transition...
FwSmTestOutcome_t FwSmTestCaseTrans1()
Test a direct transition between two simple states (states S1 and S2 of SM5).
FwSmTestOutcome_t FwSmTestCaseSelfTrans1()
Test a self-transition on a simple state (state S2 of SM4).
FwSmTestOutcome_t FwSmTestCaseCheck18()
Configure a transitions to exceed the maximum number of actions and the maximum number of guards and ...
FwSmTestOutcome_t FwSmTestCaseCheck6()
Verify the ability of FwSmCheck to detect and report the configuration error due an out-going transit...
FwSmTestOutcome_t FwSmTestCaseExecute5()
Verify the 'Execute' command when it triggers a transition from a state to a choice pseudo-state and ...
FwSmTestOutcome_t FwSmTestCaseCheck22()
Configure a state machine to have a choice pseudo-state which is not reachable and check that FwSmChe...
FwSmTestOutcome_t FwSmTestCaseStart1()
Test the Start command on a simple state machine where the initial pseudo-state is directly connected...
FwSmTestOutcome_t FwSmTestCaseTrans3()
Test propagation of a transition command from an SM to its ESM in a situation where the command has n...
FwSmTestOutcome_t FwSmTestCaseStop2()
Test the Stop command for a state machine with an embedded state machine.
FwSmTestOutcome_t FwSmTestCaseTransErr2()
Test a transition which has a choice pseudo-state as both source and destination. ...
FwSmTestOutcome_t FwSmTestCaseTrans2()
Test a transition through a choice pseudo-state between two simple states (states S1 and S2 of SM5)...
FwSmTestOutcome_t FwSmTestCaseCheck20()
Configure a state machine to have too few actions and check that FwSmCheck detects and reports this s...
FwSmTestOutcome_t FwSmTestCaseCheck11()
Verify the ability of the state machine configuration functions to detect and report illegal configur...
FwSmTestOutcome_t FwSmTestCaseConfigErr2()
Configure a state machine and then try to re-configure it and check that the reconfiguration attempt ...
FwSmTestOutcome_t FwSmTestCaseDer2()
Create a derived state machine by extending state machine SM1 (see FwSmMakeTestSM1), override one of its actions and one of its guards, and then verify the correct behaviour of the derived state machine.
FwSmTestOutcome_t FwSmTestCaseStart3()
Test the Start command on a simple state machine where the initial pseudo-state is directly connected...
FwSmTestOutcome_t FwSmTestCaseCheck4()
Verify the ability of FwSmCheck to detect and report the configuration error due to initial pseudo-st...
FwSmTestOutcome_t FwSmTestCaseDerEmbed1()
Verify the ability of the configuration functions of a derived state machines to detect and report er...
FwSmTestOutcome_t FwSmTestCaseCheck10()
Verify the ability of the configuration functions of a state machine to detect and report the followi...
FwSmTestOutcome_t FwSmTestCaseDerConfigErr1()
Verify the ability of the configuration operation on a derived state machine to detect and report err...
FwSmTestOutcome_t FwSmTestCaseStop3()
Test the Stop command for a state machine with an embedded state machine.
FwSmTestOutcome_t FwSmTestCaseTrans5()
Test a transition from a state to the final pseudo-state passing through a choice pseudo-state...
FwSmTestOutcome_t FwSmTestCaseDer6()
Create a derived state machine by extending state machine SM11 (see FwSmMakeTestSM11), and then verify the correct behaviour of the derived state machine.
FwSmTestOutcome_t
Outcome of a state machine test case.
Definition: FwSmTestCases.h:23
FwSmTestOutcome_t FwSmTestCaseCheck7()
Verify the ability of the configuration functions of a state machine to detect and report the followi...
FwSmTestOutcome_t FwSmTestCasePrint1()
Verify the ability of the FwSmPrintConfig function to write to a file the configuration of a state ma...
FwSmTestOutcome_t FwSmTestCaseCheck15()
Verify the ability of the state machine creation function FwSmCreate to detect illegal values of its ...
FwSmTestOutcome_t FwSmTestCaseConfigErr1()
Test an application which attempts to perform illegal configuration operations on a State Machine Des...
FwSmTestOutcome_t FwSmTestCaseTrans4()
Test a transition command which triggers a transition in both the embedding and in the embedded state...
FwSmTestOutcome_t FwSmTestCaseCheck14()
Verify the ability of the configuration functions of a state machine to detect and report the followi...
FwSmTestOutcome_t FwSmTestCaseExecute4()
Test propagation of execution command to an ESM.
FwSmTestOutcome_t FwSmTestCasePrint2()
Verify the ability of the FwSmPrintConfig function to write to a file the configuration of a state ma...
FwSmTestOutcome_t FwSmTestCaseDer1()
Create a derived state machine by extending state machine SM5 (see FwSmMakeTestSM5) and then verify t...
FwSmTestOutcome_t FwSmTestCaseExecute2()
Test the Execute command in a configuration where the command only causes the do-action of a state wi...
FwSmTestOutcome_t FwSmTestCaseCheck8()
Verify the ability of the configuration functions of a state machine to detect and report the followi...
FwSmTestOutcome_t FwSmTestCaseDummySM9()
Verify the behaviour of a degenerate state machine which has no transitions other than the transition...
FwSmTestOutcome_t FwSmTestCaseCheck9()
Verify the ability of the configuration check to detect and report a configuration error in an embedd...
FwSmTestOutcome_t FwSmTestCaseCheck19()
Configure a state machine to have too few actions and check that FwSmCheck detects and reports this s...
FwSmTestOutcome_t FwSmTestCaseTransErr1()
Test a transition which goes through a choice pseudo-state without any out-going transition with a tr...
FwSmTestOutcome_t FwSmTestCaseCheck16()
Verify the ability of the configuration functions of a state machine to detect and report the followi...
FwSmTestOutcome_t FwSmTestCaseCheck5()
Verify the ability of FwSmCheck to detect and report the configuration error due an out-going transit...
FwSmTestOutcome_t FwSmTestCaseDescStatic2()
Verify the correct behaviour of a state machine descriptor which was created statically using the ser...
FwSmTestOutcome_t FwSmTestCaseDescStatic3()
Create state machine SM1 statically and then check that it behaves correctly.
Test case failure.
Definition: FwSmTestCases.h:31
FwSmTestOutcome_t FwSmTestCaseJunction1()
Verify the use of a choice pseudo-state acting as a "junction" to join two branches from two differen...
FwSmTestOutcome_t FwSmTestCaseTrans7()
Verify the order of evaluation of guards on transitions out of a proper state.
FwSmTestOutcome_t FwSmTestCaseCheck3()
Verify the ability of FwSmCheck to detect and report the configuration error due to a transition in a...
FwSmTestOutcome_t FwSmTestCaseCheck2()
Verify the ability of FwSmCheck to detect and report the configuration error due to a choice pseudo-s...
FwSmTestOutcome_t FwSmTestCaseExecCnt1()
Verify the functioning of the execution counters.
FwSmTestOutcome_t FwSmTestCaseStart2()
Test the Start command on a state machine where the initial pseudo-state is connected to a choice pse...
FwSmTestOutcome_t FwSmTestCaseDerErr1()
Instantiate a derived state machine and try to initialize it with a base state machine with the wrong...
FwSmTestOutcome_t FwSmTestCaseDummySM3()
Verify the behaviour of a degenerate state machine which consists of a single direct transition from ...
FwSmTestOutcome_t FwSmTestCaseDescDir1()
Verify the correct behaviour of a state machine descriptor which was created by directly instantiatin...
FwSmTestOutcome_t FwSmTestCaseExecute3()
Test the Execute command in a configuration where the command triggers a transition between two prope...
Test case success.
Definition: FwSmTestCases.h:27
FwSmTestOutcome_t FwSmTestCaseStop1()
Test the Stop command on a state machine without embedded state machines.
FwSmTestOutcome_t FwSmTestCaseCheck17()
Configure a state to exceed the maximum number of actions and check that an error is reported...
FwSmTestOutcome_t FwSmTestCaseDummySM1()
Verify the behaviour of a degenerate state machine which has no states.
P&P Software GmbH, Copyright 2011, All Rights Reserved