Compare Revisions

The credentials to download the source code are:
 Username: svnusers
 Password: svnusers

Ignore whitespace Rev 2191 → Rev 2192

/branches/STF484_VALIDATION/ttcn/AtsMapSpat/ItsMapSpat_TestCases.ttcn
491,55 → 491,6
} // end TC_MAP_SPAT_MSD_BV-06
 
/**
* @desc Verify that: when the IUT having sent a MapData message containing a MsgCount set to Value1 and is now sending
* another DSRC message containing MsgCount. This MsgCount shall have a value not egal to Value1.
* <pre>
* Pics Selection: PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state"
* and the IUT has sent a MapData message
* containing MsgCount
* set to VALUE_1
* }
* Expected behaviour:
* ensure that {
* when {
* another DSRC message is generated
* }
* then {
* the IUT sends a valid DSRC message
* containing MsgCount
* set to value not egal to VALUE_1
* }
* }
* </pre>
*
* @version 0.0.1
* @see ETSI TS 103 191-2 V0.0.1 TP/MAP-SPAT/MSD//BV-07
* @reference SAE J2735 [1] Clause 7.92
*/
testcase TC_MAP_SPAT_MSD_BV_07 () runs on ItsMapSpat system ItsMapSpatSystem {
// Local variables
 
// Test component configuration
f_cfUp();
// Preamble
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
 
// TODO receiving DSRC message different from MAP and SPAT messages not actually implemented
 
// Postamble
f_poDefault();
f_cfDown();
} // end TC_MAP_SPAT_MSD_BV-07
 
/**
* @desc Verify that the MsgCRC (if present) is the last data element of the MapData message.
* <pre>
* Pics Selection: PICS_RSU