CORDET Framework - C2 Implementation
|
Implementation of test cases for the Application State Machine. More...
Go to the source code of this file.
Functions | |
CrFwBool_t | CrFwAppSmTestCase1 () |
Check the creation and configuration of the Application State Machine. More... | |
FwSmDesc_t | CrFwAppSmTestCasesGetStartUpEsm () |
Return the dummy state machine to be embedded in state START-UP of the Application State Machine. More... | |
FwSmDesc_t | CrFwAppSmTestCasesGetNormalEsm () |
Return the dummy state machine to be embedded in state NORMAL of the Application State Machine. More... | |
FwSmDesc_t | CrFwAppSmTestCasesGetResetEsm () |
Return the dummy state machine to be embedded in state RESET of the Application State Machine. More... | |
Implementation of test cases for the Application State Machine.
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 tests/CrFwAppSmTestCases.c.
CrFwBool_t CrFwAppSmTestCase1 | ( | ) |
Check the creation and configuration of the Application State Machine.
The following actions are performed in this test:
Application SM Transition: IPS->START_UP
Application SM Transition: START_UP->NORMAL (with transition guard evaluating TRUE)
Application SM Transition: START_UP->NORMAL (with transition guard evaluating FALSE)
Application SM Transition: NORMAL->RESET
Application SM Transition: RESET->NORMAL (with transition guard evaluating TRUE)
Application SM Transition: RESET->NORMAL (with transition guard evaluating FALSE)
Application SM Transition: NORMAL->SHUTDOWN
Application SM Transition: SHUTDOWN->FPS (with transition guard evaluating TRUE)
Application SM Transition: SHUTDOWN->FPS (with transition guard evaluating FALSE)
Definition at line 49 of file tests/CrFwAppSmTestCases.c.
FwSmDesc_t CrFwAppSmTestCasesGetNormalEsm | ( | ) |
Return the dummy state machine to be embedded in state NORMAL of the Application State Machine.
Definition at line 157 of file tests/CrFwAppSmTestCases.c.
FwSmDesc_t CrFwAppSmTestCasesGetResetEsm | ( | ) |
Return the dummy state machine to be embedded in state RESET of the Application State Machine.
Definition at line 161 of file tests/CrFwAppSmTestCases.c.
FwSmDesc_t CrFwAppSmTestCasesGetStartUpEsm | ( | ) |
Return the dummy state machine to be embedded in state START-UP of the Application State Machine.
Definition at line 153 of file tests/CrFwAppSmTestCases.c.