CORDET Framework - C2 Implementation
|
Implementation of test cases for OutRegistry Component. More...
Go to the source code of this file.
Functions | |
CrFwBool_t | CrFwOutRegistryTestCase1 () |
Test the creation and configuration of the OutRegistry singleton component. More... | |
CrFwBool_t | CrFwOutRegistryTestCase2 () |
Test the functions to manipulate the type, sub-type, discriminant and index of an out-going command or report. More... | |
CrFwBool_t | CrFwOutRegistryTestCase3 () |
Test the functions to set and read the enable status of an OutComponent without a discriminant. More... | |
CrFwBool_t | CrFwOutRegistryTestCase4 () |
Test the functions to set and read the enable status of an OutComponent with a discriminant. More... | |
CrFwBool_t | CrFwOutRegistryTestCase5 () |
Test the non-interference of the setting of the enable status for two different discriminant values. More... | |
CrFwBool_t | CrFwOutRegistryTestCase6 () |
Test the response of the OutRegistry to an attempt to disable a non-existent kind of OutComponent. More... | |
CrFwBool_t | CrFwOutRegistryTestCase7 () |
Test the ability of the OutRegistry to track the state of an OutComponent. More... | |
CrFwBool_t | CrFwOutRegistryTestCase8 () |
Test the shutdown service of the OutRegistry. More... | |
CrFwBool_t | CrFwOutRegistryTestCase9 () |
Test the reset service of the OutRegistry. More... | |
Implementation of test cases for OutRegistry 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 CrFwOutRegistryTestCases.c.
CrFwBool_t CrFwOutRegistryTestCase1 | ( | ) |
Test the creation and configuration of the OutRegistry singleton component.
The following actions are performed in this test:
Base SM Transition: IPS->CREATED
Base SM Transition: CREATED->INITIALIZED
Base SM Transition: INITIALIZED->CONFIGURED
Initialization Procedure: Initialization Action Successful
Initialization Procedure: Initialization Check Successful
Reset Procedure: Configuration Action Successful
Reset Procedure: Configuration Check Successful
Definition at line 43 of file CrFwOutRegistryTestCases.c.
CrFwBool_t CrFwOutRegistryTestCase2 | ( | ) |
Test the functions to manipulate the type, sub-type, discriminant and index of an out-going command or report.
The following actions are performed in this test:
Definition at line 85 of file CrFwOutRegistryTestCases.c.
CrFwBool_t CrFwOutRegistryTestCase3 | ( | ) |
Test the functions to set and read the enable status of an OutComponent without a discriminant.
The following actions are performed in this test:
Enable State Determination Procedure: Service Type is Disabled
Enable State Determination Procedure: Service Type is Enabled
Enable State Determination Procedure: Service Sub-Type is Disabled
Enable State Determination Procedure: Service Sub-Type is Enabled
Enable State Determination Procedure: Out-Going Cmd/Rep has no Discriminant
Definition at line 145 of file CrFwOutRegistryTestCases.c.
CrFwBool_t CrFwOutRegistryTestCase4 | ( | ) |
Test the functions to set and read the enable status of an OutComponent with a discriminant.
The following actions are performed in this test:
Enable State Determination Procedure: Service Type is Disabled
Enable State Determination Procedure: Service Type is Enabled
Enable State Determination Procedure: Service Sub-Type is Disabled
Enable State Determination Procedure: Service Sub-Type is Enabled
Enable State Determination Procedure: Out-Going Cmd/Rep has Discriminant
Enable State Determination Procedure: Discriminant is Disabled
Enable State Determination Procedure: Discriminant is Enabled
Definition at line 223 of file CrFwOutRegistryTestCases.c.
CrFwBool_t CrFwOutRegistryTestCase5 | ( | ) |
Test the non-interference of the setting of the enable status for two different discriminant values.
The following actions are performed in this test:
Enable State Determination Procedure: Service Type is Enabled
Enable State Determination Procedure: Service Sub-Type is Enabled
Enable State Determination Procedure: Out-Going Cmd/Rep has Discriminant
Enable State Determination Procedure: Discriminant is Disabled
Enable State Determination Procedure: Discriminant is Enabled
Definition at line 300 of file CrFwOutRegistryTestCases.c.
CrFwBool_t CrFwOutRegistryTestCase6 | ( | ) |
Test the response of the OutRegistry to an attempt to disable a non-existent kind of OutComponent.
The following actions are performed in this test:
Definition at line 400 of file CrFwOutRegistryTestCases.c.
CrFwBool_t CrFwOutRegistryTestCase7 | ( | ) |
Test the ability of the OutRegistry to track the state of an OutComponent.
The following actions are performed in this test:
Registry Start Tracking Procedure: Branch "Registry is Not Full"
Registry Start Tracking Procedure: Branch "Registry is Full"
Registry Update Procedure: Branch "Component is being tracked in Registry"
Registry Update Procedure: Branch "Component is not being tracked in Registry"
Definition at line 450 of file CrFwOutRegistryTestCases.c.
CrFwBool_t CrFwOutRegistryTestCase8 | ( | ) |
Test the shutdown service of the OutRegistry.
The following actions are performed in this test:
Base SM Transition: CONFIGURED->FPS
Enable State Determination Procedure: Service Type is Enabled
Definition at line 545 of file CrFwOutRegistryTestCases.c.
CrFwBool_t CrFwOutRegistryTestCase9 | ( | ) |
Test the reset service of the OutRegistry.
The following actions are performed in this test:
Base SM Transition: CONFIGURED->CONFIGURED
Enable State Determination Procedure: Service Type is Enabled
Definition at line 636 of file CrFwOutRegistryTestCases.c.