CORDET Framework - C2 Implementation
|
Implementation of test cases for InStream Component. More...
Go to the source code of this file.
Functions | |
CrFwBool_t | CrFwInStreamTestCase1 () |
Test the initialization and packet queue (PQ) management of the InStream. More... | |
CrFwBool_t | CrFwInStreamTestCase2 () |
Test the collection of packets from an InStream. More... | |
CrFwBool_t | CrFwInStreamTestCase3 () |
Test the self-transition on state PCKT_AVAIL and the shutdown of an InStream. More... | |
CrFwBool_t | CrFwInStreamTestCase4 () |
Test the error reporting functionalities of an InStream. More... | |
CrFwBool_t | CrFwInStreamTestCase5 () |
Test the InStream with checks and actions which may be configured to succeed or fail. More... | |
CrFwBool_t | CrFwInStreamTestCase6 () |
Test the function to override the Shutdown Operation of an InStream and to verify entry into PCKT_AVAIL at start-up. More... | |
CrFwBool_t | CrFwInStreamTestCase7 () |
Test the management of groups by the InStream. More... | |
Implementation of test cases for InStream 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 CrFwInStreamTestCases.c.
CrFwBool_t CrFwInStreamTestCase1 | ( | ) |
Test the initialization and packet queue (PQ) management of the InStream.
The following actions are performed in this test:
Application Error: crInStreamIllId
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
InStream SM Transition: IPS->WAITING
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
Definition at line 42 of file CrFwInStreamTestCases.c.
CrFwBool_t CrFwInStreamTestCase2 | ( | ) |
Test the collection of packets from an InStream.
This test must be executed as a follow-on to CrFwInStreamTestCase1
. The following actions are performed in this test:
InStream SM Transition: WAITING->WAITING (through CPS)
InStream SM Transition: WAITING->PCKT_AVAIL (through CPS)
InStream SM Transition: PCKT_AVAIL->PCKT_AVAIL (through CPS)
InStream SM Transition: PCKT_AVAIL->WAITING
Packet Collect Procedure: MW is in state WAITING and loop is not entered
Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is in state PCKT_AVAIL
Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is not in state PCKT_AVAIL
Definition at line 142 of file CrFwInStreamTestCases.c.
CrFwBool_t CrFwInStreamTestCase3 | ( | ) |
Test the self-transition on state PCKT_AVAIL and the shutdown of an InStream.
This test must be executed as a follow-on to CrFwInStreamTestCase2
. The following actions are performed in this test:
InStream SM Transition: WAITING->PCKT_AVAIL
InStream SM Transition: PCKT_AVAIL->PCKT_AVAIL (self-transition)
Base SM Transition: CONFIGURED->FPS
Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is in state PCKT_AVAIL
Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is not in state PCKT_AVAIL
Definition at line 226 of file CrFwInStreamTestCases.c.
CrFwBool_t CrFwInStreamTestCase4 | ( | ) |
Test the error reporting functionalities of an InStream.
This test must be executed as a follow-on to CrFwInStreamTestCase3
. The following actions are performed in this test:
Error Report: crInStreamPQFull
Error Report: crInStreamSCErr
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
InStream SM Transition: IPS->WAITING
InStream SM Transition: WAITING->PCKT_AVAIL
InStream SM Transition: PCKT_AVAIL->PCKT_AVAIL (self-transition)
Base SM Transition: CONFIGURED->CONFIGURED
Packet Collect Procedure: Flag_1 is false
Packet Collect Procedure: PQ is full
Definition at line 287 of file CrFwInStreamTestCases.c.
CrFwBool_t CrFwInStreamTestCase5 | ( | ) |
Test the InStream with checks and actions which may be configured to succeed or fail.
The following actions are performed in this test:
After this test has run, the second InStream component may no longer be usable.
Application Error: crNotInStream
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Base SM Transition: CONFIGURED->INITIALIZED
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Initialization Procedure: Initialization Action Failed
Initialization Procedure: Initialization Check Failed
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Action Failed
Reset Procedure: Configuration Check Successful
Reset Procedure: Configuration Check Failed
Definition at line 446 of file CrFwInStreamTestCases.c.
CrFwBool_t CrFwInStreamTestCase6 | ( | ) |
Test the function to override the Shutdown Operation of an InStream and to verify entry into PCKT_AVAIL at start-up.
The following actions are performed in this test:
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Base SM Transition: CONFIGURED->FPS
InStream SM Transition: IPS->PCKT_AVAIL
Definition at line 538 of file CrFwInStreamTestCases.c.
CrFwBool_t CrFwInStreamTestCase7 | ( | ) |
Test the management of groups by the InStream.
This test assumes that the third InStream has been configured (in CrFwInStreamUserPar.h
to have two groups. The following actions are performed in this test:
InStream SM Transition: WAITING->PCKT_AVAIL
InStream SM Transition: PCKT_AVAIL->PCKT_AVAIL (through CPS)
InStream SM Transition: PCKT_AVAIL->WAITING
Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is in state PCKT_AVAIL
Packet Collect Procedure: Flag_1 is true; PQ is not full; MW is not in state PCKT_AVAIL
Error Report: crInStreamIllGroup
Definition at line 582 of file CrFwInStreamTestCases.c.