Finalize implementation of SREM Generation TCs (52df98cd) · Commits · ITS - Intelligent Transport Systems / ITS

ttcn/AtsSremSsem/ItsSrem_TestCases.ttcn

+364 −36

Original line number	Diff line number	Diff line
		@@ -17,7 +17,7 @@ module ItsSrem_TestCases {
		// ItsSremSsem
		import from ItsSrem_TpFunctions all;

		group iTS_SRole {
		group sremGeneration {

		group sreMessageDissemination {

		@@ -493,8 +493,208 @@ module ItsSrem_TestCases {

		} // End of testcase TC_IS_TLCR_GEN_SSP_BV_01

		/**
		* @desc Check that TLC service uses certificate containing valid Service Specific Permissions to sign SRM requests
		* <pre>
		* Pics Selection: PICS_SREM_GENERATION AND PICS_IS_IUT_SECURED
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* and the IUT is operating in secured mode
		* and the IUT sending SREM with the certificate CERT_SRM_SSP_NONE
		* containing appPermission item
		* containing psid
		* indicating ITS_AID_SREM
		* containing bitmapSSP
		* indicating octet at position 0 set to 0x02
		* and indicating other bits set to 0
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT is requested to generate a SREM
		* containing srm
		* containing requestor.type.role
		* indicating ‘basicVehicle’
		* and not containing requests
		* }
		* then {
		* the IUT sends a valid SREM
		* signed with the CERT_SRM_SSP_NONE
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 103 191-2 v1.2.1 TP_IS_TLCR_GEN_SSP_BV_02
		* @reference ETSI TS 103 301 v1.1.1 Clause 8.4.3.2
		*/
		testcase TC_IS_TLCR_GEN_SSP_BV_02() runs on ItsSremSsem system ItsSremSsemSystem {

		f_IS_TLCR_GEN_SSP_BV_02();

		} // End of testcase TC_IS_TLCR_GEN_SSP_BV_02

		/**
		* @desc Check that TLC service uses certificate containing valid SSP permissions to sign SREM messages from different role ITS-S
		* <pre>
		* Pics Selection: PICS_SREM_GENERATION AND PICS_IS_IUT_SECURED
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* and the IUT is operating in secured mode
		* and the IUT sending SREM with the certificate CERT_SRM_SSP_NONE
		* containing appPermission item
		* containing psid
		* indicating ITS_AID_SREM
		* containing bitmapSSP
		* indicating octet at position 0 set to 0x02
		* and indicating other bits set to 0
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT is requested to generate a SREM
		* containing srm
		* containing requestor.type.role
		* indicating ‘basicVehicle’
		* and not containing requests
		* }
		* then {
		* the IUT sends a valid SREM
		* signed with the CERT_SRM_SSP_NONE
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 103 191-2 v1.2.1 TP_IS_TLCR_GEN_SSP_BV_02_X
		* @reference ETSI TS 103 301 v1.1.1 Clause 8.4.3.2
		*/
		testcase TC_IS_TLCR_GEN_SSP_BV_02_X() runs on ItsSremSsem system ItsSremSsemSystem {

		f_IS_TLCR_GEN_SSP_BV_02_X();

		} // End of testcase TC_IS_TLCR_GEN_SSP_BV_02_X

		/**
		* @desc Check that the IUT skips the SREM message containing request without additional information not permitted by the signing certificate
		* <pre>
		* Pics Selection: PICS_SREM_GENERATION AND PICS_IS_IUT_SECURED
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* and the IUT is operating in secured mode
		* and the IUT sending SREM with the certificate CERT_SRM_SSP_NONE
		* containing appPermission item
		* containing psid
		* indicating ITS_AID_SREM
		* containing bitmapSSP
		* indicating octet at position 0 set to 0x02
		* and indicating other bits set to 0
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT receives SREM with the certificate CERT_SRM_SSP_NONE
		* containing appPermission item
		* containing psid
		* indicating ITS_AID_SREM
		* containing bitmapSSP
		* indicating octet at position 0 set to 0x02
		* and indicating other bits set to 0
		* }
		* then {
		* the IUT discards the received SREM
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 103 191-2 v1.2.1 TP_IS_TLCR_GEN_SEC_BO_03
		* @reference ETSI TS 103 301 v1.1.1 Clause 8.3
		*/
		testcase TC_IS_TLCR_GEN_SEC_BO_03() runs on ItsSremSsem system ItsSremSsemSystem {

		f_IS_TLCR_GEN_SEC_BO_03();

		} // End of testcase TC_IS_TLCR_GEN_SEC_BO_03

		/**
		* @desc Check that TLC service does not send SREM with priority request without possession of the certificate with prioritized SREM signing permissions
		* <pre>
		* Pics Selection: PICS_SREM_GENERATION AND PICS_IS_IUT_SECURED
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* and the IUT is operating in secured mode
		* and the IUT sending SREM with the certificate CERT_SRM_SSP_REQ
		* containing appPermission item
		* containing psid
		* indicating ITS_AID_SREM
		* containing bitmapSSP
		* indicating octet at position 0 set to 0x01
		* and indicating other bits set to 0
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT is requested to generate a SREM
		* containing srm
		* containing requests
		* and containing requestor
		* containing type
		* containing role
		* indicating ROLE_X
		* }
		* then {
		* the IUT discards the received SREM
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 103 191-2 v1.2.1 TP_IS_TLCR_GEN_SEC_BO_04
		* @reference ETSI TS 103 301 v1.1.1 Clause 8.4.3.2
		*/
		testcase TC_IS_TLCR_GEN_SEC_BO_04() runs on ItsSremSsem system ItsSremSsemSystem {

		f_IS_TLCR_GEN_SEC_BO_04();

		} // End of testcase TC_IS_TLCR_GEN_SEC_BO_04

		} // End of group sreSecurity

		group sreMessageRate {

		/**
		* @desc Check that TLC service transmits the request with the valid rate
		* <pre>
		* Pics Selection: PICS_SREM_GENERATION AND PICS_SREM_TRANSMISSION_RATE
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* and the IUT has sent previous SREM message at TIME_SREM_1
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT is requested to repeat a SREM
		* }
		* then {
		* the IUT sends SREM at TIME_SREM_2
		* where TIME_SREM_2 - TIME_SREM_1 is not less than 500ms
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 103 191-2 v1.2.1 TP_IS_TLCR_GEN_RATE_TI_01
		* @reference ETSI TS 103 301 v1.1.1 Clause 6.14.1
		*/
		testcase TC_IS_TLCR_GEN_RATE_TI_01() runs on ItsSremSsem system ItsSremSsemSystem {

		f_IS_TLCR_GEN_RATE_TI_01();

		} // End of testcase TC_IS_TLCR_GEN_RATE_TI_01

		} // End of group sreMessageRate

		} // End of group sreMessageDissemination

		group sreMessageProcessing {
		@@ -531,61 +731,179 @@ module ItsSrem_TestCases {

		} // End of group sreMessageProcessing

		} // End of group iTS_SRole
		} // End of group sremGeneration

		group rsuRole {
		group sremReception {

		group sreMessageDisseminationRsu {
		group sremReceptionMessageFormat {

		group sreMessageFormatRsu {
		/**
		* @desc Check that the IUT can successfully process all mandatory fields of SREM received (TLC-S)
		* <pre>
		* Pics Selection: PICS_SREM_RECEPTION
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT having receive a valid SREM
		* }
		* then {
		* the IUT forwards the SSEM content to upper layers
		* and the IUT forwards the SSEM content to other facilities
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 103 191-2 v1.2.1 TP_IS_TLCR_RCV_MSGF_BV_01
		* @reference ETSI TS 103 301 v1.1.1 Clause 8.3
		*/
		testcase TC_IS_TLCR_RCV_MSGF_BV_01 () runs on ItsSremSsem system ItsSremSsemSystem {

		f_IS_TLCR_RCV_MSGF_BV_01();

		} // End of testcase TC_IS_TLCR_RCV_MSGF_BV_01

		} // End of group sremReceptionMessageFormat

		group sremReceptionSecurity {

		/**
		* @desc Check that protocolVersion is set to 1 and messageID is set to 10 (TLC-S)
		* @desc Check that the secured IUT accepts the SREM message without requests and without specific requestor role
		* <pre>
		* Pics Selection: PICS_SSEM_GENERATION
		* Pics Selection: PICS_SREM_RECEPTION and PICS_IS_IUT_SECURED
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* and the IUT is operating in secured mode
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT having receive a valid SREM
		* containing srm
		* containing requestor.type.role
		* indicating ‘basicVehicle’
		* and not containing requests
		* and signed with the certificate
		* containing appPermission item
		* containing psid
		* indicating ITS_AID_SREM
		* }
		* then {
		* the IUT sends a valid SSEM
		* containing ITS PDU header
		* containing protocolVersion
		* indicating value '1'
		* and containing messageID
		* indicating value '10'
		* the IUT accepts the received SREM
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 103 191-2 v1.2.1 TP_IS_TLC_MSGF_BV_04
		* @see ETSI TS 103 191-2 v1.2.1 TP_IS_TLCR_RCV_SSP_BV_01
		* @reference ETSI TS 103 301 v1.1.1 Clause 8.3
		*/
		testcase TC_IS_TLC_MSGF_BV_04 () runs on ItsSremSsem system ItsSremSsemSystem {
		testcase TC_IS_TLCR_RCV_SSP_BV_01 () runs on ItsSremSsem system ItsSremSsemSystem {

		f_IS_TLC_MSGF_BV_04();
		f_IS_TLCR_RCV_SSP_BV_01();

		} // End of testcase TP_IS_TLC_MSGF_BV_04
		} // End of testcase TC_IS_TLCR_RCV_SSP_BV_01

		} // End of group sreMessageFormatRsu
		/**
		* @desc Check that the secured IUT skips the SREM message without requests and without specific requestor role if signing certificate does not allow it
		* <pre>
		* Pics Selection: PICS_SREM_RECEPTION AND PICS_IS_IUT_SECURED
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* and the IUT is operating in secured mode
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT receives a SREM
		* containing srm
		* containing requests
		* and containing requestor
		* containing type
		* containing role
		* indicating ‘basicVehicle’
		* and not containing requests
		* and signed with the certificate CERT_NONE
		* not containing appPermission item
		* containing psid
		* indicating ITS_AID_SREM
		* }
		* then {
		* the IUT discards the received SREM
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 103 191-2 v1.2.1 TP_IS_TLCR_RCV_SSP_BO_01
		* @reference ETSI TS 103 301 v1.1.1 Clause 8.3
		*/
		testcase TC_IS_TLCR_RCV_SSP_BO_01() runs on ItsSremSsem system ItsSremSsemSystem {

		group sreCommunicationRsu {
		f_IS_TLCR_RCV_SSP_BO_01();

		} // End of group sreCommunicationRsu
		} // End of testcase TC_IS_TLCR_RCV_SSP_BO_01

		} // End of group sreMessageDisseminationRsu
		/**
		* @desc Check that the secured IUT skips the SREM message with request and without specific requestor role if it is not allowed by the signing certificate
		* <pre>
		* Pics Selection: PICS_SREM_RECEPTION AND PICS_IS_IUT_SECURED
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		* and the IUT is operating in secured mode
		* }
		* Expected behaviour:
		* ensure that {
		* when {
		* the IUT receives a SREM
		* containing srm
		* containing requests
		* and containing requestor
		* containing type
		* containing role
		* indicating ‘basicVehicle’
		* and containing requests
		* and signed with the certificate CERT_SRM_SSP_NONE
		* containing appPermission item
		* containing psid
		* indicating ITS_AID_SREM
		* and containing bitmapSSP
		* indicating octet at position 0 set to 0x02
		* and indicating other bits set to 0
		* }
		* then {
		* the IUT discards the received SREM
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 103 191-2 v1.2.1 TP_IS_TLCR_RCV_SSP_BO_02
		* @reference ETSI TS 103 301 v1.1.1 Clause 8.3
		*/
		testcase TC_IS_TLCR_RCV_SSP_BO_02() runs on ItsSremSsem system ItsSremSsemSystem {

		group sreMessageProcessing {
		f_IS_TLCR_RCV_SSP_BO_02();

		} // End of testcase TC_IS_TLCR_RCV_SSP_BO_02

		} // End of group sremReceptionSecurity

		} // End of group sremReception

		group rsuRole {

		group sreMessageDisseminationRsu {

		group sreMessageFormatRsu {

		/**
		* @desc Check that the IUT can successfully process all mandatory fields of SREM received (TLC-S)
		* @desc Check that protocolVersion is set to 1 and messageID is set to 10 (TLC-S)
		* <pre>
		* Pics Selection: PICS_SREM_RECEPTION
		* Pics Selection: PICS_SSEM_GENERATION
		* Initial conditions:
		* with {
		* the IUT being in the "initial state"
		@@ -596,22 +914,32 @@ module ItsSrem_TestCases {
		* the IUT having receive a valid SREM
		* }
		* then {
		* the IUT forwards the SSEM content to upper layers
		* and the IUT forwards the SSEM content to other facilities
		* the IUT sends a valid SSEM
		* containing ITS PDU header
		* containing protocolVersion
		* indicating value '1'
		* and containing messageID
		* indicating value '10'
		* }
		* }
		* </pre>
		*
		* @see ETSI TS 103 191-2 v1.2.1 TP_IS_TLC_MSGF_BV_02
		* @reference ETSI TS 103 301 v1.1.1 Clause 6.3
		* @see ETSI TS 103 191-2 v1.2.1 TP_IS_TLC_MSGF_BV_04
		* @reference ETSI TS 103 301 v1.1.1 Clause 8.3
		*/
		testcase TC_IS_TLC_MSGF_BV_02 () runs on ItsSremSsem system ItsSremSsemSystem {
		testcase TC_IS_TLC_MSGF_BV_04 () runs on ItsSremSsem system ItsSremSsemSystem {

		f_IS_TLC_MSGF_BV_02();
		f_IS_TLC_MSGF_BV_04();

		} // End of testcase TP_IS_TLC_MSGF_BV_02
		} // End of testcase TC_IS_TLC_MSGF_BV_04

		} // End of group sreMessageProcessing
		} // End of group sreMessageFormatRsu

		group sreCommunicationRsu {

		} // End of group sreCommunicationRsu

		} // End of group sreMessageDisseminationRsu

		} // End of group rsuRole

ttcn/AtsSremSsem/ItsSrem_TestControl.ttcn

+19 −4

Original line number	Diff line number	Diff line
		@@ -44,6 +44,25 @@ module ItsSrem_TestControl {
		if (PICS_IS_IUT_SECURED) {
		execute(TC_IS_TLCR_GEN_SEC_BV_01());
		execute(TC_IS_TLCR_GEN_SSP_BV_01());
		execute(TC_IS_TLCR_GEN_SSP_BV_02());
		execute(TC_IS_TLCR_GEN_SSP_BV_02_X());
		execute(TC_IS_TLCR_GEN_SEC_BO_03());
		execute(TC_IS_TLCR_GEN_SEC_BO_04());
		}

		if (PICS_SREM_TRANSMISSION_RATE) {
		execute(TC_IS_TLCR_GEN_RATE_TI_01());
		}
		}

		if (PICS_SREM_RECEPTION) {
		execute(TC_IS_TLCR_RCV_MSGF_BV_01());

		if (PICS_IS_IUT_SECURED) {
		execute(TC_IS_TLCR_RCV_SSP_BV_01());

		execute(TC_IS_TLCR_RCV_SSP_BO_01());
		execute(TC_IS_TLCR_RCV_SSP_BO_02());
		}
		}

		@@ -57,10 +76,6 @@ module ItsSrem_TestControl {

		}

		if (PICS_SREM_RECEPTION) {
		execute(TC_IS_TLC_MSGF_BV_02());
		}

		}

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

ttcn/AtsSremSsem/ItsSrem_TpFunctions.ttcn

+570 −55

File changed.

Preview size limit exceeded, changes collapsed.

LibIts @ ab150139

Original line number	Diff line number	Diff line
		Subproject commit 5a7e5d2542b8e90582bc3e42d6b316a7669c09b3
		Subproject commit ab1501391eb77c8bb66f3dbf43c07881cfa509a2