CORDET Framework - C2 Implementation
CrFwInRepTestCases.h File Reference

Declaration of the test cases for the InReport Component (see CrFwInRep.h). More...

Go to the source code of this file.

Functions

CrFwBool_t CrFwInRepTestCase1 ()
 Check the configuration of a newly created InReport. More...
 
CrFwBool_t CrFwInRepTestCase2 ()
 Check the failure of the Validity Check of an InReport. More...
 
CrFwBool_t CrFwInRepTestCase3 ()
 Check the update action of an InReport. More...
 

Detailed Description

Declaration of the test cases for the InReport Component (see CrFwInRep.h).

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 CrFwInRepTestCases.h.

Function Documentation

CrFwBool_t CrFwInRepTestCase1 ( )

Check the configuration of a newly created InReport.

The following actions are performed in this test:

  • The InFactory is reset and then two InReports are retrieved from the InFactory and it is checked that their instance identifier and type identifier are correct.
  • It is checked that the InReports are initially in state CONFIGURED if their CRC is correct.
  • It is checked that the InReport is correctly configured.
  • It is checked that the service type and sub-type and the discriminant value of the InReport are correct.
  • It is checked that the InReport source, group and sequence counter are correctly set.
  • The function to retrieve the packet holding an InReport is checked
Returns
true if the test was successful, false otherwise.

Definition at line 45 of file CrFwInRepTestCases.c.

CrFwBool_t CrFwInRepTestCase2 ( )

Check the failure of the Validity Check of an InReport.

The following actions are performed in this test:

  • The InFactory is reset and then one Sample1 InReport (see CrFwInRepSample1.h) is retrieved from the InFactory.
  • The validity check of the InReport is configured to return: "not valid" and it is checked that that the InReport is returned by the InFactory in state INITIALIZED.
  • It is checked that the InReport's type as computed by the Validity Check of the Sample1 InReport is correct.
Returns
true if the test was successful, false otherwise.

Definition at line 170 of file CrFwInRepTestCases.c.

CrFwBool_t CrFwInRepTestCase3 ( )

Check the update action of an InReport.

The following actions are performed in this test:

  • The InFactory is reset and then one Sample1 InReport (see CrFwInRepSample1.h) is retrieved from the InFactory.
  • The validity check of the InReport is configured to return: "valid".
  • The InReport is executed and it is checked that the Update Action has been executed once.
  • The InReport is executed again and it is checked that the Update Action is not executed.
Returns
true if the test was successful, false otherwise.

Definition at line 214 of file CrFwInRepTestCases.c.

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