Start SREM/SSEM implementation (2324e2d9) · Commits · ITS - Intelligent Transport Systems / ITS

ttcn/AtsIVIM/ItsIvim_TestCases.ttcn

+224 −11

Original line number	Diff line number	Diff line
		@@ -182,6 +182,39 @@ module ItsIvim_TestCases {
		f_IS_IVI_EVGN_BV_04();

		} // End of TC_IS_IVI_EVGN_BV_04

		/**
		* @desc Check that the timeStamp is set to the current time when generating a new IVM
		* <pre>
		* PICS Selection: PICS_IVIM_GENERATION
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT is requested to generate a new IVIM
		* }
		* then {
		* the IUT sends a valid IVIM
		* containing ivi
		* containing mandatory
		* containing timeStamp
		* indicating CLT
		* and containing iviStatus
		* indicating 'new'
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 103 191-2 TP_IS_IVI_EVGN_BV_05, ETSI TS 103 301, clause 7.4.2
		*/
		testcase TC_IS_IVI_EVGN_BV_05() runs on ItsIvim system ItsIvimSystem {

		f_IS_IVI_EVGN_BV_05();

		} // End of TC_IS_IVI_EVGN_BV_05

		} // End of group iviEventGeneration

		group iviEventUpdate {
		@@ -189,7 +222,7 @@ module ItsIvim_TestCases {
		/**
		* @desc Check that an updated IVIM contains an iviStatus set to 'update'
		* <pre>
		* PICS Selection: PICS_IVIM_GENERATION
		* PICS Selection: PICS_IVIM_UPDATE
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		@@ -227,7 +260,7 @@ module ItsIvim_TestCases {
		/**
		* @desc Check that an update can change the validity time to the IVIM - validTo information field
		* <pre>
		* PICS Selection: PICS_IVIM_GENERATION
		* PICS Selection: PICS_IVIM_UPDATE
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		@@ -266,7 +299,7 @@ module ItsIvim_TestCases {
		/**
		* @desc Check that an update can change the validity time to the IVIM - validFrom information field
		* <pre>
		* PICS Selection: PICS_IVIM_GENERATION
		* PICS Selection: PICS_IVIM_UPDATE
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		@@ -302,8 +335,155 @@ module ItsIvim_TestCases {

		} // End of TC_IS_IVI_EVUP_BV_07

		/**
		* @desc Check that the timeStamp is set to the current time when generating an update with some change of information content
		* <pre>
		* PICS Selection: PICS_IVIM_UPDATE
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* and the IUT having generated an event
		* containing ivi
		* containing mandatory
		* containing timeStamp
		* and containing iviStatus
		* indicating 'new'
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT receives an AppIVIM_update
		* }
		* then {
		* the IUT sends a valid IVIM
		* containing ivi
		* containing mandatory
		* containing timeStamp
		* indicating CLT
		* and containing iviStatus
		* indicating 'update'
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 103 191-2 TP_IS_IVI_EVUP_BV_08, ETSI TS 103 301, clause 7.4.2
		*/
		testcase TC_IS_IVI_EVUP_BV_08() runs on ItsIvim system ItsIvimSystem {

		f_IS_IVI_EVUP_BV_08();

		} // End of TC_IS_IVI_EVUP_BV_08

		/**
		* @desc Check that the iviIdentificationNumber remains unchanged IVIM is updated
		* <pre>
		* PICS Selection: PICS_IVIM_UPDATE
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* and the IUT having generated an event
		* containing ivi
		* containing mandatory
		* containing iviIdentificationNumber
		* inicating IVIM_ID_1
		* and containing iviStatus
		* indicating 'new'
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT receives an AppIVIM_update request associated with IVIM_ID_1
		* }
		* then {
		* the IUT sends a valid IVIM
		* containing ivi
		* containing mandatory
		* containing iviIdentificationNumber
		* indicating IVIM_ID_1
		* and containing iviStatus
		* indicating 'update'
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 103 191-2 TP_IS_IVI_EVUP_BV_09, ETSI TS 103 301, clause 7.4.2
		*/
		testcase TC_IS_IVI_EVUP_BV_09() runs on ItsIvim system ItsIvimSystem {

		f_IS_IVI_EVUP_BV_09();

		} // End of TC_IS_IVI_EVUP_BV_09

		} // End of group iviEventUpdate

		group iviEventTermination {

		} // End of group iviEventTermination

		group iviGenerationFrequency {

		/**
		* @desc Check that IVIMs are not generated more frequently than T_GenIvimMin
		* <pre>
		* Pics Selection: PICS_IVIM_GENERATION
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* and the IUT having generated several IVIM
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT sends a IVIM
		* }
		* then {
		* the IUT does not send any IVIM before expiry of T_GenIvimMin
		* }
		* }
		* </pre>
		*
		* @version 1.0.4
		* @see ETSI TS 103 191-2 v0.0.1 TP_IS_IVIM_GFQ_TI_01
		* @reference ETSI TS 103 301 V1.0.4 Clause 7.4.2
		*/
		testcase TC_IS_IVIM_GFQ_TI_01 () runs on ItsIvim system ItsIvimSystem {

		f_IS_IVIM_GFQ_TI_01();

		} // End of testcase TC_IS_IVIM_GFQ_TI_01

		/**
		* @desc Check that IVIMs are not generated less frequently than T_GenIvimMax
		* <pre>
		* Pics Selection: PICS_IVIM_GENERATION
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* and the IUT having generated several IVIM
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT sends a IVIM
		* }
		* then {
		* the IUT sends another IVIM before expiry of T_GenIvimMax
		* }
		* }
		* </pre>
		*
		* @version 1.0.4
		* @see ETSI TS 103 191-2 v0.0.1 TP_IS_IVIM_GFQ_TI_02
		* @reference ETSI TS 103 301 V1.0.4 Clause 7.4.2
		*/
		testcase TC_IS_IVIM_GFQ_TI_02 () runs on ItsIvim system ItsIvimSystem {

		f_IS_IVIM_GFQ_TI_02();

		} // End of testcase TC_IS_IVIM_GFQ_TI_02

		} // End of group iviGenerationFrequency

		group iviCommunication {

		/**
		@@ -328,14 +508,14 @@ module ItsIvim_TestCases {
		* </pre>
		*
		* @version 1.0.4
		* @see ETSI TS 103 191-2 v0.0.1 TP_IS_IVIM_COMM_BV_02_01
		* @see ETSI TS 103 191-2 v0.0.1 TP_IS_IVIM_COMM_BV_01_01
		* @reference ETSI TS 103 301 V1.0.4 Clause 7.4.3.2
		*/
		testcase TC_IS_IVIM_COMM_BV_02_01 () runs on ItsIvim system ItsIvimSystem {
		testcase TC_IS_IVIM_COMM_BV_01_01 () runs on ItsIvim system ItsIvimSystem {

		f_IS_IVIM_COMM_BV_02_01();
		f_IS_IVIM_COMM_BV_01_01();

		} // End of testcase TC_IS_IVIM_COMM_BV_02_01
		} // End of testcase TC_IS_IVIM_COMM_BV_01_01

		/**
		* @desc Check that the destination port for IVIM is set to 2006
		@@ -361,14 +541,47 @@ module ItsIvim_TestCases {
		* </pre>
		*
		* @version 1.0.4
		* @see ETSI TS 103 191-2 v0.0.1 TP_IS_IVIM_COMM_BV_02_02
		* @see ETSI TS 103 191-2 v0.0.1 TP_IS_IVIM_COMM_BV_01_02
		* @reference ETSI TS 103 301 V1.0.4 Clause 7.4.3.2
		*/
		testcase TC_IS_IVIM_COMM_BV_02_02 () runs on ItsIvim system ItsIvimSystem {
		testcase TC_IS_IVIM_COMM_BV_01_02 () runs on ItsIvim system ItsIvimSystem {

		f_IS_IVIM_COMM_BV_01_02();

		} // End of testcase TC_IS_IVIM_COMM_BV_01_02

		/**
		* @desc Check that TLM service encapsulates IVIM in a UNC with the HeaderType field set to the value of 2
		* <pre>
		* Pics Selection: PICS_IVIM_GENERATION
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* and the IUT sending IVIM
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* a IVIM is generated
		* }
		* then {
		* the IUT sends a valid IVIM
		* encapsulated in a UNC packet
		* containing a correctly formatted Common Header
		* containing HeaderType field
		* indicating the value '2'
		* }
		* }
		* </pre>
		*
		* @version 1.0.4
		* @see ETSI TS 103 191-2 v0.0.1 TP_IS_IVIM_COMM_BV_02
		*/
		testcase TC_IS_IVIM_COMM_BV_02 () runs on ItsIvim system ItsIvimSystem {

		f_IS_IVIM_COMM_BV_02_02();
		f_IS_IVIM_COMM_BV_02();

		} // End of testcase TC_IS_IVIM_COMM_BV_02_02
		} // End of testcase TC_IS_IVIM_COMM_BV_02

		} // End of group iviCommunication

ttcn/AtsIVIM/ItsIvim_TpFunctions.ttcn

+514 −44

File changed.

Preview size limit exceeded, changes collapsed.

ttcn/AtsMapemSpatem/ItsMapem_TestCases.ttcn

+18 −18

Original line number	Diff line number	Diff line
		/**
		* @author ETSI / STF484
		* @author ETSI / STF517
		* @version $URL$
		* $Id$
		* @desc MAPEM Testcases (TP version: 0.0.1)
		@@ -363,7 +363,7 @@ module ItsMapem_TestCases {
		// } // End of testcase TC_IS_RLT_MSD_BV-01
		//
		// /**
		// * @desc Verify that when sending a SPATEM message the DSRCmsgSubID is set to value 1.
		// * @desc Verify that when sending a SPATEM the DSRCmsgSubID is set to value 1.
		// * <pre>
		// * Pics Selection: PICS_RSU
		// * Initial conditions:
		@@ -373,7 +373,7 @@ module ItsMapem_TestCases {
		// * Expected behaviour:
		// * ensure that {
		// * when {
		// * a SPATEM message is generated
		// * a SPATEM is generated
		// * }
		// * then {
		// * the IUT sends a valid SPATEM message
		@@ -465,7 +465,7 @@ module ItsMapem_TestCases {
		// f_cfUp();
		//
		// // Preamble
		// // Triggering MAPEM message repetition lesser than 10s
		// // Triggering MAPEM repetition lesser than 10s
		// v_msgCount := f_utTriggerEvent ( m_utTriggerEvent ( mapRepL10s ) );
		// // Receiving first MAPEM message
		// tc_ac.start;
		@@ -483,13 +483,13 @@ module ItsMapem_TestCases {
		// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
		//
		// // Test Body
		// // Receiving repetition MAPEM message before 10s
		// // Receiving repetition MAPEM before 10s
		// tc_ac.start (10.0);
		// alt {
		// [] mapemSpatemPort.receive ( mw_mapemInd ( mw_mapemPdu ( mw_itsPduHeaderMapem , mw_anyMap ) ) ) -> value v_message {
		// tc_ac.stop;
		// if ( v_message.msgIn.msgMapem.map_.msgIssueRevision == v_msgCount ) {
		// log("* " & testcasename() & ": PASS: Successfully received Second MAPEM message with correct Count. *");
		// log("* " & testcasename() & ": PASS: Successfully received Second MAPEM with correct Count. *");
		// f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		// }
		// else {
		@@ -549,7 +549,7 @@ module ItsMapem_TestCases {
		// f_cfUp();
		//
		// // Preamble
		// // Triggering MAPEM message repetition greather than 10s
		// // Triggering MAPEM repetition greather than 10s
		// v_msgCount := f_utTriggerEvent ( m_utTriggerEvent ( mapRepG10s ) );
		// // Receiving first MAPEM message
		// tc_ac.start;
		@@ -567,13 +567,13 @@ module ItsMapem_TestCases {
		// f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success);
		//
		// // Test Body
		// // Receiving repetition MAPEM message after 10s
		// // Receiving repetition MAPEM after 10s
		// tc_ac.start (20.0);
		// alt {
		// [] mapemSpatemPort.receive ( mw_mapemInd ( mw_mapemPdu ( mw_itsPduHeaderMapem , mw_anyMap ) ) ) -> value v_message {
		// tc_ac.stop;
		// if ( v_message.msgIn.msgMapem.map_.msgIssueRevision != v_msgCount ) {
		// log("* " & testcasename() & ": PASS: Successfully received Second MAPEM message with correct Count. *");
		// log("* " & testcasename() & ": PASS: Successfully received Second MAPEM with correct Count. *");
		// f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		// }
		// else {
		@@ -720,7 +720,7 @@ module ItsMapem_TestCases {
		// } // End of testcase TC_IS_RLT_MSD_BV-09
		//
		// /**
		// * @desc Verify that the IntersectionReferenceID contained in the SPATEM message correspond to a previously received intersection MAPEM.
		// * @desc Verify that the IntersectionReferenceID contained in the SPATEM correspond to a previously received intersection MAPEM.
		// * <pre>
		// * Pics Selection: PICS_RSU
		// * Initial conditions:
		@@ -733,7 +733,7 @@ module ItsMapem_TestCases {
		// * Expected behaviour:
		// * ensure that {
		// * when {
		// * a SPATEM message is generated
		// * a SPATEM is generated
		// * }
		// * then {
		// * the IUT sends a valid SPATEM message
		@@ -760,7 +760,7 @@ module ItsMapem_TestCases {
		// f_cfUp();
		//
		// // Preamble
		// // Receiving MAPEM message - Saving IntersectionList
		// // Receiving MAPEM - Saving IntersectionList
		// tc_ac.start;
		// alt {
		// [] mapemSpatemPort.receive ( mw_mapemInd ( mw_mapemPdu ( mw_itsPduHeaderMapem , mw_anyMap ) ) ) -> value v_message {
		@@ -874,7 +874,7 @@ module ItsMapem_TestCases {
		// } // End of testcase TC_IS_RLT_MSD_BV-11
		//
		// /**
		// * @desc Verify that the SPATEM message is well formatted.
		// * @desc Verify that the SPATEM is well formatted.
		// * <pre>
		// * Pics Selection: PICS_RSU
		// * Initial conditions:
		@@ -884,7 +884,7 @@ module ItsMapem_TestCases {
		// * Expected behaviour:
		// * ensure that {
		// * when {
		// * a SPATEM message is generated
		// * a SPATEM is generated
		// * }
		// * then {
		// * the IUT sends a valid SPATEM message
		@@ -1006,10 +1006,10 @@ module ItsMapem_TestCases {
		// * Expected behaviour:
		// * ensure that {
		// * when {
		// * a SPATEM message is generated
		// * a SPATEM is generated
		// * }
		// * then {
		// * the IUT sends a valid SPATEM message encapsulated into a GN SHB message
		// * the IUT sends a valid SPATEM encapsulated into a GN SHB message
		// * }
		// * }
		// * </pre>
		@@ -1131,10 +1131,10 @@ module ItsMapem_TestCases {
		// * Expected behaviour:
		// * ensure that {
		// * when {
		// * the IUT receives a valid SPATEM message encapsulated into a GN SHB message
		// * the IUT receives a valid SPATEM encapsulated into a GN SHB message
		// * }
		// * then {
		// * the IUT forwards the SPATEM message content to upper layers
		// * the IUT forwards the SPATEM content to upper layers
		// * }
		// * }
		// * </pre>

ttcn/AtsMapemSpatem/ItsMapem_TpFunctions.ttcn

+5 −5

Original line number	Diff line number	Diff line
		@@ -287,7 +287,7 @@ module ItsMapem_TpFunctions {
		c_gnNhBtpB
		)) {
		tc_ac.stop;
		log("* " & testcasename() & ": PASS: Expected MAPEM message encapsultated in BTP-B packet received. *");
		log("* " & testcasename() & ": PASS: Expected MAPEM encapsultated in BTP-B packet received. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		}
		[] mapemSpatemPort.receive(mw_mapemIndWithGnParameters(mw_mapemPdu(mw_mapemWellFormatted), omit)) {
		@@ -297,7 +297,7 @@ module ItsMapem_TpFunctions {
		}
		[] mapemSpatemPort.receive(mw_mapemInd(mw_mapemPdu(mw_defaultMapem))) {
		tc_ac.stop;
		log("* " & testcasename() & ": FAIL: Expected MAPEM message received, but not encapsulated in BTP-B packet *");
		log("* " & testcasename() & ": FAIL: Expected MAPEM received, but not encapsulated in BTP-B packet *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}
		[] tc_ac.timeout {
		@@ -336,12 +336,12 @@ module ItsMapem_TpFunctions {
		0
		)) {
		tc_ac.stop;
		log("* " & testcasename() & ": PASS: Expected MAPEM message encapsultated in BTP packet with port value 2003 received. *");
		log("* " & testcasename() & ": PASS: Expected MAPEM encapsultated in BTP packet with port value 2003 received. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		}
		[] mapemSpatemPort.receive(mw_mapemInd(mw_mapemPdu(mw_defaultMapem))) {
		tc_ac.stop;
		log("* " & testcasename() & ": FAIL: Expected MAPEM message received, but not addressed to the correct destination port. *");
		log("* " & testcasename() & ": FAIL: Expected MAPEM received, but not addressed to the correct destination port. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}
		[] tc_ac.timeout {
		@@ -389,7 +389,7 @@ module ItsMapem_TpFunctions {
		c_gnHtGbc
		)) {
		tc_ac.stop;
		log("* " & testcasename() & ": PASS: Expected DENM message encapsulated in GBC packet received. *");
		log("* " & testcasename() & ": PASS: Expected MAPEM encapsulated in GBC packet received. *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		}
		[] mapemSpatemPort.receive(

ttcn/AtsMapemSpatem/ItsSpatem_TpFunctions.ttcn

+23 −23

File changed.

Preview size limit exceeded, changes collapsed.