Implementing IFSBE, IFNET TPs (037dce94) · Commits · ITS - Intelligent Transport Systems / ttcn / SA TS 104 203-3

ItsSaem_TestCases.ttcn

+241 −3

Original line number	Diff line number	Diff line
		@@ -46,17 +46,255 @@ module ItsSaem_TestCases {
		* }
		* </pre>
		*
		* @see ETSI TS 104 202-2 v2.2.1 TP/SAEM/MSD/FMT/BV-01
		* @reference ETSI TS 103 882 v2.2.1, Annex B
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/MSD/FMT/BV-01
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_MSD_FMT_BV_01() runs on ItsSaem system ItsSaemSystem {

		f_SAEM_MSD_FMT_BV_01();
		f_TC_SAEM_MSD_FMT_BV_01();

		} // End of TC_SAEM_MSD_FMT_BV_01

		} // End of group saemMessageFormat

		group saemSecurity {

		/**
		* @desc Check that the SAS exchanges information directly with the security entities via the interface IF.Security when ETSI ITS security is used at the facilities layer.
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* ETSI ITS security at the facilities layer is used
		* and SAS is active
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* another facility layer or lower layer entity provides SAEM
		* }
		* then {
		* SAS invokes security entities
		* via IF.Security
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/IFSE/BV-01
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_IFSE_BV_01() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_IFSE_BV_01();

		} // End of TC_SAEM_IFSE_BV_01

		} // End of group saemSecurity

		group saemLowerLayerParameters {

		/**
		* @desc Check that the SA message processing provides SAEM for dissemination via the interface IF.DataOut to either another facility layer entity or a lower layer such as Networking & Transport layer
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS generates SAEM
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS generates SAEM
		* }
		* then {
		* SAS provides the SAEM for dissemination
		* via IF.DataOut
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/IFNT/BV-01
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_IFNT_BV_01() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_IFNT_BV_01();

		} // End of TC_SAEM_IFNT_BV_01

		/**
		* @desc Check that the SA message processing provides SAEM for dissemination via the interface IF.DataOut to either another facility layer entity or a lower layer such as Networking & Transport layer
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS generates SAEM
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS generates SAEM
		* }
		* then {
		* SAS provides the SAEM for dissemination
		* via IF.DataOut
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 104 203-2 v2.2.1 TP/SAEM/IFNT/BV-02
		* @reference ETSI TS 104 072 v2.2.1, Annex B
		*/
		testcase TC_SAEM_IFNT_BV_02() runs on ItsSaem system ItsSaemSystem {

		f_TC_SAEM_IFNT_BV_01(); // FIXME FSCOM How to test it, UtEventInd is not appropriated

		} // End of TC_SAEM_IFNT_BV_02

		} // group saemLowerLayerParameters

		/**
		* @desc Check that the saID in the component changeCount distinguishes different service announcements by the same Service Announcer ITS-S.
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS is active
		* and SAS has sent SAEMs for an ITS-S
		* containing sam
		* containing body
		* containing changeCount
		* containing said
		* indicating value ID_0
		* and containing serviceInfos
		* containing info for service A
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS generates a SAEM for the same ITS-S for service B
		* }
		* then {
		* SAEM is sent
		* containing sam
		* containing body
		* containing changeCount
		* containing said
		* indicating value ID_1 != ID_0
		* and containing serviceInfos
		* containing info for service B

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

		f_TC_SAEM_DISS_BV_01();

		} // End of TC_SAEM_DISS_BV_01

		/**
		* @desc Check that the contentCount in the component changeCount identifies a change of the content of the announced SA that corresponds to a certain saID.
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS is active
		* and SAS has sent SAEMs for an ITS-S
		* containing sam
		* containing body
		* containing changeCount
		* containing said
		* indicating value ID_0
		* and containing contentCount
		* indicating value CC_0
		* and containing serviceInfos
		* containing info for service A
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS generates a SAEM for the same ITS-Sand
		* and a change in the content for service A has occurred
		* }
		* then {
		* SAEM is sent
		* containing sam
		* containing body
		* containing changeCount
		* containing said
		* indicating value ID_0
		* and containing contentCount
		* indicating value CC_1 != CC_0
		* and containing serviceInfos
		* containing info for service A

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

		f_TC_SAEM_DISS_BV_02();

		} // End of TC_SAEM_DISS_BV_02

		/**
		* @desc Check that the saID and contentCount in the component changeCount are identical for consecutive messages with identical content from the same ITS-S.
		* <pre>
		* Pics Selection: PICS_SAEM_GENERATION
		* Initial conditions:
		* with {
		* SAS is active
		* and SAS has sent SAEMs for an ITS-S
		* containing sam
		* containing body
		* containing changeCount
		* containing said
		* indicating value ID_0
		* and containing contentCount
		* indicating value CC_0
		* and containing serviceInfos
		* containing info for service A
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* SAS generates a SAEM for the same ITS-Sand
		* and the message content has not changed
		* }
		* then {
		* SAEM is sent
		* containing sam
		* containing body
		* containing changeCount
		* containing said
		* indicating value ID_0
		* and containing contentCount
		* indicating value CC_0
		* and containing serviceInfos
		* containing info for service A

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

		f_TC_SAEM_DISS_BV_03();

		} // End of TC_SAEM_DISS_BV_03

		} // End of group saemMessageDissemination

		} // End of module ItsSaem_TestCases

ItsSaem_TestControl.ttcn

+11 −0

Original line number	Diff line number	Diff line
		@@ -20,6 +20,17 @@ module ItsSaem_TestControl {

		if (PICS_SAEM_GENERATION) {
		execute(TC_SAEM_MSD_FMT_BV_01());

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

		execute(TC_SAEM_IFNT_BV_01());
		execute(TC_SAEM_IFNT_BV_02());

		execute(TC_SAEM_DISS_BV_01());
		execute(TC_SAEM_DISS_BV_02());
		execute(TC_SAEM_DISS_BV_03());
		}
		} // End of 'control' statement

ItsSaem_TpFunctions.ttcn

+349 −5

File changed.

Preview size limit exceeded, changes collapsed.

lib/LibItsSaem_Templates.ttcn

+9 −0

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

		/**
		* @desc Default Receive template for SAEM PDU
		*/
		template (present) SAEM mw_saemMsg(
		in template (value) Sam p_sam
		) modifies mw_saemMsg_any := {
		sam := p_sam
		}

		template (value) Sam m_sam(
		in template (value) RsvAdvPrtVersion p_version := 3,
		in template (value) SamBody p_body

lib/LibItsSaem_TypesAndValues.ttcn

+1 −0

Original line number	Diff line number	Diff line
		@@ -66,6 +66,7 @@ module LibItsSaem_TypesAndValues {
		* @desc
		*/
		type union UtSaemTrigger {
		integer serviceInfoChanelIndex,
		octetstring dummy
		} with {
		variant ""