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_ */
CrFwBool_t CrFwInCmdTestCase11()
Check the generation of the "termination successful" outcome report of an InCommand.
int CrFwBool_t
Type used for boolean values (1 represent "true" and 0 represents "false").
Definition: CrFwConstants.h:32
CrFwBool_t CrFwInCmdTestCase10()
Check the generation of the "progress successful" outcome report of an InCommand. ...
Header file to define all invariant publicly available constants and types for the CORDET Framework...
CrFwBool_t CrFwInCmdTestCase7()
Check the transition from state PROGRESS to state ABORTED for an InCommand which has failed one progr...
CrFwBool_t CrFwInCmdTestCase5()
Check the behaviour of the InCommand in state PROGRESS.
CrFwBool_t CrFwInCmdTestCase4()
Check the failure of the Validity Check of an InCommand.
CrFwBool_t CrFwInCmdTestCase8()
Check the indirect transition from state PROGRESS to state TERMINATED for an InCommand after one prog...
CrFwBool_t CrFwInCmdTestCase2()
Check the transition from ACCEPTED to PROGRESS for an InCommand.
CrFwBool_t CrFwInCmdTestCase6()
Check the transition from state PROGRESS to state TERMINATED for an InCommand.
CrFwBool_t CrFwInCmdTestCase3()
Check the transition from ACCEPTED to ABORTED for an InCommand.
CrFwBool_t CrFwInCmdTestCase1()
Check the configuration of a newly created InCommand.
CrFwBool_t CrFwInCmdTestCase9()
Check the generation of the "start successful" outcome report of an InCommand.
CrFwBool_t CrFwInCmdTestCase12()
Check the parameters of the "successful" outcome reports of an InCommand.
P&P Software GmbH, Copyright 2012-2013, All Rights Reserved