71 printf(
"Consistency check of OutRegistry parameters failed\n");
73 printf(
"Consistency check of OutFactory parameters failed\n");
75 printf(
"Consistency check of InCommand parameters in InFactory failed\n");
77 printf(
"Consistency check of InRepot parameters in InFactory failed\n");
80 printf(
"Consistency check of configuration parameters ran successfully...\n");
83 testNames[0] =
"BaseCmp_TestCase1";
85 testNames[1] =
"Packet_TestCase1";
87 testNames[2] =
"Packet_TestCase2";
89 testNames[3] =
"OutStream_TestCase1";
91 testNames[4] =
"OutStream_TestCase2";
93 testNames[5] =
"OutStream_TestCase3";
95 testNames[6] =
"OutStream_TestCase4";
97 testNames[7] =
"InStream_TestCase1";
99 testNames[8] =
"InStream_TestCase2";
101 testNames[9] =
"InStream_TestCase3";
103 testNames[10] =
"InStream_TestCase4";
105 testNames[11] =
"InStream_TestCase5";
107 testNames[12] =
"InStream_TestCase6";
109 testNames[13] =
"OutStream_TestCase5";
111 testNames[14] =
"PacketQueue_TestCase1";
113 testNames[15] =
"OutRegistry_TestCase1";
115 testNames[16] =
"OutRegistry_TestCase2";
117 testNames[17] =
"OutRegistry_TestCase3";
119 testNames[18] =
"OutRegistry_TestCase4";
121 testNames[19] =
"OutRegistry_TestCase5";
123 testNames[20] =
"OutRegistry_TestCase6";
125 testNames[21] =
"OutRegistry_TestCase7";
127 testNames[22] =
"OutRegistry_TestCase8";
129 testNames[23] =
"OutRegistry_TestCase9";
131 testNames[24] =
"OutFactory_TestCase1";
133 testNames[25] =
"OutFactory_TestCase2";
135 testNames[26] =
"OutFactory_TestCase3";
137 testNames[27] =
"OutCmp_TestCase1";
139 testNames[28] =
"OutCmp_TestCase2";
141 testNames[29] =
"OutCmp_TestCase3";
143 testNames[30] =
"OutCmp_TestCase4";
145 testNames[31] =
"OutCmp_TestCase5";
147 testNames[32] =
"OutCmp_TestCase6";
149 testNames[33] =
"OutManager_TestCase1";
151 testNames[34] =
"OutManager_TestCase2";
153 testNames[35] =
"OutManager_TestCase3";
155 testNames[36] =
"OutManager_TestCase4";
157 testNames[37] =
"OutLoader_TestCase1";
159 testNames[38] =
"UtilityFunctions_TestCase1";
161 testNames[39] =
"InFactory_TestCase1";
163 testNames[40] =
"InFactory_TestCase2";
165 testNames[41] =
"InFactory_TestCase3";
167 testNames[42] =
"InFactory_TestCase4";
169 testNames[43] =
"InFactory_TestCase5";
171 testNames[44] =
"InFactory_TestCase6";
173 testNames[45] =
"InFactory_TestCase7";
175 testNames[46] =
"OutFactory_TestCase4";
177 testNames[47] =
"InCommand_TestCase1";
179 testNames[48] =
"InCommand_TestCase2";
181 testNames[49] =
"InCommand_TestCase3";
183 testNames[50] =
"InCommand_TestCase4";
185 testNames[51] =
"InCommand_TestCase5";
187 testNames[52] =
"InCommand_TestCase6";
189 testNames[53] =
"InCommand_TestCase7";
191 testNames[54] =
"InCommand_TestCase8";
193 testNames[55] =
"InCommand_TestCase9";
195 testNames[56] =
"InCommand_TestCase10";
197 testNames[57] =
"InCommand_TestCase11";
199 testNames[58] =
"InCommand_TestCase12";
201 testNames[59] =
"InReport_TestCase1";
203 testNames[60] =
"InReport_TestCase2";
205 testNames[61] =
"InReport_TestCase3";
207 testNames[62] =
"InRegistry_TestCase1";
209 testNames[63] =
"InRegistry_TestCase2";
211 testNames[64] =
"InRegistry_TestCase3";
213 testNames[65] =
"InRegistry_TestCase4";
215 testNames[66] =
"InManager_TestCase1";
217 testNames[67] =
"InManager_TestCase2";
219 testNames[68] =
"InManager_TestCase3";
221 testNames[69] =
"InManager_TestCase4";
223 testNames[70] =
"InManager_TestCase5";
225 testNames[71] =
"InManager_TestCase6";
227 testNames[72] =
"InManager_TestCase7";
229 testNames[73] =
"InManager_TestCase8";
231 testNames[74] =
"InLoader_TestCase1";
233 testNames[75] =
"InLoader_TestCase2";
235 testNames[76] =
"InLoader_TestCase3";
237 testNames[77] =
"InLoader_TestCase4";
239 testNames[78] =
"InLoader_TestCase5";
241 testNames[79] =
"InLoader_TestCase6";
243 testNames[80] =
"InLoader_TestCase7";
245 testNames[81] =
"InLoader_TestCase8";
247 testNames[82] =
"InLoader_TestCase9";
249 testNames[83] =
"InLoader_TestCase10";
251 testNames[84] =
"InLoader_TestCase11";
253 testNames[85] =
"UtilityFunctions_TestCase2";
255 testNames[86] =
"ApplicationStateMachine_TestCase1";
257 testNames[87] =
"Socket_TestCase1";
259 testNames[88] =
"Socket_TestCase2";
261 testNames[89] =
"Socket_TestCase3";
263 testNames[90] =
"Socket_TestCase4";
265 testNames[91] =
"OutStream_TestCase6";
267 testNames[92] =
"OutCmp_TestCase7";
269 testNames[93] =
"OutCmp_TestCase8";
271 testNames[94] =
"OutCmp_TestCase9";
273 testNames[95] =
"OutStream_TestCase7";
275 testNames[96] =
"InStream_TestCase7";
280 testOutcome = testCases[i]();
281 if (testOutcome == 1)
282 printf(
"Test case %s ran successfully ...\n", testNames[i]);
284 printf(
"Test case %s failed!\n", testNames[i]);
CrFwBool_t CrFwOutStreamTestCase1()
Test the initialization and packet queue (PQ) management of the OutStream.
Declaration of the test cases for the Base Component (see CrFwBaseCmp.h).
CrFwBool_t CrFwInCmdTestCase1()
Check the configuration of a newly created InCommand.
Declaration of the test cases for the InStream Component (see CrFwInStream.h).
CrFwBool_t CrFwInLoaderTestCase9()
Check the execution function of an InLoader for the case where the packet destination is the host app...
CrFwBool_t CrFwOutCmpTestCase2()
Check the abort function of an OutComponent.
CrFwBool_t CrFwPacketTestCase1()
Test the creation of a packet and the read and write operations on its attributes.
CrFwBool_t CrFwInCmdTestCase12()
Check the parameters of the "successful" outcome reports of an InCommand.
CrFwBool_t CrFwOutStreamTestCase2()
Test the OutStream with overridden initialization check and initialization action.
CrFwBool_t CrFwInFactoryTestCase6()
Test the InReport part of the Reset and Shutdown functions of the InFactory component.
CrFwBool_t CrFwOutRegistryTestCase9()
Test the reset service of the OutRegistry.
CrFwBool_t CrFwInFactoryTestCase3()
Test the InCommand part of the Reset and Shutdown functions of the InFactory component.
CrFwBool_t CrFwPacketTestCase2()
Test the creation and release functions for a packet.
CrFwBool_t CrFwSocketTestCase2()
Test the initialization and configuration of the client and server sockets of CrFwClientSocket.h and CrFwServerSocket.h.
CrFwBool_t CrFwOutRegistryTestCase1()
Test the creation and configuration of the OutRegistry singleton component.
#define NOF_TESTS
The number of tests in the test suite.
CrFwBool_t CrFwInManagerTestCase4()
Check the execution function of an InManager with one InCommand loaded.
CrFwBool_t CrFwInRepTestCase1()
Check the configuration of a newly created InReport.
CrFwBool_t CrFwOutCmpTestCase7()
Check the execution of a "repeat" OutComponent.
InFactory configuration parameters for InCommands are inconsistent (see CrFwAuxInFactoryInCmdConfigCh...
CrFwBool_t CrFwInCmdTestCase7()
Check the transition from state PROGRESS to state ABORTED for an InCommand which has failed one progr...
CrFwBool_t CrFwOutCmpTestCase1()
Check the configuration of a newly created OutComponent.
CrFwBool_t CrFwOutRegistryTestCase4()
Test the functions to set and read the enable status of an OutComponent with a discriminant.
Auxiliary module to check the static part of an application's configuration.
Declaration of the test cases for the Application State Machine (see CrFwAppSm.h).
Declaration of the test cases for the default packet implementation of CrFwBaseCmp.h.
CrFwBool_t CrFwOutManagerTestCase3()
Check the execution function of an OutManager with one single OutComponent loaded.
CrFwBool_t CrFwInRepTestCase3()
Check the update action of an InReport.
CrFwBool_t CrFwInCmdTestCase5()
Check the behaviour of the InCommand in state PROGRESS.
CrFwBool_t CrFwInCmdTestCase9()
Check the generation of the "start successful" outcome report of an InCommand.
CrFwBool_t CrFwInLoaderTestCase8()
Check the execution function of an InLoader for the case where the packet destination is the host app...
CrFwBool_t CrFwInCmdTestCase4()
Check the failure of the Validity Check of an InCommand.
CrFwBool_t CrFwInLoaderTestCase7()
Check the execution function of an InLoader for the case where the packet destination is the host app...
CrFwBool_t CrFwInManagerTestCase3()
Check the execution function of an InManager with one single InReport loaded.
CrFwBool_t CrFwInStreamTestCase2()
Test the collection of packets from an InStream.
CrFwBool_t CrFwInCmdTestCase8()
Check the indirect transition from state PROGRESS to state TERMINATED for an InCommand after one prog...
CrFwBool_t CrFwOutRegistryTestCase5()
Test the non-interference of the setting of the enable status for two different discriminant values...
int CrFwBool_t
Type used for boolean values (1 represent "true" and 0 represents "false").
Declaration of the test cases for the InLoader Component (see CrFwInLoader.h).
CrFwBool_t CrFwInManagerTestCase5()
Check the execution function of an InManager with one InCommand loaded.
CrFwBool_t CrFwOutRegistryTestCase6()
Test the response of the OutRegistry to an attempt to disable a non-existent kind of OutComponent...
CrFwBool_t CrFwOutStreamTestCase3()
Test the packet flushing functionality of an OutStream for a packet originating from the host applica...
CrFwBool_t CrFwOutCmpTestCase5()
Check the execution of a "pending" OutComponent with a valid destination.
CrFwBool_t CrFwPacketQueueTestCase1()
Test the packet queue functions which are not covered through other tests.
Header file to define all invariant publicly available constants and types for the CORDET Framework...
CrFwBool_t CrFwOutCmpTestCase8()
Check the execution of a "repeat" OutComponent with an invalid destination.
CrFwBool_t CrFwInRegistryTestCase1()
Test the creation and configuration of the InRegistry singleton component.
CrFwBool_t CrFwInLoaderTestCase3()
Check the execution function of an InLoader for the case where the packet destination is invalid...
CrFwBool_t CrFwSocketTestCase3()
Test the sending and receiving of multiple packets through client and server sockets of CrFwClientSoc...
Declaration of the test cases for the socket-based InStream and OutStream Components (see CrFwInStrea...
CrFwBool_t CrFwSocketTestCase1()
Test the initialization and configuration of the socket-based InStream and OutStream.
CrFwConfigCheckOutcome_t CrFwAuxConfigCheck()
Check the configuration of an application.
CrFwBool_t CrFwOutRegistryTestCase2()
Test the functions to manipulate the type, sub-type, discriminant and index of an out-going command o...
Declaration of the test cases for the InFactory Component (see CrFwInFactory.h).
CrFwBool_t CrFwOutFactoryTestCase3()
Test the Reset and Shutdown functions of the OutFactory component.
CrFwBool_t CrFwInManagerTestCase2()
Check the load function of an InManager.
CrFwConfigCheckOutcome_t
Type for the outcome of the consistency check on the configuration parameters.
CrFwBool_t CrFwOutCmpTestCase4()
Check the execution of a "ready" OutComponent with a valid destination.
CrFwBool_t CrFwOutCmpTestCase9()
Check the transition from state PENDING to state ABORTED.
CrFwBool_t CrFwOutRegistryTestCase3()
Test the functions to set and read the enable status of an OutComponent without a discriminant...
CrFwBool_t CrFwOutRegistryTestCase8()
Test the shutdown service of the OutRegistry.
CrFwBool_t CrFwInLoaderTestCase1()
Check the configuration of a newly created InLoader.
CrFwBool_t CrFwInLoaderTestCase2()
Check the execution function of an InLoader for the case where there are no pending packet in the InS...
CrFwBool_t CrFwBaseCmpTestCase1()
Test the transitions in the Base Component state machine and its Initialization and Reset Procedures...
CrFwBool_t CrFwInLoaderTestCase4()
Check the execution function of an InLoader for the case where the packet must be re-routed to anothe...
OutFactory configuration parameters are inconsistent (see CrFwAuxOutFactoryConfigCheck.h)
CrFwBool_t CrFwInRegistryTestCase2()
Test the ability of the InRegistry to track the state of an incoming command or report.
All configuration consistency checks have been passed.
CrFwBool_t CrFwOutCmpTestCase6()
Check the default Enable Check Operation and Ready Check Operation of an OutComponent.
CrFwBool_t CrFwInStreamTestCase5()
Test the InStream with checks and actions which may be configured to succeed or fail.
CrFwBool_t CrFwInLoaderTestCase6()
Check the execution function of an InLoader for the case where the packet destination is the host app...
CrFwBool_t CrFwInFactoryTestCase4()
Test the InCommand part of the Release function of the InFactory component.
CrFwBool_t CrFwInLoaderTestCase5()
Check the execution function of an InLoader for the case where the packet destination is the host app...
Declaration of the test cases for the OutStream Component (see CrFwOutStream.h).
CrFwBool_t CrFwInStreamTestCase4()
Test the error reporting functionalities of an InStream.
CrFwBool_t CrFwOutManagerTestCase4()
Check the execution function of an OutManager with several OutComponents loaded.
CrFwBool_t CrFwUtilityFunctionsTestCase2()
Test the convenience utility functions which are not exercised in other test cases.
InFactory configuration parameters for InReports are inconsistent (see CrFwAuxInFactoryInRepConfigChe...
Declaration of the test cases for the OutLoader Component (see CrFwOutLoader.h).
Declaration of the test cases for the OutManager Component (see CrFwOutManager.h).
CrFwBool_t CrFwInStreamTestCase7()
Test the management of groups by the InStream.
Declaration of the test cases for the InReport Component (see CrFwInRep.h).
CrFwBool_t CrFwInStreamTestCase1()
Test the initialization and packet queue (PQ) management of the InStream.
CrFwBool_t CrFwInCmdTestCase11()
Check the generation of the "termination successful" outcome report of an InCommand.
CrFwBool_t CrFwInFactoryTestCase1()
Test the creation and configuration of the InFactory singleton component.
CrFwBool_t CrFwOutStreamTestCase5()
Test the Shutdown Operation of an OutStream.
CrFwBool_t CrFwInRepTestCase2()
Check the failure of the Validity Check of an InReport.
CrFwBool_t CrFwInManagerTestCase7()
Check the reset function of an InManager.
CrFwBool_t CrFwInRegistryTestCase4()
Test the reset service of the InRegistry.
CrFwBool_t CrFwOutCmpTestCase3()
Check the execution of a "ready" OutComponent with an invalid destination.
CrFwBool_t CrFwOutFactoryTestCase4()
Test the OutComponent Creation and Release functions of the OutFactory component. ...
CrFwBool_t CrFwUtilityFunctionsTestCase1()
Test the CrFwFindCmdRepKindIndex function.
CrFwBool_t CrFwInRegistryTestCase3()
Test the shutdown service of the InRegistry.
CrFwBool_t CrFwInFactoryTestCase7()
Test the InReport part of the Release function of the InFactory component.
Declaration of the test cases for the Utility Functions (see CrFwUtilityFunctions.h).
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 CrFwInLoaderTestCase11()
Check the execution function of an InLoader for the case where the packet destination is the host app...
CrFwBool_t CrFwInManagerTestCase8()
Check the shutdown function of an InManager.
CrFwBool_t CrFwInManagerTestCase1()
Check the configuration of a newly created InManager.
Declaration of the test cases for the OutRegistry Component (see CrFwOutRegistry.h).
CrFwBool_t CrFwOutLoaderTestCase1()
Check the configuration and operation of the OutLoader.
CrFwBool_t CrFwOutStreamTestCase4()
Test the registry functionality of an OutStream.
CrFwBool_t CrFwOutStreamTestCase7()
Test the management of the sequence counters for different groups.
CrFwBool_t CrFwAppSmTestCase1()
Check the creation and configuration of the Application State Machine.
CrFwBool_t CrFwSocketTestCase4()
Test the interleaved sending and receiving of multiple packets through client and server sockets of C...
CrFwBool_t CrFwOutManagerTestCase2()
Check the load function of an OutManager.
CrFwBool_t CrFwOutFactoryTestCase2()
Test the OutComponent creation service in non-nominal situations where the creation fails...
CrFwBool_t CrFwOutFactoryTestCase1()
Test the creation and configuration of the OutFactory singleton component.
int main()
Main program for the test suite.
CrFwBool_t CrFwInFactoryTestCase5()
Test the InReport creation service in non-nominal situations where the creation fails.
CrFwBool_t CrFwInCmdTestCase10()
Check the generation of the "progress successful" outcome report of an InCommand. ...
CrFwBool_t CrFwOutRegistryTestCase7()
Test the ability of the OutRegistry to track the state of an OutComponent.
CrFwBool_t CrFwInStreamTestCase6()
Test the function to override the Shutdown Operation of an InStream and to verify entry into PCKT_AVA...
CrFwBool_t CrFwInManagerTestCase6()
Check the execution function of an InManager with several InReports and InCommands loaded...
CrFwBool_t CrFwOutStreamTestCase6()
Test the packet flushing functionality of an OutStream for a re-routed packet (as opposed to a packet...
CrFwBool_t CrFwInStreamTestCase3()
Test the self-transition on state PCKT_AVAIL and the shutdown of an InStream.
Declaration of the test cases for the OutComponent Component (see CrFwOutCmp.h).
Declaration of the test cases for the InRegistry Component (see CrFwInRegistry.h).
CrFwBool_t CrFwOutManagerTestCase1()
Check the configuration of a newly created OutManager.
CrFwBool_t CrFwInLoaderTestCase10()
Check the execution function of an InLoader for the case where the packet destination is the host app...
Declaration of the test cases for the InCommand Component (see CrFwInCmd.h).
Declaration of the test cases for the InManager Component (see CrFwInManager.h).
CrFwBool_t CrFwInFactoryTestCase2()
Test the InCommand creation service in non-nominal situations where the creation fails.
CrFwBool_t CrFwInCmdTestCase3()
Check the transition from ACCEPTED to ABORTED for an InCommand.
OutRegistry configuration parameters are inconsistent (see CrFwAuxOutRegistryConfigCheck.h)
Declaration of the test cases for the OutFactory Component (see CrFwOutFactory.h).