Implementing DISS & MGSF TPs (35313de9) · Commits · ITS - Intelligent Transport Systems / ttcn / SA TS 104 203-3

ItsSaem_TestCases.ttcn

+233 −6

Original line number	Diff line number	Diff line
		@@ -28,7 +28,7 @@ module ItsSaem_TestCases {
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* SAS generates SAEM
		* }
		* Expected behaviour:
		* ensure that {
		@@ -46,14 +46,143 @@ module ItsSaem_TestCases {
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/MSD/FMT/BV-01
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/MSGF/BV-01..03
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_MSGF_BV_01() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_MSGF_BV_01();

		} // End of TC_SAEM_MSGF_BV_01

		/**
		* @desc Check that the statdionId component of the header is set to the Station ID of the Service Announcer ITS-S
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS generates SAEM
		* and the Service Announcer ITS-S has Station ID s_ID
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS generates SAEM
		* }
		* then {
		* the IUT sends a valid SAEM
		* containing ITS PDU header
		* containing stationId
		* indicating value s_ID
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/MSGF/BV-04
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_MSGF_BV_04() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_MSGF_BV_04();

		} // End of TC_SAEM_MSGF_BV_04

		/**
		* @desc Check that the sam component of the SAEM is of type Sam
		* Check that the changeCount component is of type SrvAdvChangeCount
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS generates SAEM
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS generates SAEM
		* }
		* then {
		* the IUT sends a valid SAEM
		* containing sam of type Sam
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/MSGF/BV-05/06
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_MSGF_BV_05_06() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_MSGF_BV_05_06();

		} // End of TC_SAEM_MSGF_BV_05_06

		/**
		* @desc Check that the samBody component contains the component extensions if one of the announced services can be consumed using a different communication technology from the SAEM
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS is active
		* and one of the announced services can be consumed using a technology different from the one used to disseminate the SAEM
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS generates SAEM
		* }
		* then {
		* the IUT sends a valid SAEM
		* containing body
		* containing extensions
		* containing at least one SrvAdvMsgHeaderExt
		* containing value of type ExtendedChannelInfos
		* containing at least one ExtendedChannelInfo

		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/MSGF/BV-07
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_MSGF_BV_07() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_MSGF_BV_07();

		} // End of TC_SAEM_MSGF_BV_07

		/**
		* @desc Check that the samBody component contains the serviceInfos component with at least one element
		* Check that the serviceId component in the ServiceInfo contains the ITS-AID of the announced ITS-S service
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS is active
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS generates SAEM
		* }
		* then {
		* the IUT sends a valid SAEM
		* containing body
		* containing serviceInfos
		* containing at least one ServiceInfo
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/MSGF/BV-08/09
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_MSD_FMT_BV_01() runs on ItsSaem system ItsSaemSystem {
		testcase TC_SAEM_MSGF_BV_08_09() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_MSD_FMT_BV_01();
		f_TC_SAEM_MSGF_BV_08_09();

		} // End of TC_SAEM_MSD_FMT_BV_01
		} // End of TC_SAEM_MSGF_BV_08_09

		} // End of group saemMessageFormat

		@@ -232,7 +361,6 @@ module ItsSaem_TestCases {
		* indicating value CC_1 != CC_0
		* and containing serviceInfos
		* containing info for service A

		* }
		* }
		* </pre>
		@@ -295,6 +423,105 @@ module ItsSaem_TestCases {

		} // End of TC_SAEM_DISS_BV_03

		/**
		* @desc Check that the SAS message processing triggers, updates or ends the SAEM dissemination according to parameters received from the management entity vie the MF interface
		* triggers
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS is active
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS receives parameters from the management entity via the MF interface
		* }
		* then {
		* the SA facilities layer message processing functional block triggers / updates / ends SAME dissemination
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/DISS/BV-04
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_DISS_BV_04_01() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_DISS_BV_04_01();

		} // End of TC_SAEM_DISS_BV_04_01

		/**
		* @desc Check that the SAS message processing triggers, updates or ends the SAEM dissemination according to parameters received from the management entity vie the MF interface
		* ends
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS is active
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS receives parameters from the management entity via the MF interface
		* }
		* then {
		* the SA facilities layer message processing functional block triggers / updates / ends SAME dissemination
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/DISS/BV-04
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_DISS_BV_04_02() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_DISS_BV_04_02();

		} // End of TC_SAEM_DISS_BV_04_02

		/**
		* @desc Check that SAEMs are signed with explicit Authorization Tickets containing the SA ITS-AID and BitmapSsp SSPs
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS is active
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAEM is transmitted as signed message
		* }
		* then {
		* Message is sent
		* containing GeoNetworking header
		* containing Secured Packet
		* containing EtsiTs103097Data-Signed or EtsiTs103097Data-SignedExternalPayload
		* containing signedData
		* containing signer of type certificate
		* containing certificate
		* containing toBeSigned
		* containing appPermissions
		* containing at least one PsidSsp
		* containing psid
		* indicating ITS-AID
		* and containing ssp of type bitmapSsp

		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/DISS/BV-06
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_DISS_BV_06() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_DISS_BV_06();

		} // End of TC_SAEM_DISS_BV_06

		} // End of group saemMessageDissemination

		} // End of module ItsSaem_TestCases

ItsSaem_TestControl.ttcn

+9 −1

Original line number	Diff line number	Diff line
		@@ -19,10 +19,15 @@ module ItsSaem_TestControl {
		control {

		if (PICS_SAEM_GENERATION) {
		execute(TC_SAEM_MSD_FMT_BV_01());
		execute(TC_SAEM_MSGF_BV_01()); // Cover 02, 03 and 04
		execute(TC_SAEM_MSGF_BV_04());
		execute(TC_SAEM_MSGF_BV_05_06());
		execute(TC_SAEM_MSGF_BV_07());
		execute(TC_SAEM_MSGF_BV_08_09());

		if (PICS_IS_IUT_SECURED) {
		execute(TC_SAEM_IFSE_BV_01());
		execute(TC_SAEM_DISS_BV_06());
		}

		execute(TC_SAEM_IFNT_BV_01());
		@@ -31,6 +36,9 @@ module ItsSaem_TestControl {
		execute(TC_SAEM_DISS_BV_01());
		execute(TC_SAEM_DISS_BV_02());
		execute(TC_SAEM_DISS_BV_03());
		execute(TC_SAEM_DISS_BV_04_01());
		execute(TC_SAEM_DISS_BV_04_02());

		}
		} // End of 'control' statement

ItsSaem_TpFunctions.ttcn

+435 −18

File changed.

Preview size limit exceeded, changes collapsed.

lib/LibItsSaem_Pixits.ttcn

+11 −0

Original line number	Diff line number	Diff line
		@@ -13,7 +13,18 @@ module LibItsSaem_Pixits {
		import from LibCommon_BasicTypesAndValues all;
		import from LibCommon_DataStrings all;

		// LibIts
		import from ETSI_ITS_CDD language "ASN.1:1997" all;
		import from SAEM_PDU_Descriptions language "ASN.1:1997" all;
		import from ITSee1 language "ASN.1:1997" all;
		import from ITSsa1 language "ASN.1:1997" all;
		import from CITSapplMgmtApplReg2 language "ASN.1:1997" all;

		// LibItsSecurity
		import from LibItsSecurity_TypesAndValues all;

		modulepar integer PX_NEW_SERVICE_ID := 100; // < 128

		modulepar integer PX_NEW_SERVICE_CHANNEL_INDEX := 30 ; // 0..31

		} // End of module LibItsSaem_Pixits
		No newline at end of file

lib/LibItsSaem_Templates.ttcn

+11 −0

Original line number	Diff line number	Diff line
		@@ -142,6 +142,17 @@ module LibItsSaem_Templates {
		sam := ?
		}

		/**
		* @desc Default Receive template for SAEM PDU
		*/
		template (present) SAEM mw_saemMsg_sationId(
		in template (present) StationId p_stationId := ?
		) modifies mw_saemMsg_any := {
		header := {
		stationId := p_stationId
		}
		}

		/**
		* @desc Default Receive template for SAEM PDU
		*/