Finalyze RLT TP implementation (017e806b) · Commits · ITS - Intelligent Transport Systems / ITS

ttcn/AtsMapemSpatem/ItsMapem_TpFunctions.ttcn

+336 −56

Original line number	Diff line number	Diff line
		@@ -1752,8 +1752,8 @@ module ItsMapem_TpFunctions {
		var MapemInd v_mapem;

		// Test control
		if (not PICS_MAPEM_GENERATION) {
		log("* " & testcasename() & ": PICS_MAPEM_GENERATION required for executing the TC *");
		if (not PICS_MAPEM_GENERATION or not PICS_IS_IUT_SECURED) {
		log("* " & testcasename() & ": PICS_MAPEM_GENERATION and PICS_IS_IUT_SECURED required for executing the TC *");
		setverdict(inconc);
		stop;
		}
		@@ -1808,8 +1808,8 @@ module ItsMapem_TpFunctions {
		var MapemInd v_mapem;

		// Test control
		if (not PICS_MAPEM_GENERATION) {
		log("* " & testcasename() & ": PICS_MAPEM_GENERATION required for executing the TC *");
		if (not PICS_MAPEM_GENERATION or not PICS_IS_IUT_SECURED) {
		log("* " & testcasename() & ": PICS_MAPEM_GENERATION and PICS_IS_IUT_SECURED required for executing the TC *");
		setverdict(inconc);
		stop;
		}
		@@ -1864,8 +1864,8 @@ module ItsMapem_TpFunctions {
		var MapemInd v_mapem;

		// Test control
		if (not PICS_MAPEM_GENERATION) {
		log("* " & testcasename() & ": PICS_MAPEM_GENERATION required for executing the TC *");
		if (not PICS_MAPEM_GENERATION or not PICS_IS_IUT_SECURED) {
		log("* " & testcasename() & ": PICS_MAPEM_GENERATION and PICS_IS_IUT_SECURED required for executing the TC *");
		setverdict(inconc);
		stop;
		}
		@@ -1875,16 +1875,11 @@ module ItsMapem_TpFunctions {

		// Preamble
		f_prInitialState("CERT_SPAT_SSP_NONE");
		f_awaitMapeMessage(
		mw_mapemInd(
		mw_mapemPdu(
		mw_defaultMapem
		)),
		v_mapem
		);
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		f_utTriggerEvent(m_utTriggerEvent(mapemNewContent));

		tc_ac.start;
		alt {
		[] mapemSpatemPort.receive(
		@@ -1920,8 +1915,8 @@ module ItsMapem_TpFunctions {
		var MapemInd v_mapem;

		// Test control
		if (not PICS_MAPEM_GENERATION) {
		log("* " & testcasename() & ": PICS_MAPEM_GENERATION required for executing the TC *");
		if (not PICS_MAPEM_GENERATION or not PICS_IS_IUT_SECURED) {
		log("* " & testcasename() & ": PICS_MAPEM_GENERATION and PICS_IS_IUT_SECURED required for executing the TC *");
		setverdict(inconc);
		stop;
		}
		@@ -1931,16 +1926,11 @@ module ItsMapem_TpFunctions {

		// Preamble
		f_prInitialState("CERT_MAP_SSP_1");
		f_awaitMapeMessage(
		mw_mapemInd(
		mw_mapemPdu(
		mw_defaultMapem
		)),
		v_mapem
		);
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		f_utTriggerEvent(m_utTriggerEvent(mapemNewContent));

		tc_ac.start;
		alt {
		[] mapemSpatemPort.receive(
		@@ -1976,8 +1966,8 @@ module ItsMapem_TpFunctions {
		var MapemInd v_mapem;

		// Test control
		if (not PICS_MAPEM_GENERATION) {
		log("* " & testcasename() & ": PICS_MAPEM_GENERATION required for executing the TC *");
		if (not PICS_MAPEM_GENERATION or not PICS_IS_IUT_SECURED) {
		log("* " & testcasename() & ": PICS_MAPEM_GENERATION and PICS_IS_IUT_SECURED required for executing the TC *");
		setverdict(inconc);
		stop;
		}
		@@ -1987,16 +1977,11 @@ module ItsMapem_TpFunctions {

		// Preamble
		f_prInitialState("CERT_MAP_SSP_NONE");
		f_awaitMapeMessage(
		mw_mapemInd(
		mw_mapemPdu(
		mw_defaultMapem
		)),
		v_mapem
		);
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		f_utTriggerEvent(m_utTriggerEvent(mapemNewContent));

		tc_noac.start;
		alt {
		[] mapemSpatemPort.receive(
		@@ -2028,7 +2013,49 @@ module ItsMapem_TpFunctions {
		*/
		function f_IS_RLT_GEN_SSP_BV_04 () runs on ItsMapemSpatem {

		// TODO
		// Local variables
		var MapemInd v_mapem;

		// Test control
		if (not PICS_MAPEM_GENERATION or not PICS_IS_IUT_SECURED) {
		log("* " & testcasename() & ": PICS_MAPEM_GENERATION and PICS_IS_IUT_SECURED required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfUp();

		// Preamble
		f_prInitialState("CERT_MAP_SSP_2");
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		f_utTriggerEvent(m_utTriggerEvent(mapemNewContent));

		tc_ac.start;
		alt {
		[] mapemSpatemPort.receive(
		mw_mapemIndWithSecurityParameters(
		mw_mapemPdu(
		mw_defaultMapem
		),
		oct2bit('018000'O),
		c_its_aid_MAP
		)) {
		tc_ac.stop;
		log("* " & testcasename() & ": PASS: Expected secured MAPEM received. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		}
		[] 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 of function f_IS_RLT_GEN_SSP_BV_04

		@@ -2037,7 +2064,49 @@ module ItsMapem_TpFunctions {
		*/
		function f_IS_RLT_GEN_SSP_BO_05 () runs on ItsMapemSpatem {

		// TODO
		// Local variables
		var MapemInd v_mapem;

		// Test control
		if (not PICS_MAPEM_GENERATION or not PICS_IS_IUT_SECURED) {
		log("* " & testcasename() & ": PICS_MAPEM_GENERATION and PICS_IS_IUT_SECURED required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfUp();

		// Preamble
		f_prInitialState("CERT_MAP_SSP_NONE");
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		f_utTriggerEvent(m_utTriggerEvent(mapemNewContent));

		tc_noac.start;
		alt {
		[] mapemSpatemPort.receive(
		mw_mapemIndWithSecurityParameters(
		mw_mapemPdu(
		mw_defaultMapem
		),
		oct2bit('010000'O),
		c_its_aid_MAP
		)) {
		tc_noac.stop;
		log("* " & testcasename() & ": FAIL: Unexpected secured MAPEM received. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}
		[] tc_noac.timeout {
		log("* " & testcasename() & ": PASS: No MAP message received. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		}
		}

		// Postamble
		f_poDefault();
		f_cfDown();

		} // End of function f_IS_RLT_GEN_SSP_BO_05

		@@ -2046,7 +2115,67 @@ module ItsMapem_TpFunctions {
		*/
		function f_IS_RLT_GEN_RATE_BV_01 () runs on ItsMapemSpatem {

		// TODO
		// Local variables
		var MapemInd v_mapem;
		timer t_minTransInterval := PICS_T_GENMAPEMMIN * 0.90;
		timer t_maxTransInterval := PICS_T_GENMAPEMMAX * 1.10;

		// Test control
		if (not PICS_MAPEM_GENERATION or not PICS_MAPEM_TRANSMISSION_RATE) {
		log("* " & testcasename() & ": PICS_MAPEM_GENERATION and PICS_MAPEM_TRANSMISSION_RATE required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfUp();

		// Preamble
		f_prInitialState();
		f_awaitMapeMessage(
		mw_mapemInd(
		mw_mapemPdu(
		mw_defaultMapem
		)),
		v_mapem
		);
		t_minTransInterval.start;
		t_maxTransInterval.start;
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		tc_ac.start;
		alt {
		[] mapemSpatemPort.receive(
		mw_mapemInd(
		mw_mapemPdu
		)) {
		tc_ac.stop;

		if (t_minTransInterval.running) {
		log("* " & testcasename() & ": PASS: Successfully received MAPEM PDU header. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		} else {
		log("* " & testcasename() & ": FAIL: MAPE message was received before t_minTransInterval expiry. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}
		}
		[] t_minTransInterval.timeout {
		repeat;
		}
		[] t_maxTransInterval.timeout {
		log("* " & testcasename() & ": FAIL: MAPE message was not received within the t_minTransInterval/t_maxTransInterval expiration *");
		f_selfOrClientSyncAndVerdictPreamble(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 of function f_IS_RLT_GEN_RATE_BV_01

		@@ -2128,7 +2257,47 @@ module ItsMapem_TpFunctions {
		*/
		function f_IS_RLT_RCV_SEC_BV_01 () runs on ItsMapemSpatem {

		// TODO
		// Local variables
		var MapemReq v_mapemReq;
		var integer i;

		if (not PICS_MAPEM_RECEPTION or not PICS_IS_IUT_SECURED) {
		log("* " & testcasename() & ": PICS_MAPEM_RECEPTION and PICS_IS_IUT_SECURED required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfUp();

		// Preamble
		f_prInitialState();
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		v_mapemReq := valueof(
		m_mapemReq(
		m_mapemPdu(
		m_mapem(
		5
		))));
		mapemSpatemPort.send(v_mapemReq) ;

		f_sleep(PX_TAC);
		for (i := 0; i < lengthof(vc_utMapemEvents) and not match (v_mapemReq.msgOut , vc_utMapemEvents[i].mapeMsg); i := i + 1) {
		// empty on purpose
		}
		if (i < lengthof(vc_utMapemEvents) ) {
		log("* " & testcasename() & ": PASS: MAPEM was transmitted to upper layer*");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		} else {
		log("* " & testcasename() & ": FAIL: MAPEM was not transmitted to upper layer*");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}

		// Postamble
		f_poDefault();
		f_cfDown();

		} // End of function f_IS_RLT_RCV_SEC_BV_01

		@@ -2137,7 +2306,44 @@ module ItsMapem_TpFunctions {
		*/
		function f_IS_RLT_RCV_SEC_BO_02 () runs on ItsMapemSpatem {

		// TODO
		// Local variables
		var MapemReq v_mapemReq;
		var integer i;

		if (not PICS_MAPEM_RECEPTION or not PICS_IS_IUT_SECURED) {
		log("* " & testcasename() & ": PICS_MAPEM_RECEPTION and PICS_IS_IUT_SECURED required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfUp("RLT_RCV_SEC_BO_02");

		// Preamble
		f_prInitialState();
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		v_mapemReq := valueof(
		m_mapemReq(
		m_mapemPdu(
		m_mapem(
		5
		))));
		mapemSpatemPort.send(v_mapemReq) ;

		f_sleep(PX_TAC);
		if (0 == lengthof(vc_utMapemEvents) ) {
		log("* " & testcasename() & ": PASS: MAPEM was not transmitted to upper layer*");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		} else {
		log("* " & testcasename() & ": FAIL: MAPEM was transmitted to upper layer*");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}

		// Postamble
		f_poDefault();
		f_cfDown();

		} // End of function f_IS_RLT_RCV_SEC_BO_02

		@@ -2146,7 +2352,44 @@ module ItsMapem_TpFunctions {
		*/
		function f_IS_RLT_RCV_SEC_BO_03 () runs on ItsMapemSpatem {

		// TODO
		// Local variables
		var MapemReq v_mapemReq;
		var integer i;

		if (not PICS_MAPEM_RECEPTION or not PICS_IS_IUT_SECURED) {
		log("* " & testcasename() & ": PICS_MAPEM_RECEPTION and PICS_IS_IUT_SECURED required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfUp("RLT_RCV_SEC_BO_03");

		// Preamble
		f_prInitialState();
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		v_mapemReq := valueof(
		m_mapemReq(
		m_mapemPdu(
		m_mapem(
		5
		))));
		mapemSpatemPort.send(v_mapemReq) ;

		f_sleep(PX_TAC);
		if (0 == lengthof(vc_utMapemEvents) ) {
		log("* " & testcasename() & ": PASS: MAPEM was not transmitted to upper layer*");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		} else {
		log("* " & testcasename() & ": FAIL: MAPEM was transmitted to upper layer*");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}

		// Postamble
		f_poDefault();
		f_cfDown();

		} // End of function f_IS_RLT_RCV_SEC_BO_03

		@@ -2155,7 +2398,44 @@ module ItsMapem_TpFunctions {
		*/
		function f_IS_RLT_RCV_SEC_BO_04 () runs on ItsMapemSpatem {

		// TODO
		// Local variables
		var MapemReq v_mapemReq;
		var integer i;

		if (not PICS_MAPEM_RECEPTION or not PICS_IS_IUT_SECURED) {
		log("* " & testcasename() & ": PICS_MAPEM_RECEPTION and PICS_IS_IUT_SECURED required for executing the TC *");
		setverdict(inconc);
		stop;
		}

		// Test component configuration
		f_cfUp("RLT_RCV_SEC_BO_04");

		// Preamble
		f_prInitialState();
		f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);

		// Test Body
		v_mapemReq := valueof(
		m_mapemReq(
		m_mapemPdu(
		m_mapem(
		5
		))));
		mapemSpatemPort.send(v_mapemReq) ;

		f_sleep(PX_TAC);
		if (0 == lengthof(vc_utMapemEvents) ) {
		log("* " & testcasename() & ": PASS: MAPEM was not transmitted to upper layer*");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		} else {
		log("* " & testcasename() & ": FAIL: MAPEM was transmitted to upper layer*");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}

		// Postamble
		f_poDefault();
		f_cfDown();

		} // End of function f_IS_RLT_RCV_SEC_BO_04