Adding TC_MIM_MSGF_BV_02,04; TC_MVM_MSGF_BV_02,04 (5d6f6d90) · Commits · ITS - Intelligent Transport Systems / ttcn / AVM TS 104 202-3

ItsAvm_TestCases.ttcn

+200 −40

Original line number	Diff line number	Diff line
		@@ -214,37 +214,6 @@ module ItsAvm_TestCases {

		} // End of TC_MIM_DISS_TI_01

		/**
		* @desc Check that the IUT generates e2eProtection CRC properly.
		* <pre>
		* Pics Selection: PICS_MIM_GENERATION
		* Initial conditions:
		* with {
		* AVM entity is active
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* a MIM is generated
		* }
		* then {
		* the IUT sends a valid MIM
		* containing e2EProtection
		* containing crc32
		* indicating correct CRC value calculated over the e2eProtection.length_ field and the rest of the message (excluding the first 6 bytes and the 4 bytes of crc32)
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 202-2 v2.2.1 TP/MIM/DISS/BV-02
		* @reference ETSI TS 103 882 v2.2.1, Annex B
		*/
		testcase TC_MIM_DISS_BV_0x() runs on ItsAvm system ItsAvmSystem {

		f_TC_MIM_DISS_BV_0x();

		} // End of TC_MIM_DISS_BV_0x

		} // End of group mimMessageGeneration

		group mimMessageFormat {
		@@ -252,7 +221,7 @@ module ItsAvm_TestCases {
		/**
		* @desc Check that the rollingCounter is initialized with 0 for the first generation request
		* <pre>
		* Pics Selection: PICS_MIM_GENERATION
		* Pics Selection: PICS_RO_ROLE and PICS_MIM_GENERATION
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		@@ -284,7 +253,7 @@ module ItsAvm_TestCases {
		/**
		* @desc Check that the rollingConter is incremented by 1 for every subsequent generation request after the first request
		* <pre>
		* Pics Selection: PICS_MIM_GENERATION
		* Pics Selection: PICS_RO_ROLE and
		* Initial conditions:
		* with {
		* AVM entity is active
		@@ -316,6 +285,36 @@ module ItsAvm_TestCases {

		} // End of TC_MIM_MSGF_BV_02

		// TODO TC_MIM_MSGF_BV_03

		/**
		* @desc Check that the the checksum of a MIM can be interpreted by the VO subsystem
		* <pre>
		* Pics Selection: PICS_RO_ROLE and PICS_MIM_GENERATION
		* Initial conditions:
		* with {
		* AVM entity is active
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* VO subsystem receives a MIM
		* }
		* then {
		* MIM checksum can be interpreted
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 202-2 v2.2.1 TP/MIM/MSGF/BV-04
		* @reference ETSI TS 103 882 v2.2.1, Annex B
		*/
		testcase TC_MIM_MSGF_BV_04() runs on ItsAvm system ItsAvmSystem {

		f_TC_MIM_MSGF_BV_04();

		} // End of TC_MIM_MSGF_BV_04

		} // End of group mimMessageFormat

		group mimLowerLayerParameters {
		@@ -420,13 +419,13 @@ module ItsAvm_TestCases {

		group mvmMessageDissemination {

		group mvmMessageFormat {
		group mvmMessageGeneration {

		/**
		* @desc Check that protocolVersion is set to 2 and messageID is
		* set to 19.
		* @desc Check that MVM messages are generated after the first successful reception of a MIM with a valid addressing to the SV ITS-S
		* Check that protocolVersion is set to 2 and messageID is set to 18
		* <pre>
		* Pics Selection: PICS_MVM_GENERATION
		* Pics Selection: PICS_VO_ROLE and PICS_MVM_GENERATION
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		@@ -450,11 +449,172 @@ module ItsAvm_TestCases {
		* @see ETSI TS 104 202-2 v2.2.1 TP/MIM/DISS/BV-01
		* @reference ETSI TS 103 882 v2.2.1, Annex B
		*/
		testcase TC_MVM_MSD_FMT_BV_01() runs on ItsAvm system ItsAvmSystem {
		testcase TC_MVM_DISS_BV_01() runs on ItsAvm system ItsAvmSystem {

		f_TC_MVM_DISS_BV_01();

		} // End of TC_MVM_DISS_BV_01

		/**
		* @desc Check that MVM messages are generated after T_GenMIM has elapsed
		* <pre>
		* Pics Selection: PICS_VO_ROLE and PICS_MVM_GENERATION
		* Initial conditions:
		* with {
		* AVM entity is active
		* and a MVM has been sent at T_0
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* T_GenMVM has elapsed at T_1
		* }
		* then {
		* MVM is sent
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 202-2 v2.2.1 TP/MIM/DISS/TI-01
		* @reference ETSI TS 103 882 v2.2.1, Annex B
		*/
		testcase TC_MVM_DISS_TI_01() runs on ItsAvm system ItsAvmSystem {

		f_TC_MVM_DISS_TI_01();

		} // End of TC_MVM_DISS_TI_01

		// TODO TC_MVM_DISS_TI_02

		/**
		* @desc Check that the the size of an ASN.1 encoded MVM does not exceed MTU_MVM
		* <pre>
		* Pics Selection: PICS_VO_ROLE and PICS_MVM_GENERATION
		* Initial conditions:
		* with {
		* AVM entity is active
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* a MVM is generated
		* }
		* then {
		* ASN.1 encoded size of MVM <= MTU_MVM
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 202-2 v2.2.1 TP/MVM/DISS/BV-02
		* @reference ETSI TS 103 882 v2.2.1, Annex B
		*/
		testcase TC_MVM_DISS_BV_02() runs on ItsAvm system ItsAvmSystem {

		f_TC_MVM_DISS_BV_02();

		} // End of TC_MVM_DISS_BV_02


		} // End of group mvmMessageGeneration

		group mvmMessageFormat {

		/**
		* @desc Check that the rollingCounter is initialized with 0 for the first generation request
		* <pre>
		* Pics Selection: PICS_VO_ROLE and PICS_MVM_GENERATION
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* and no MVM has been sent yet
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* a MVM is generated for the first time
		* }
		* then {
		* MVM is generated
		* containing e2eProtection
		* containing rollingCounter
		* indicating value 0
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 202-2 v2.2.1 TP/MVM/MSGF/BV-01
		* @reference ETSI TS 103 882 v2.2.1, Annex B
		*/
		testcase TC_MVM_MSGF_BV_01() runs on ItsAvm system ItsAvmSystem {

		f_TC_MVM_MSGF_BV_01();

		} // End of TC_MVM_MSGF_BV_01

		/**
		* @desc Check that the rollingConter is incremented by 1 for every subsequent generation request after the first request
		* <pre>
		* Pics Selection: PICS_VO_ROLE and PICS_MVM_GENERATION
		* Initial conditions:
		* with {
		* AVM entity is active
		* MVM has been sent at T_0
		* containing e2eProtection
		* containing rollingCounter
		* indicating value R
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* a MVM generation is requested at T_1
		* }
		* then {
		* MIM is generated
		* containing e2eProtection
		* containing rollingCounter
		* indicating value R + 1
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 202-2 v2.2.1 TP/MVM/MSGF/BV-02
		* @reference ETSI TS 103 882 v2.2.1, Annex B
		*/
		testcase TC_MVM_MSGF_BV_02() runs on ItsAvm system ItsAvmSystem {

		f_TC_MVM_MSGF_BV_02();

		} // End of TC_MVM_MSGF_BV_02

		// TODO TC_MVM_MSGF_BV_03

		/**
		* @desc Check that the the checksum of a MVM can be interpreted by the RO subsystem
		* <pre>
		* Pics Selection: PICS_RO_ROLE and PICS_MVM_GENERATION
		* Initial conditions:
		* with {
		* AVM entity is active
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* RO subsystem receives a MVM
		* }
		* then {
		* MVM checksum can be interpreted
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 202-2 v2.2.1 TP/MVM/MSGF/BV-04
		* @reference ETSI TS 103 882 v2.2.1, Annex B
		*/
		testcase TC_MVM_MSGF_BV_04() runs on ItsAvm system ItsAvmSystem {

		f_MVM_MSD_FMT_BV_01();
		f_TC_MVM_MSGF_BV_04();

		} // End of TC_MVM_MSD_FMT_BV_01
		} // End of TC_MVM_MSGF_BV_04

		} // End of group mvmMessageFormat

ItsAvm_TestControl.ttcn

+10 −2

Original line number	Diff line number	Diff line
		@@ -35,17 +35,25 @@ module ItsAvm_TestControl {
		execute(TC_MIM_DISS_TI_02());

		execute(TC_MIM_MSGF_BV_01());
		execute(TC_MIM_MSGF_BV_02());
		execute(TC_MIM_MSGF_BV_04());
		}

		if (PICS_VO_ROLE) {

		if (PICS_MVM_GENERATION) {
		execute(TC_MVM_MSD_FMT_BV_01());
		execute(TC_MVM_DISS_BV_01());
		execute(TC_MVM_DISS_TI_01());
		execute(TC_MVM_DISS_BV_02());
		}

		execute(TC_MVM_MSD_PAR_BV_01());
		execute(TC_MVM_MSD_PAR_BV_02());
		execute(TC_MVM_MSD_PAR_BV_03());

		execute(TC_MVM_MSGF_BV_01());
		execute(TC_MVM_MSGF_BV_02());
		execute(TC_MVM_MSGF_BV_04());
		}

		} // End of 'control' statement

ItsAvm_TpFunctions.ttcn

+416 −70

File changed.

Preview size limit exceeded, changes collapsed.

lib/LibItsAvm_Pics.ttcn

+1 −0

Original line number	Diff line number	Diff line
		@@ -49,6 +49,7 @@ module LibItsAvm_Pics {
		* @see ETSI TS 104 202-1 Table A.6
		*/
		modulepar integer PICS_MIM_MTU := 1500;
		modulepar integer PICS_MVM_MTU := 1500;

		/**
		* @desc Maximum time interval between MIM generations (in seconds).

lib/LibItsAvm_Templates.ttcn

+20 −1

Original line number	Diff line number	Diff line
		@@ -320,6 +320,25 @@ module LibItsAvm_Templates {
		e2eProtection := p_e2eProtection
		}

		/**
		* @desc Default Receive template for MVM PDU
		*/
		template (present) MVM mw_mvmMsg(
		in template (present) StationId p_station_id := ?,
		in template (present) Mvm p_mvm := ?
		) modifies mw_mvmMsg_any := {
		mvm := p_mvm
		}

		/**
		* @desc Default Receive template for MVM PDU
		*/
		template (present) MVM mw_mvmMsg_e2eProtection(
		in template (present) AvmE2EProtection p_e2eProtection := ?
		) modifies mw_mvmMsg_any := {
		e2eProtection := p_e2eProtection
		}

		group mim {

		template (omit) Mim m_mim(
		@@ -915,7 +934,7 @@ module LibItsAvm_Templates {
		}

		template (value) VehicleProperties m_vehicle_properties(
		in template (value) BasicVehicleClassEnum p_basicVehicleClass,
		in template (value) BasicVehicleClassEnum p_basicVehicleClass := car,
		in template (value) Centimetre p_vehicleLength,
		in template (value) Centimetre p_vehicleWheelbase,
		in template (value) Centimetre p_vehicleRearOverhang,