CORDET Framework - C2 Implementation
|
Implementation of test cases for InLoader component. More...
Go to the source code of this file.
Functions | |
static void | CrFwInLoaderTestCaseSetReroutingDest (CrFwDestSrc_t retValue) |
Function to set the return value of function CrFwInLoaderTestCaseGetReroutingDestination . More... | |
CrFwDestSrc_t | CrFwInLoaderTestCaseGetReroutingDestination (CrFwDestSrc_t pcktDest) |
Test implementation of the function which checks the legality of a destination and returns the re-routing destination (adaptation points A7.2.2-9 and A7.2.2-11). More... | |
CrFwBool_t | CrFwInLoaderTestCase1 () |
Check the configuration of a newly created InLoader. More... | |
CrFwBool_t | CrFwInLoaderTestCase2 () |
Check the execution function of an InLoader for the case where there are no pending packet in the InStream. More... | |
CrFwBool_t | CrFwInLoaderTestCase3 () |
Check the execution function of an InLoader for the case where the packet destination is invalid. More... | |
CrFwBool_t | CrFwInLoaderTestCase4 () |
Check the execution function of an InLoader for the case where the packet must be re-routed to another destination. More... | |
CrFwBool_t | CrFwInLoaderTestCase5 () |
Check the execution function of an InLoader for the case where the packet destination is the host application but the packet type is invalid. More... | |
CrFwBool_t | CrFwInLoaderTestCase6 () |
Check the execution function of an InLoader for the case where the packet destination is the host application, the packet type is valid but the make operation fails. More... | |
CrFwBool_t | CrFwInLoaderTestCase7 () |
Check the execution function of an InLoader for the case where the packet destination is the host application, the packet type is valid but the InReport/InCommand component fails its validity check (it does not enter state CONFIGURED). More... | |
CrFwBool_t | CrFwInLoaderTestCase8 () |
Check the execution function of an InLoader for the case where the packet destination is the host application, the packet type is valid, the InReport/InCommand component is successfully configured but the load operation in the InManager fails. More... | |
CrFwBool_t | CrFwInLoaderTestCase9 () |
Check the execution function of an InLoader for the case where the packet destination is the host application, the packet type is valid, the InReport/InCommand component is successfully configured, the load operation in the InManager succeeds and the loaded component is an InReport. More... | |
CrFwBool_t | CrFwInLoaderTestCase10 () |
Check the execution function of an InLoader for the case where the packet destination is the host application, the packet type is valid, the InReport/InCommand component is successfully configured the load operation in the InManager succeeds and the loaded component is an InCommand for which no acknowledgement of acceptance is required. More... | |
CrFwBool_t | CrFwInLoaderTestCase11 () |
Check the execution function of an InLoader for the case where the packet destination is the host application, the packet type is valid, the InReport/InCommand component is successfully configured the load operation in the InManager succeeds and the loaded component is an InCommand for which acknowledgement of acceptance is required. More... | |
Variables | |
static CrFwDestSrc_t | reroutingDest = 0 |
Return value of function CrFwInLoaderDefGetReroutingDestination . More... | |
Implementation of test cases for InLoader component.
This file is part of the CORDET Framework.
This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0. If a copy of the MPL was not distributed with this file, You can obtain one at http://mozilla.org/MPL/2.0/.
For information on alternative licensing, please contact P&P Software GmbH.
Definition in file CrFwInLoaderTestCases.c.
CrFwBool_t CrFwInLoaderTestCase1 | ( | ) |
Check the configuration of a newly created InLoader.
The following actions are performed in this test:
CrFwInLoaderDefGetReroutingDestination
) is checked.CrFwInLoaderDefNoRerouting
) is checked.CrFwInLoaderDefGetInManager
) is checked.Base Component SM Transition: IPS->CREATED
Base Component SM Transition: CREATED->INITIALIZED
Base Component SM Transition: INITIALIZED->CONFIGURED
Definition at line 74 of file CrFwInLoaderTestCases.c.
CrFwBool_t CrFwInLoaderTestCase10 | ( | ) |
Check the execution function of an InLoader for the case where the packet destination is the host application, the packet type is valid, the InReport/InCommand component is successfully configured the load operation in the InManager succeeds and the loaded component is an InCommand for which no acknowledgement of acceptance is required.
The following actions are performed in this test:
InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application
InLoader Load Command/Report Procedure: Packet Type is Valid
InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep
InLoader Load Command/Report Procedure: InCmd/InRep is in State CONFIGURED
InLoader Load Command/Report Procedure: Load Operation Succeeded
InLoader Load Command/Report Procedure: Component Being Loaded is an InCommand && No Acknowledgement of Acceptance is Required
Definition at line 995 of file CrFwInLoaderTestCases.c.
CrFwBool_t CrFwInLoaderTestCase11 | ( | ) |
Check the execution function of an InLoader for the case where the packet destination is the host application, the packet type is valid, the InReport/InCommand component is successfully configured the load operation in the InManager succeeds and the loaded component is an InCommand for which acknowledgement of acceptance is required.
The following actions are performed in this test:
InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application
InLoader Load Command/Report Procedure: Packet Type is Valid
InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep
InLoader Load Command/Report Procedure: InCmd/InRep is in State CONFIGURED
InLoader Load Command/Report Procedure: Load Operation Succeeded
InLoader Load Command/Report Procedure: Component Being Loaded is an InCommand && Acknowledgement of Acceptance is Required
Definition at line 1100 of file CrFwInLoaderTestCases.c.
CrFwBool_t CrFwInLoaderTestCase2 | ( | ) |
Check the execution function of an InLoader for the case where there are no pending packet in the InStream.
The following actions are performed in this test:
Definition at line 132 of file CrFwInLoaderTestCases.c.
CrFwBool_t CrFwInLoaderTestCase3 | ( | ) |
Check the execution function of an InLoader for the case where the packet destination is invalid.
The following actions are performed in this test:
Definition at line 177 of file CrFwInLoaderTestCases.c.
CrFwBool_t CrFwInLoaderTestCase4 | ( | ) |
Check the execution function of an InLoader for the case where the packet must be re-routed to another destination.
The following actions are performed in this test:
Definition at line 234 of file CrFwInLoaderTestCases.c.
CrFwBool_t CrFwInLoaderTestCase5 | ( | ) |
Check the execution function of an InLoader for the case where the packet destination is the host application but the packet type is invalid.
The following actions are performed in this test:
crIllInRepKind
.InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application
InLoader Load Command/Report Procedure: Packet Type is Invalid
Application Error: crIllInRepKind
Definition at line 304 of file CrFwInLoaderTestCases.c.
CrFwBool_t CrFwInLoaderTestCase6 | ( | ) |
Check the execution function of an InLoader for the case where the packet destination is the host application, the packet type is valid but the make operation fails.
The following actions are performed in this test:
crInRepAllocationFail
.InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application
InLoader Load Command/Report Procedure: Packet Type is Valid
InLoader Load Command/Report Procedure: Make Operation Fails
Application Error: crInRepAllocationFail
Definition at line 437 of file CrFwInLoaderTestCases.c.
CrFwBool_t CrFwInLoaderTestCase7 | ( | ) |
Check the execution function of an InLoader for the case where the packet destination is the host application, the packet type is valid but the InReport/InCommand component fails its validity check (it does not enter state CONFIGURED).
The following actions are performed in this test:
InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application
InLoader Load Command/Report Procedure: Packet Type is Valid
InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep
InLoader Load Command/Report Procedure: InCmd/InRep is not in State CONFIGURED
Definition at line 604 of file CrFwInLoaderTestCases.c.
CrFwBool_t CrFwInLoaderTestCase8 | ( | ) |
Check the execution function of an InLoader for the case where the packet destination is the host application, the packet type is valid, the InReport/InCommand component is successfully configured but the load operation in the InManager fails.
The following actions are performed in this test:
crInManagerPcrlFull
.InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application
InLoader Load Command/Report Procedure: Packet Type is Valid
InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep
InLoader Load Command/Report Procedure: InCmd/InRep is in State CONFIGURED
InLoader Load Command/Report Procedure: Load Operation Failed
Application Error: crInManagerPcrlFull
Definition at line 727 of file CrFwInLoaderTestCases.c.
CrFwBool_t CrFwInLoaderTestCase9 | ( | ) |
Check the execution function of an InLoader for the case where the packet destination is the host application, the packet type is valid, the InReport/InCommand component is successfully configured, the load operation in the InManager succeeds and the loaded component is an InReport.
The following actions are performed in this test:
InLoader Execution Procedure: Packet Destination is Valid && Packet Destination is the Host Application
InLoader Load Command/Report Procedure: Packet Type is Valid
InLoader Load Command/Report Procedure: Make Operation returns an InCmd/InRep
InLoader Load Command/Report Procedure: InCmd/InRep is in State CONFIGURED
InLoader Load Command/Report Procedure: Load Operation Succeeded
InLoader Load Command/Report Procedure: Component Being Loaded is an InReport
Definition at line 892 of file CrFwInLoaderTestCases.c.
CrFwDestSrc_t CrFwInLoaderTestCaseGetReroutingDestination | ( | CrFwDestSrc_t | pcktDest | ) |
Test implementation of the function which checks the legality of a destination and returns the re-routing destination (adaptation points A7.2.2-9 and A7.2.2-11).
This test implementation can be configured to return either zero (to signify that the argument destination is invalid) or a positive integer (to represent a re-routing destination). This function must conform to the prototype defined by CrFwInLoaderGetReroutingDest_t
.
pcktDest | the packet destination. |
Definition at line 68 of file CrFwInLoaderTestCases.c.
|
static |
Function to set the return value of function CrFwInLoaderTestCaseGetReroutingDestination
.
retValue | the return value of function CrFwInLoaderTestCaseGetReroutingDestination . |
Definition at line 63 of file CrFwInLoaderTestCases.c.
|
static |
Return value of function CrFwInLoaderDefGetReroutingDestination
.
Definition at line 56 of file CrFwInLoaderTestCases.c.