Implementing MGSF SAEM TPs (f310658e) · Commits · ITS - Intelligent Transport Systems / ttcn / SA TS 104 203-3

ItsSaem_TestCases.ttcn

+221 −0

Original line number	Diff line number	Diff line
		@@ -184,6 +184,227 @@ module ItsSaem_TestCases {

		} // End of TC_SAEM_MSGF_BV_08_09

		/**
		* @desc Check that the channel Index component in the ServiceInfo contains a pointer to an entry in the channelInfos component or in the ExtendedChannelInfos extension if there are entries
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS is active
		* and there are entries in the channelInfos component or the ExtendedChannelInfos extension
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS generates SAEM
		* }
		* then {
		* the IUT sends a valid SAEM
		* containing body
		* containing serviceInfos
		* containing at least one ServiceInfo
		* containing channelIndex
		* indicating index of element in channelInfos or ExtendedChannelInfos
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/MSGF/BV-10
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_MSGF_BV_10() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_MSGF_BV_10();

		} // End of TC_SAEM_MSGF_BV_10

		/**
		* @desc Check that the channelIndex component in the ServiceInfo is set to 0 if the channelInfos component and the ExtendedChannelInfos extension are absent
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS is active
		* and the channelInfos component and the ExtendedChannelInfos extension are absent
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS generates SAEM
		* }
		* then {
		* the IUT sends a valid SAEM
		* containing body
		* containing serviceInfos
		* containing at least one ServiceInfo
		* containing channelIndex
		* indicating value 0
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/MSGF/BV-11
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_MSGF_BV_11() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_MSGF_BV_11();

		} // End of TC_SAEM_MSGF_BV_11

		/**
		* @desc Check that the extension SrvOpP-ProtocolStack is present in the ServiceInfo component
		* <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
		* containing chOptions
		* containing extensions
		* containing at least one ServiceInfoExt
		* containing value of type SrvOpP-ProtocolStack
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/MSGF/BV-12
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_MSGF_BV_12() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_MSGF_BV_12();

		} // End of TC_SAEM_MSGF_BV_12

		/**
		* @desc Check that the extension IPv6Address is present if the extension SrvOpP-ProtocolStack indicates "IPv6"
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS is active
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS generates SAEM
		* containing sam
		* containing body
		* containing serviceInfos
		* containing at least one ServiceInfo
		* containing chOptions
		* containing extensions
		* containing at least one ServiceInfoExt
		* containing value of type SrvOpP-ProtocolStack
		* containing content
		* indicating value 6
		* }
		* then {
		* the IUT sends a valid SAEM
		* containing body
		* containing serviceInfos
		* containing at least one ServiceInfo
		* containing chOptions
		* containing extensions
		* containing at least one ServiceInfoExt
		* containing value of type IPv6Address
		* indicating the IP address of the Service Provider ITS-S
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/MSGF/BV-13
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_MSGF_BV_13() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_MSGF_BV_13();

		} // End of TC_SAEM_MSGF_BV_13

		/**
		* @desc Check that the extension ProviderMACaddress is present when the Service Provider is implemented in a different ITS-S than the Advertiser and forwarding at data link layer is used
		* Check that the subcomponents systemSerrvice and serviceProviderPort are not used
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS is active
		* and the Service Provider is implemented in a different ITS-S than the Advertiser
		* and forwarding at data link layer is used
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS generates SAEM
		* }
		* then {
		* the IUT sends a valid SAEM
		* containing body
		* containing serviceInfos
		* containing at least one ServiceInfo
		* containing chOptions
		* containing extensions
		* containing at least one ServiceInfoExt
		* containing value of type ProviderMacAddress
		* indicating the MAC address of the Provider ITS-S
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/MSGF/BV-14/15
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_MSGF_BV_14_15() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_MSGF_BV_14_15();

		} // End of TC_SAEM_MSGF_BV_14_15

		/**
		* @desc Check that the channelInfos component and / or the ExtendedChannelInfos extension are present if the ITS-S service can be consumed on a channel that is different from the channel on which the SAEM is transmitted
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS is active
		* and the ITS-S service can be consumed on a channel that is different from the channel on which the SAEM is transmitted
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS generates SAEM
		* }
		* then {
		* the IUT sends a valid SAEM
		* containing body
		* containing channelInfos
		* containing at least one ChannelInfo

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

		f_TC_SAEM_MSGF_BV_16();

		} // End of TC_SAEM_MSGF_BV_16

		} // End of group saemMessageFormat

		group saemSecurity {

ItsSaem_TestControl.ttcn

+6 −0

Original line number	Diff line number	Diff line
		@@ -24,6 +24,12 @@ module ItsSaem_TestControl {
		execute(TC_SAEM_MSGF_BV_05_06());
		execute(TC_SAEM_MSGF_BV_07());
		execute(TC_SAEM_MSGF_BV_08_09());
		execute(TC_SAEM_MSGF_BV_10());
		execute(TC_SAEM_MSGF_BV_11());
		execute(TC_SAEM_MSGF_BV_12());
		execute(TC_SAEM_MSGF_BV_13());
		execute(TC_SAEM_MSGF_BV_14_15());
		execute(TC_SAEM_MSGF_BV_16());

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

ItsSaem_TpFunctions.ttcn

+587 −51

File changed.

Preview size limit exceeded, changes collapsed.

lib/LibItsSaem_Templates.ttcn

+44 −6

Original line number	Diff line number	Diff line
		@@ -126,6 +126,16 @@ module LibItsSaem_Templates {
		hashedId8 := '0000000000000000'O
		}

		template (omit) UtSaemMessage m_ut_saem_message(
		in template (value) ServiceInfo p_serviceInfo,
		in template (omit) ChannelInfo p_channelInfo := omit,
		in template (omit) SrvAdvMsgHeaderExts p_extensions := omit
		) := {
		serviceInfo := p_serviceInfo,
		channelInfo := p_channelInfo,
		extensions := p_extensions
		}

		} // end utPrimitives

		} // end group Primitives
		@@ -240,21 +250,23 @@ module LibItsSaem_Templates {

		template (omit) ChannelOptions m_channel_options(
		in template (omit) ChannelOptions.systemService p_systemService := omit,
		in template (omit) ChannelOptions.serviceProviderPort p_serviceProviderPort := omit
		in template (omit) ChannelOptions.serviceProviderPort p_serviceProviderPort := omit,
		in template (omit) ChannelOptions.extensions p_extensions := omit
		) := {
		systemService := p_systemService,
		serviceProviderPort := p_serviceProviderPort
		serviceProviderPort := p_serviceProviderPort,
		extensions := p_extensions
		}

		template ChannelOptions mw_channel_options(
		template ChannelOptions.systemService p_systemService := *,
		template ChannelOptions.serviceProviderPort p_serviceProviderPort := *
		template ChannelOptions.serviceProviderPort p_serviceProviderPort := *,
		template ChannelOptions.extensions p_extensions := *
		) := {
		systemService := p_systemService,
		serviceProviderPort := p_serviceProviderPort
		}


		template (value) ChannelInfo m_channel_info(
		in template (value) OperatingClass80211 p_operatingClass,
		in template (value) ChannelNumber80211 p_channelNumber,
		@@ -341,4 +353,30 @@ module LibItsSaem_Templates {
		primaryDns := p_primaryDns
		}

		template (omit) ChInfoOptions m_ch_info_options(
		in template (omit) ChannelInfoExts p_extensions := omit
		) := {
		option1 := omit,
		option2 := omit,
		option3 := omit,
		option4 := omit,
		option5 := omit,
		option6 := omit,
		option7 := omit,
		extensions := p_extensions
		}

		template ChInfoOptions mw_ch_info_options(
		template ChannelInfoExts p_extensions := *
		) := {
		option1 := omit,
		option2 := omit,
		option3 := omit,
		option4 := omit,
		option5 := omit,
		option6 := omit,
		option7 := omit,
		extensions := p_extensions
		}

		} // End of group LibItsSaem_Templates

lib/LibItsSaem_TypesAndValues.ttcn

+12 −4

Original line number	Diff line number	Diff line
		@@ -75,10 +75,18 @@ module LibItsSaem_TypesAndValues {
		variant ""
		}

		type record UtSaemMessage {
		ServiceInfo serviceInfo,
		ChannelInfo channelInfo optional,
		SrvAdvMsgHeaderExts extensions optional
		}

		type record of UtSaemMessage UtSaemMessages;

		type union SaemManagement {
		ServiceInfo trigger_,
		ServiceInfo update,
		ServiceInfo ends
		UtSaemMessages trigger_,
		UtSaemMessages update,
		UtSaemMessages ends
		} with {
		variant ""
		}

lib/LibItsSaem_Pixits.ttcn

+1 −1

File changed.

Contains only whitespace changes.