Commit f8385566 authored by berge's avatar berge

Merged revision(s) 1636-1833 from branches/STF484_VALIDATION

parent b725cbfe
......@@ -15,6 +15,8 @@ public enum UtPduId {
UtInitializeResult(0x01),
UtChangePosition(0x02),
UtChangePositionResult(0x03),
UtChangePseudonym(0x04),
UtChangePseudonymResult(0x05),
UtResult(0x24), // FIXME: obsolete
/* From LibItsDenm_TypesAndValues */
......@@ -39,8 +41,6 @@ public enum UtPduId {
UtCamTrigger_changeHeading(0x34),
UtCamTrigger_setDriveDirection(0x35),
UtCamTrigger_changeYawRate(0x36),
UtCamTrigger_changePosition(0x37),// FIXME: obsolete
UtCamTrigger_checkLdm(0x38),// FIXME: obsolete
UtCamTrigger_setStationType(0x39),
UtCamTrigger_setVehicleRole(0x3a),
UtCamTrigger_setEmbarkationStatus(0x3b),
......@@ -83,6 +83,10 @@ public enum UtPduId {
UtSec_setCertificate(0x93),
UtSec_setPrivateKey(0x94),
UtSec_setTrustPoint(0x95),
/* From LibItsMapSpat_TypesAndValues */
UtMapSpatTrigger(0xA0),
UtMapSpatTriggerResult(0xA1),
/* Reserved */
reserved(0xFF);
......
......@@ -83,11 +83,11 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_any )){
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -146,16 +146,16 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_LF_any )){
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] camPort.receive(mw_camInd ( mw_camMsg_any )){
tc_ac.stop;
log("*** " & testcasename() & ": FAIL: Expected CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -231,7 +231,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Initial conditions: CAM message not received ***");
f_selfOrClientSyncAndVerdictPreamble("error", e_timeout);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_timeout);
}
}
......@@ -261,7 +261,7 @@ module ItsCam_TestCases {
tc_ac.stop;
if(v_nextCamWithLF == true) {
log("*** " & testcasename() & ": FAIL: No LowFrequency container in received CAM ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
else {
log("*** " & testcasename() & ": INFO: CAM retransmission w/o LowFrequency container ***");
......@@ -276,12 +276,12 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
}
log("*** " & testcasename() & ": PASS: Generation of CAM messages including lowFrequencyContainer was successful ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
// Postamble
f_poDefault();
......@@ -347,11 +347,11 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_SVC_any )){
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -434,7 +434,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Initial conditions: CAM message not received ***");
f_selfOrClientSyncAndVerdictPreamble("error", e_timeout);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_timeout);
}
}
......@@ -464,7 +464,7 @@ module ItsCam_TestCases {
tc_ac.stop;
if(v_nextCamWithSVC == true) {
log("*** " & testcasename() & ": FAIL: No SpecialVehicle container in received CAM ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
else {
log("*** " & testcasename() & ": INFO: CAM retransmission w/o SpecialVehicle container ***");
......@@ -479,12 +479,12 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
}
log("*** " & testcasename() & ": PASS: Generation of CAM messages including SpecialVehicleContainer was successful ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
// Postamble
f_poDefault();
......@@ -510,7 +510,7 @@ module ItsCam_TestCases {
if (lengthof(p_utTriggers) != lengthof(p_camPdus)) {
log("*** " & testcasename() & ": INCONC: Invalid testcase configuration: Number of event triggers and expected CAM messages differs ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
for (v_cnt:=0; v_cnt<lengthof(p_utTriggers); v_cnt:=v_cnt+1) {
......@@ -522,7 +522,7 @@ module ItsCam_TestCases {
tc_ac.stop;
if (v_cnt==lengthof(p_utTriggers)-1) {
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
else {
log("*** " & testcasename() & ": PRECONDITION: Expected CAM message received ***");
......@@ -530,7 +530,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
}
......@@ -600,7 +600,7 @@ module ItsCam_TestCases {
tc_ac.stop;
if (v_initialReceived) {
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
else {
log("*** " & testcasename() & ": PRECONDITION: Expected CAM message received ***");
......@@ -614,7 +614,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -2548,7 +2548,7 @@ module ItsCam_TestCases {
tc_ac.stop;
if (v_initialReceived) {
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
else {
log("*** " & testcasename() & ": PRECONDITION: Expected CAM message received ***");
......@@ -2562,7 +2562,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -2636,7 +2636,7 @@ module ItsCam_TestCases {
tc_ac.stop;
if (v_initialReceived) {
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
else {
log("*** " & testcasename() & ": PRECONDITION: Expected CAM message received ***");
......@@ -2650,7 +2650,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -2722,7 +2722,7 @@ module ItsCam_TestCases {
tc_ac.stop;
if (v_driveVal==forward) {
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
else {
log("*** " & testcasename() & ": PRECONDITION: Expected CAM message received ***");
......@@ -2735,7 +2735,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -2809,7 +2809,7 @@ module ItsCam_TestCases {
tc_ac.stop;
if (v_initialReceived) {
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
else {
log("*** " & testcasename() & ": PRECONDITION: Expected CAM message received ***");
......@@ -2829,7 +2829,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -2899,11 +2899,11 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_SVC( mw_publicTransport_any ))){
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -2970,11 +2970,11 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_SVC( mw_specialTransport_any ))){
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -3041,11 +3041,11 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_SVC( mw_dangerousGoods_any ))){
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -3112,11 +3112,11 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_SVC( mw_roadWorks_any ))){
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -3183,11 +3183,11 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_SVC( mw_rescue_any ))){
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -3254,11 +3254,11 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_SVC( mw_emergency_any ))){
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -3325,11 +3325,11 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_SVC( mw_safetyCar_any ))){
tc_ac.stop;
log("*** " & testcasename() & ": PASS: Expected CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
......@@ -3397,7 +3397,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Initial conditions: CAM message not received ***");
f_selfOrClientSyncAndVerdictPreamble("error", e_timeout);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_timeout);
}
}
......@@ -3408,11 +3408,11 @@ module ItsCam_TestCases {
select (v_ret) {
case (e_error) {
log("*** " & testcasename() & ": FAIL: CAM message received BEFORE expiry of the minimum generation timer interval ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
case (e_timeout) {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
t_minTransInterval.start;
......@@ -3421,7 +3421,7 @@ module ItsCam_TestCases {
}
t_minTransInterval.stop;
log("*** " & testcasename() & ": PASS: Generation of CAM messages was successful ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
// Postamble
f_poDefault();
......@@ -3506,7 +3506,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Initial conditions: CAM message not received ***");
f_selfOrClientSyncAndVerdictPreamble("error", e_timeout);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_timeout);
}
}
......@@ -3516,17 +3516,17 @@ module ItsCam_TestCases {
select (v_ret) {
case (e_error) {
log("*** " & testcasename() & ": FAIL: No CAM message received BEFORE expiry of the maximum generation timer interval ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
case (e_timeout) {
log("*** " & testcasename() & ": INCONC: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout);
f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
}
}
}
t_maxTransInterval.stop;
log("*** " & testcasename() & ": PASS: Generation of CAM messages was successful ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
// Postamble
f_poDefault();
......@@ -3616,7 +3616,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Initial conditions: CAM message not received ***");
f_selfOrClientSyncAndVerdictPreamble("error", e_timeout);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_timeout);
}
}
f_utTriggerEvent(m_changeSpeed(1000));
......@@ -3632,7 +3632,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Initial conditions: Condition 1 CAM message not received ***");
f_selfOrClientSyncAndVerdictPreamble("error", e_timeout);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_timeout);
}
}
for (v_i:=1; v_i <= v_N_GenCam; v_i:=v_i+1) {
......@@ -3642,7 +3642,7 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_any )){
if (t_interval_1_min.running) {
log("*** " & testcasename() & ": INCONC: Initial conditions: Condition 2 CAM#", v_i, " message received BEFORE INTERVAL_1 expired ***");
f_selfOrClientSyncAndVerdictPreamble("error", e_timeout);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_timeout);
}
t_interval_1_max.stop;
log("*** " & testcasename() & ": INFO: Initial conditions: Condition 2 CAM#", v_i, " message received ***");
......@@ -3652,7 +3652,7 @@ module ItsCam_TestCases {
}
[] t_interval_1_max.timeout {
log("*** " & testcasename() & ": INCONC: Initial conditions: Condition 2 CAM#", v_i, " message not received ***");
f_selfOrClientSyncAndVerdictPreamble("error", e_timeout);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_timeout);
}
}
}
......@@ -3665,18 +3665,18 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_any )){
if (t_maxTransInterval_min.running) {
log("*** " & testcasename() & ": FAIL: Next CAM message received BEFORE T_GenCamMax expired ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
t_maxTransInterval_max.stop;
log("*** " & testcasename() & ": PASS: Next CAM message received AFTER T_GenCamMax expired ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] t_maxTransInterval_min.timeout {
repeat;
}
[] t_maxTransInterval_max.timeout {
log("*** " & testcasename() & ": FAIL: Next CAM message not received AFTER T_GenCamMax expired ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
......@@ -3749,7 +3749,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Initial conditions: CAM message not received ***");
f_selfOrClientSyncAndVerdictPreamble("error", e_timeout);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_timeout);
}
}
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
......@@ -3762,11 +3762,11 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_HF_BV ( mw_HF_BV_heading( (v_headingValue + v_changeHeadingValue) mod 3600) ) )){
tc_ac.stop;
log("*** " & testcasename() & ": PASS: CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] t_genCam_Dcc.timeout {
log("*** " & testcasename() & ": FAIL: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody("error", e_error);
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
......@@ -3837,7 +3837,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Initial conditions: CAM message not received ***");
f_selfOrClientSyncAndVerdictPreamble("error", e_timeout);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_timeout);
}
}
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
......@@ -3845,24 +3845,20 @@ module ItsCam_TestCases {
// Test Body
t_genCam_Dcc.timeout;
v_referencePosition := f_computePositionUsingDistance(v_referencePosition, v_changePosValue);
f_utTriggerEvent(
m_changePosition(
valueof(UtChangePosition: {
f_utChangePosition ( valueof ( UtChangePosition: {
latitude := v_referencePosition.latitude,
longitude := v_referencePosition.longitude,
elevation := 0 // FIXME := v_referencePosition.altitude
}
)));
elevation := 0 } ) );
t_genCam_Dcc.start;
alt {
[] camPort.receive(mw_camInd ( mw_camMsg_BC_refPos ( v_referencePosition ) )){
tc_ac.stop;
log("*** " & testcasename() & ": PASS: CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] t_genCam_Dcc.timeout {
log("*** " & testcasename() & ": FAIL: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody("error", e_error);
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
......@@ -3935,7 +3931,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Initial conditions: CAM message not received ***");
f_selfOrClientSyncAndVerdictPreamble("error", e_timeout);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_timeout);
}
}
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
......@@ -3948,11 +3944,11 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_HF_BV ( mw_HF_BV_speed( (v_speedValue + v_changeSpeedValue) mod 16384 ) ) )){
tc_ac.stop;
log("*** " & testcasename() & ": PASS: CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] t_genCam_Dcc.timeout {
log("*** " & testcasename() & ": FAIL: CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody("error", e_error);
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
......@@ -4019,7 +4015,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Initial conditions: CAM message not received ***");
f_selfOrClientSyncAndVerdictPreamble("error", e_timeout);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_timeout);
}
}
f_utTriggerEvent(m_changeSpeed(1000));
......@@ -4034,7 +4030,7 @@ module ItsCam_TestCases {
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Initial conditions: Anticipated CAM message not received ***");
f_selfOrClientSyncAndVerdictPreamble("error", e_timeout);
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_timeout);
}
}
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
......@@ -4046,18 +4042,18 @@ module ItsCam_TestCases {
[] camPort.receive(mw_camInd ( mw_camMsg_any )){
if (t_genCam_min.running) {
log("*** " & testcasename() & ": FAIL: Anticipated CAM message received BEFORE T_GenCam expired ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
t_genCam_max.stop;
log("*** " & testcasename() & ": PASS: Anticipated CAM message received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
}
[] t_genCam_min.timeout {
repeat;
}
[] t_genCam_max.timeout {
log("*** " & testcasename() & ": FAIL: Anticipated CAM message not received ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error);
f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
}
}
......@@ -4067,6 +4063,84 @@ module ItsCam_TestCases {
} // end TC_CAM_MSD_GFQ_BV_07
/**
* @desc Check that maximum CAM generation frequency for RSU ITS-S is 1Hz
*
* <pre>
* Pics Selection: PICS_RSU
* Initial conditions:
* with {
* the IUT being in the "initial state"
* }
* Expected behaviour:
* ensure that {
* when {
* IUT sends a CAM
* }
* then {
* the IUT does not send another CAM afterbefore 1s
* }
* }
* </pre>
*
* @version 0.0.2
* @see ETSI TS 102 868-2 v0.0.2 TP/CAM/MSD/GFQ/BV-08
* @reference ETSI EN 302 637-2 , clause 6.1.4
*/
testcase TC_CAM_MSD_GFQ_BV_08() runs on ItsCam system ItsCamSystem {
// Local constants
const float c_minTime := 0.95;
const float c_maxTime := 1.05;
// Local variables
// Test component configuration
f_cfUp();
// Preamble
f_prInitialState();
camPort.clear;
tc_ac.start;
alt {
[] camPort.receive(mw_camInd ( mw_camMsg_any )){
tc_ac.stop;
log("*** " & testcasename() & ": INFO: Initial conditions: First CAM message received ***");
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": INCONC: Initial conditions: CAM message not received ***");
f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_timeout);
}
}
// Test Body
tc_ac.start;
alt {
[] camPort.receive(mw_camInd ( mw_camMsg_any )){
if ( ( tc_ac.read*1000.0 > c_minTime ) and ( tc_ac.read*1000.0 < c_maxTime )) {
tc_ac.stop;
log("*** " & testcasename() & ": PASS: CAM message received in time***");
f_selfOrClientSyncAndVerdictPreamble(c_tbDone, e_success);
}
else {
tc_ac.stop;
log("*** " & testcasename() & ": FAIL: CAM message not received in time***");
f_selfOrClientSyncAndVerdictPreamble(c_tbDone, e_error);
}
}
[] tc_ac.timeout {
log("*** " & testcasename() & ": FAIL: CAM message not received ***");
f_selfOrClientSyncAndVerdictPreamble(c_tbDone, e_timeout);
}
}
// Postamble
f_poDefault();
f_cfDown();
} // end TC_CAM_MSD_GFQ_BV_08
} // end group camGenerationFrequency
} // end group camMessageDissemination
......@@ -4102,6 +4176,7 @@ module ItsCam_TestCases {
// Local variables
var CamReq v_camReq;
var integer i;
// Test control
......@@ -4126,9 +4201,18 @@ module ItsCam_TestCases {
);
camPort.send( v_camReq ) ;
f_utCheckEvent(m_checkLdm(v_camReq.msgOut));
log("*** " & testcasename() & ": PASS: CAM message received at LDM ***");
f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success);
f_sleep(PX_TNOAC);
for(i:=0; i < lengthof(vc_utEvents) and not match(v_camReq, vc_utEvents[i].camMsg); i:=i+1) {
// empty on purpose
}
if(i < lengthof(vc_utEvents)) {
log("*** " & testcasename() & ": FAIL: CAM was transmitted to upper layer ***");
f_clientSyncAndVerdict(c_tbDone, e_error);
}
else {
log("*** " & testcasename() & ": PASS: CAM was not transmitted to upper layer ***");
f_clientSyncAndVerdict(c_tbDone, e_success);
}
// Postamble
f_poDefault();
......
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -21,10 +21,8 @@ module ItsDenm_TestControl {
execute(TC_DEN_EVGN_BV_03());
execute(TC_DEN_EVGN_BV_04());
execute(TC_DEN_EVGN_BV_05());
execute(TC_DEN_EVGN_BV_06());
execute(TC_DEN_EVGN_BV_07());
execute(TC_DEN_EVGN_BV_08());
execute(TC_DEN_EVGN_BV_09());
execute(TC_DEN_EVUP_BV_01());
execute(TC_DEN_EVUP_BV_02());
......
This source diff could not be displayed because it is too large. You can view the blob instead.
......@@ -78,6 +78,9 @@ module ItsGeoNetworking_TestControl {
execute(TC_GEONW_PON_LOS_BV_12());
execute(TC_GEONW_PON_LOS_BV_13());
execute(TC_GEONW_PON_LOS_BV_14());
execute(TC_GEONW_PON_LOS_BV_15());
execute(TC_GEONW_PON_LOS_BV_16());
execute(TC_GEONW_PON_LOS_BV_17());
execute(TC_GEONW_PON_FPB_BV_01());
execute(TC_GEONW_PON_FPB_BV_02());
......@@ -105,9 +108,10 @@ module ItsGeoNetworking_TestControl {
execute(TC_GEONW_PON_BEA_BV_01());
execute(TC_GEONW_PON_BEA_BV_02());
execute(TC_GEONW_PON_BEA_BV_03());
execute(TC_GEONW_PON_GUC_BV_01());
if ((PICS_GN_GEOUNICAST_FORWARDING_ALGORITHM == e_greedy) or (PICS_GN_GEOUNICAST_FORWARDING_ALGORITHM == e_unspecified)) {
execute(TC_GEONW_PON_GUC_BV_01());
execute(TC_GEONW_PON_GUC_BV_02());
}
execute(TC_GEONW_PON_GUC_BV_03());
......@@ -118,24 +122,34 @@ module ItsGeoNetworking_TestControl {
execute(TC_GEONW_PON_GUC_BV_07());
execute(TC_GEONW_PON_GUC_BV_08());
execute(TC_GEONW_PON_GUC_BV_10());
execute(TC_GEONW_PON_GUC_BV_11());
}
if ((PICS_GN_GEOUNICAST_FORWARDING_ALGORITHM == e_greedy) or (PICS_GN_GEOUNICAST_FORWARDING_ALGORITHM == e_unspecified)) {
execute(TC_GEONW_PON_GUC_BV_12());
execute(TC_GEONW_PON_GUC_BV_13());
}
execute(TC_GEONW_PON_GBC_BV_01());
execute(TC_GEONW_PON_GBC_BV_02());
if ((PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_simple) or (PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_unspecified) or (PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_advanced)) {
execute(TC_GEONW_PON_GBC_BV_02());
}
if ((PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_simple) or (PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_unspecified)) {
execute(TC_GEONW_PON_GBC_BV_03());
execute(TC_GEONW_PON_GBC_BV_04());
}
execute(TC_GEONW_PON_GBC_BV_05());
execute(TC_GEONW_PON_GBC_BV_06());
if ((PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_simple) or (PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_unspecified)) {
execute(TC_GEONW_PON_GBC_BV_07());
execute(TC_GEONW_PON_GBC_BV_08());
execute(TC_GEONW_PON_GBC_BV_06());
}
execute(TC_GEONW_PON_GBC_BV_07());
execute(TC_GEONW_PON_GBC_BV_08());
execute(TC_GEONW_PON_GBC_BV_09());
execute(TC_GEONW_PON_GBC_BV_10());
execute(TC_GEONW_PON_GBC_BV_11());
if ((PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_simple) or (PICS_GN_GEOBROADCAST_FORWARDING_ALGORITHM == e_unspecified)) {
execute(TC_GEONW_PON_GBC_BV_10());