CORDET Framework - C2 Implementation
CrFwBaseCmpTestCases.c File Reference

Implementation of test cases for Base Component. More...

Go to the source code of this file.

Functions

CrFwBool_t CrFwBaseCmpTestCase1 ()
 Test the transitions in the Base Component state machine and its Initialization and Reset Procedures. More...
 

Detailed Description

Implementation of test cases for Base Component.

Author
Vaclav Cechticky vacla.nosp@m.v.ce.nosp@m.chtic.nosp@m.ky@p.nosp@m.np-so.nosp@m.ftwa.nosp@m.re.co.nosp@m.m
Alessandro Pasetti paset.nosp@m.ti@p.nosp@m.np-so.nosp@m.ftwa.nosp@m.re.co.nosp@m.m

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 CrFwBaseCmpTestCases.c.

Function Documentation

CrFwBool_t CrFwBaseCmpTestCase1 ( )

Test the transitions in the Base Component state machine and its Initialization and Reset Procedures.

The test performs the following actions:

  • Instantiate the Base Component and check that initially it is in state STOPPED
  • Instantiate the Initialization and Reset Procedures and check that initially they are in state STOPPED
  • Configure the Base Component instance with the Initialization and Reset Procedure instances and with the Dummy Execution Procedure
  • Check that the Base Component and its procedures are correctly initialized
  • Start the Base Component SM then send it command INIT. This verifies the transition from CREATED to INITIALIZED.
  • Send command RESET to the Base Component. This verifies the transition from INITIALIZED to CONFIGURED.
  • Send command SHUTDOWN to the Base Component. This verifies the transition from CONFIGURED to Final Pseudo-State.
Verifies:

Base SM Transition: IPS->CREATED

Base SM Transition: CREATED->INITIALIZED

Base SM Transition: INITIALIZED->CONFIGURED

Base SM Transition: CONFIGURED->FPS

Initialization Procedure: Initialization Action Successful

Initialization Procedure: Initialization Check Successful

Reset Procedure: Configuration Action Successful

Reset Procedure: Configuration Check Successful

BaseSM.png
Returns
true if the test was successful, false otherwise.

Definition at line 37 of file CrFwBaseCmpTestCases.c.

P&P Software GmbH, Copyright 2012-2013, All Rights Reserved