Compare Revisions

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

Ignore whitespace Rev 2190 → Rev 2191

/branches/STF484_VALIDATION/ttcn/AtsMapSpat/ItsMapSpat_TestCases.ttcn
881,138 → 881,6
} // end TC_MAP_SPAT_MSD_BV-12
 
/**
* @desc Verify that IUT uses UPER for ASN1 encoding of the MapData message.
* <pre>
* Pics Selection: PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* a MapData message is generated
* }
* then {
* the IUT sends a valid MapData message encoded with ASN1 UPER
* }
* }
* </pre>
*
* @version 0.0.1
* @see ETSI TS 103 191-2 V0.0.1 TP/MAP-SPAT/MSD//BV-13
* @reference SAE J2735 [1] Clause 12
*/
testcase TC_MAP_SPAT_MSD_BV_13 () runs on ItsMapSpat system ItsMapSpatSystem {
// Local variables
var MapInd v_message;
// Test component configuration
f_cfUp();
// Preamble
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
tc_ac.start;
alt {
[] mapSpatPort.receive ( mw_mapInd ( mw_mapPdu ( mw_itsPduHeaderMap , mw_mapWellFormatted ) ) ) -> value v_message {
tc_ac.stop;
if ( fx_checkUperEncoding ( v_message.msgIn.rawData ) ) {
log("*** " & testcasename() & ": PASS: Successfully received MAP correctly ASN 1 UPER encoded. ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
else {
log("*** " & testcasename() & ": FAIL: Received a MAP message incorrectly ASN 1 UPER encoded. ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
[] mapSpatPort.receive ( mw_mapInd ( mw_mapPdu ( mw_itsPduHeaderMap , mw_anyMap ) ) ) {
tc_ac.stop;
log("*** " & testcasename() & ": FAIL: Received an incorrect MAP message. ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Timeout while awaiting the reception of a message. ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
// Postamble
f_poDefault();
f_cfDown();
} // end TC_MAP_SPAT_MSD_BV-13
 
/**
* @desc Verify that IUT uses UPER for ASN1 encoding of the SPAT message.
* <pre>
* Pics Selection: PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* a SPAT message is generated
* }
* then {
* the IUT sends a valid SPAT message encoded with ASN1 UPER
* }
* }
* </pre>
*
* @version 0.0.1
* @see ETSI TS 103 191-2 V0.0.1 TP/MAP-SPAT/MSD//BV-14
* @reference SAE J2735 [1] Clause 12
*/
testcase TC_MAP_SPAT_MSD_BV_14 () runs on ItsMapSpat system ItsMapSpatSystem {
// Local variables
var SpatInd v_message;
// Test component configuration
f_cfUp();
// Preamble
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
// Test Body
f_utTriggerEvent ( m_utTriggerEvent ( spatMsg ) );
tc_ac.start;
alt {
[] mapSpatPort.receive ( mw_spatInd ( mw_spatPdu ( mw_itsPduHeaderSpat , mw_spatSubId1 ) ) ) -> value v_message {
tc_ac.stop;
if ( fx_checkUperEncoding ( v_message.msgIn.rawData ) ) {
log("*** " & testcasename() & ": PASS: Successfully received SPAT correctly ASN 1 UPER encoded. ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
else {
log("*** " & testcasename() & ": FAIL: Received a SPAT message incorrectly ASN 1 UPER encoded. ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
[] mapSpatPort.receive ( mw_spatInd ( mw_spatPdu ( mw_itsPduHeaderSpat , mw_anySpat ) ) ) {
tc_ac.stop;
log("*** " & testcasename() & ": FAIL: Received an incorrect MAP message. ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Timeout while awaiting the reception of a message. ***");
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
// Postamble
f_poDefault();
f_cfDown();
} // end TC_MAP_SPAT_MSD_BV-14
 
/**
* @desc Verify that when sending a MapData message, the IUT encapsulates the message into a GN SHB message.
* <pre>
* Pics Selection: PICS_RSU