CORDET Framework - C2 Implementation
CrFwInCmdTestCases.h
Go to the documentation of this file.
1 
19 #ifndef CRFW_INCMD_TESTCASES_H_
20 #define CRFW_INCMD_TESTCASES_H_
21 
22 #include "CrFwConstants.h"
23 
46 
69 
91 
103 
128 
159 
196 
224 
246 
278 
307 
334 
335 #endif /* CRFW_INCMD_TESTCASES_H_ */
Header file to define all invariant publicly available constants and types for the CORDET Framework.
int CrFwBool_t
Type used for boolean values (1 represent "true" and 0 represents "false").
Definition: CrFwConstants.h:32
CrFwBool_t CrFwInCmdTestCase3()
Check the transition from ACCEPTED to ABORTED for an InCommand.
CrFwBool_t CrFwInCmdTestCase9()
Check the generation of the "start successful" outcome report of an InCommand.
CrFwBool_t CrFwInCmdTestCase5()
Check the behaviour of the InCommand in state PROGRESS.
CrFwBool_t CrFwInCmdTestCase12()
Check the parameters of the "successful" outcome reports of an InCommand.
CrFwBool_t CrFwInCmdTestCase2()
Check the transition from ACCEPTED to PROGRESS for an InCommand.
CrFwBool_t CrFwInCmdTestCase4()
Check the failure of the Validity Check of an InCommand.
CrFwBool_t CrFwInCmdTestCase11()
Check the generation of the "termination successful" outcome report of an InCommand.
CrFwBool_t CrFwInCmdTestCase7()
Check the transition from state PROGRESS to state ABORTED for an InCommand which has failed one progr...
CrFwBool_t CrFwInCmdTestCase10()
Check the generation of the "progress successful" outcome report of an InCommand.
CrFwBool_t CrFwInCmdTestCase8()
Check the indirect transition from state PROGRESS to state TERMINATED for an InCommand after one prog...
CrFwBool_t CrFwInCmdTestCase1()
Check the configuration of a newly created InCommand.
CrFwBool_t CrFwInCmdTestCase6()
Check the transition from state PROGRESS to state TERMINATED for an InCommand.
P&P Software GmbH, Copyright 2012-2013, All Rights Reserved