Validate TC_VBS_MSGF_BV_16 (4c97a8bd) · Commits · ITS - Intelligent Transport Systems / ttcn / VRU TS 104 018-3

ItsVru_TestCases.ttcn

+419 −173

Original line number	Diff line number	Diff line
		@@ -15,7 +15,7 @@ module ItsVru_TestCases {
		import from LibItsVru_Functions all;
		import from LibItsVru_Pics all;

		// Ats Its
		// AtsVRU
		import from ItsVru_TpFunctions all;

		group message_format {
		@@ -594,28 +594,28 @@ module ItsVru_TestCases {
		*/
		testcase TC_VBS_MSGF_BV_16() runs on ItsBaseMtc system ItsVruSystem {
		// Local variables
		var ItsVru v_vam_cluster_leader;
		var ItsVru v_vam_cluster_member;
		var ItsVru v_iut;

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

		// Test component configuration
		f_cfMtcUp01(v_vam_cluster_leader, v_iut);
		f_cfMtcUp01(v_vam_cluster_member, v_iut);

		// Start components
		v_vam_cluster_leader.start(f_TC_VBS_MSGF_BV_15_cluster_leader()); // Set the IUT in VRU-PASSIVE mode
		v_vam_cluster_member.start(f_TC_VBS_MSGF_BV_16_cluster_member()); // Set the IUT in VRU-PASSIVE mode
		v_iut.start(f_TC_VBS_MSGF_BV_16_iut());

		// Synchronization
		f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
		f_serverSync2ClientsAndStop({c_initDone, c_prDone, c_tbDone});

		// Cleanup
		f_cfMtcDown01(v_vam_cluster_leader, v_iut);
		f_cfMtcDown01(v_vam_cluster_member, v_iut);

		} // End of testcase TC_VBS_MSGF_BV_16

		@@ -653,28 +653,28 @@ module ItsVru_TestCases {
		*/
		testcase TC_VBS_MSGF_BV_17() runs on ItsBaseMtc system ItsVruSystem {
		// Local variables
		var ItsVru v_vam_cluster_leader;
		var ItsVru v_vam_cluster_member;
		var ItsVru v_iut;

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

		// Test component configuration
		f_cfMtcUp01(v_vam_cluster_leader, v_iut);
		f_cfMtcUp01(v_vam_cluster_member, v_iut);

		// Start components
		v_vam_cluster_leader.start(f_TC_VBS_MSGF_BV_15_cluster_leader()); // Set the IUT in VRU-PASSIVE mode
		v_vam_cluster_member.start(f_TC_VBS_MSGF_BV_16_cluster_member()); // Set the IUT in VRU-PASSIVE mode
		v_iut.start(f_TC_VBS_MSGF_BV_17_iut());

		// Synchronization
		f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
		f_serverSync2ClientsAndStop({c_initDone, c_prDone, c_tbDone});

		// Cleanup
		f_cfMtcDown01(v_vam_cluster_leader, v_iut);
		f_cfMtcDown01(v_vam_cluster_member, v_iut);

		} // End of testcase TC_VBS_MSGF_BV_17

		@@ -2001,7 +2001,7 @@ module ItsVru_TestCases {
		* }
		* </pre>
		*
		* @see ETSI TS 104 028-2 V2.0.2 (2024-11) TP/VBS/TRANS/BV-02
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/TRANS/BV-02
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 6.3
		*/
		testcase TC_VBS_TRANS_BV_02() runs on ItsBaseMtc system ItsVruSystem {
		@@ -2162,7 +2162,7 @@ module ItsVru_TestCases {
		*/
		testcase TC_VBS_CLTR_BV_01() runs on ItsVru system ItsVruSystem {

		f_TC_VBS_CLTR_BV_01();
		// TODO f_TC_VBS_CLTR_BV_01();

		} // End of TC_VBS_CLTR_BV_01

		@@ -2191,7 +2191,7 @@ module ItsVru_TestCases {
		* }
		* </pre>
		*
		* @see ETSI TS 104 028-2 V2.0.2 (2024-11) TP/VBS/CLTR/BV-02
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/CLTR/BV-02
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 5.4.2.2
		*/
		testcase TC_VBS_CLTR_BV_02() runs on ItsBaseMtc system ItsVruSystem {
		@@ -2210,8 +2210,8 @@ module ItsVru_TestCases {
		f_cfMtcUp01(v_vam_initiate_cluster_leader, v_iut);

		// Start components
		/* TODO v_vam_clustev_vam_initiate_cluster_leaderr_leader.start(f_TC_VBS_CLTR_BV_02_initiate_cluster_leader());
		v_iut.start(f_TC_VBS_CLTR_BV_02_iut());*/
		/* TODO v_vam_clustev_vam_initiate_cluster_leaderr_leader.start(// TODO f_TC_VBS_CLTR_BV_02_initiate_cluster_leader());
		v_iut.start(// TODO f_TC_VBS_CLTR_BV_02_iut());*/

		// Synchronization
		f_serverSync2ClientsAndStop({c_prDone, c_tbDone});
		@@ -2221,6 +2221,252 @@ module ItsVru_TestCases {

		} // End of TC_VBS_CLTR_BV_02

		/**
		* @desc Check that a VBS in VRU-ACTIVE-STANDALONE stops the transmission of VAMs when changing to VRU-IDLE
		* <pre>
		* Pics Selection: PICS_CLUSTERING
		* Initial conditions:
		* with {
		* VBS in state VRU-ACTIVE-STANDALONE
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* state changes to VRU-IDLE
		* }
		* then {
		* VBS stops sending VAMs
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/CLTR/BV-03
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 5.4.2.2
		*/
		testcase TC_VBS_CLTR_BV_03() runs on ItsBaseMtc system ItsVruSystem {

		// TODO f_TC_VBS_CLTR_BV_03();

		} // End of TC_VBS_CLTR_BV_03

		/**
		* @desc Check that a cluster breaking VRU stops sending cluster VAMs
		* <pre>
		* Pics Selection: PICS_CLUSTERING
		* Initial conditions:
		* with {
		* VBS in state VRU-ACTIVE-CLUSTER-LEADER
		* and breakup indication has been sent

		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* VBS breaking up cluster
		* }
		* then {
		* VBS stops sending cluster VAMs
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/CLTR/BV-04
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 5.4.2.2
		*/
		testcase TC_VBS_CLTR_BV_04() runs on ItsBaseMtc system ItsVruSystem {

		// TODO f_TC_VBS_CLTR_BV_04();

		} // End of TC_VBS_CLTR_BV_04

		/**
		* @desc Check that a VRU sends an indication of joining a cluster for timeClusterJoinNotification including the identified cluster and time at which it stops sending individual VAMs
		* <pre>
		* Pics Selection: PICS_CLUSTERING
		* Initial conditions:
		* with {
		* VBS in state VRU-ACTIVE-CLUSTER-LEADER
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* VBS has received a VAM from a cluster leader
		* containing basicContainer
		* containing referencePosition
		* indicating Position
		* and distance(Position, EgoPosition) < maxClusterDistance
		* and containing vruHighFreuquencyContainer
		* containing speed
		* contaiing speedValue
		* indicating value
		* and abs(value – EgoSpeed) < maxClusterVelocityDifference
		* and containing vruClusterInformationContainer
		* containing clusterId
		* indicating Cid
		* and containing clusterCardinalitySize
		* indicating value < maxClusterSize
		* }
		* then {
		* VBS sends VAM
		* for timeClusterJoinNotification
		* not containing vruClusterInformationContainer
		* and containing clusterOperationContainer
		* containing clusterJoinInfo
		* containing clusterId
		* indicating CId
		* and containing joinTime
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/CLTR/BV-05
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 5.4.2.2
		*/
		testcase TC_VBS_CLTR_BV_05() runs on ItsBaseMtc system ItsVruSystem {

		// TODO f_TC_VBS_CLTR_BV_05();

		} // End of TC_VBS_CLTR_BV_05

		/**
		* @desc Check that a VBS sends individual VAMs after a cancelled-join oder failed-join including the same station ID as before and the cluster leave notification for timeClusterLeaveNotification
		* <pre>
		* Pics Selection: PICS_CLUSTERING
		* Initial conditions:
		* with {
		* VBS in state VRU-ACTIVE-STANDALONE
		* and cancelled-join has occured or failed-join has occured
		* and stationID is value sID
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* VBS generates VAM
		* }
		* then {
		* VBS sends VAM
		* not containing vruClusterInformationContainer
		* and containing ITS PDU header
		* containing stationID
		* indicating sID
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/CLTR/BV-06
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 5.4.2.2
		*/
		testcase TC_VBS_CLTR_BV_06() runs on ItsBaseMtc system ItsVruSystem {

		// TODO f_TC_VBS_CLTR_BV_06();

		} // End of TC_VBS_CLTR_BV_06

		/**
		* @desc Check that a VRU leaving a cluster indicates the identified cluster and the reason for timeClusterLeaveNotification
		* <pre>
		* Pics Selection: PICS_CLUSTERING
		* Initial conditions:
		* with {
		* VBS in state VRU-PASSIVE
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* VRU leaving cluster CL1
		* }
		* then {
		* VBS sends VAM
		* for timeClusterLeaveNotification
		* containing vruClusterOperationContainer
		* contianing vruClusterInformationContainer
		* containing clusterId
		* indicating CL1
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/CLTR/BV-07
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 5.4.2.2
		*/
		testcase TC_VBS_CLTR_BV_07() runs on ItsBaseMtc system ItsVruSystem {

		// TODO f_TC_VBS_CLTR_BV_07();

		} // End of TC_VBS_CLTR_BV_07

		/**
		* @desc Check that a cluster leader indicates a cluster ID change for timeClusterIdChangeNotification before the change
		* <pre>
		* Pics Selection: PICS_CLUSTERING
		* Initial conditions:
		* with {
		* VBS in state VRU-ACTIVE-CLUSTER-LEADER
		* and is triggered to change cluster ID
		* and VBS has sent VAM
		* containing vruClusterInformationContainer
		* containing clusterID
		* indicating cID1
		* and containing vruClusterOperationContainer
		* containing clusterIdChangeTimeInfo
		* indicating value x
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* IUT is sending
		* }
		* then {
		* VBS sends multiple VAMs
		* during timeClusterIdChangeNotification
		* containing vruClusterInformationContainer
		* and containing vruClusterOperationContainer
		* containing clusterIdChangeTimeInfo
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/CLTR/BV-09
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 5.4.2.3
		*/
		testcase TC_VBS_CLTR_BV_09() runs on ItsBaseMtc system ItsVruSystem {

		// TODO f_TC_VBS_CLTR_BV_09();

		} // End of TC_VBS_CLTR_BV_09

		/**
		* @desc Check that a cluster leader sends a cluster VAM with the new ID as soon as possible
		* <pre>
		* Pics Selection: PICS_CLUSTERING
		* Initial conditions:
		* with {
		* VBS in state VRU-ACTIVE-CLUSTER-LEADER
		* and change ID notification has been sent
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* IUT is changing cluster ID
		* }
		* then {
		* VBS sends VAMs
		* containing vruClusterInformationContainer
		* containing clusterId
		* indicating new cluster ID
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 018-2 V2.0.2 (2024-11) TP/VBS/CLTR/BV-10
		* @reference ETSI TS 103 300-3 (V2.2.1), clause 5.4.2.3
		*/
		testcase TC_VBS_CLTR_BV_10() runs on ItsBaseMtc system ItsVruSystem {

		// TODO f_TC_VBS_CLTR_BV_10();

		} // End of TC_VBS_CLTR_BV_10

ItsVru_TestControl.ttcn

+12 −0

Original line number	Diff line number	Diff line
		@@ -69,6 +69,18 @@ module ItsVru_TestControl {

		}

		if (PICS_CLUSTERING) {
		execute(TC_VBS_CLTR_BV_01());
		execute(TC_VBS_CLTR_BV_02());
		execute(TC_VBS_CLTR_BV_03());
		execute(TC_VBS_CLTR_BV_04());
		execute(TC_VBS_CLTR_BV_05());
		execute(TC_VBS_CLTR_BV_06());
		execute(TC_VBS_CLTR_BV_07());
		//execute(TC_VBS_CLTR_BV_08());
		execute(TC_VBS_CLTR_BV_09());
		execute(TC_VBS_CLTR_BV_10());
		}
		if (PICS_VAM_TRANSMISSION and PICS_IS_IUT_SECURED) {
		execute(TC_VBS_TRANS_BV_01());
		if (PICS_CLUSTERING) {

ItsVru_TpFunctions.ttcn

+524 −485

File changed.

Preview size limit exceeded, changes collapsed.