New tests ACC_07 and ACC_07_1 added (f7848ce3) · Commits · INT - Core Network and Interoperability Testing / 5G Core / NAS

test_purposes/NGNAS_Common.tdltx

+43 −0

Changes for test_purposes/NGNAS_Common.tdltx: 43 added lines, 0 removed lines.
Original line number	Diff line number	Diff line
		@@ -53,6 +53,49 @@ Package NGNAS_Common {
		to the GNB entity
		}

		// This template may be used as default REGISTRATION_ACCEPT message within a INITIAL_CONTEXT_SETUP message. */
		Template REGISTRATION_ACCEPT_VIA_N2_INITIAL_CONTEXT_SETUP {
		the IUT entity sends an INITIAL_CONTEXT_SETUP_REQUEST containing {
		NAS_PDU containing {
		extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
		security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
		message_type set to REGISTRATION_ACCEPT,
		5G_GUTI containing {
		Type_of_identity set to 5G_GUTI,
		MCC set to PX_MCC,
		MNC set to PX_MNC,
		AMF_Region_ID set to PX_AMF_REGION_ID,
		AMF_Set_ID set to PX_AMF_SET_ID,
		AMF_Pointer set to PX_AMF_POINTER,
		5G_TMSI set to RV_5G_TMSI},
		Allowed_NSSAI containing {
		S_NSSAI_1 containing {
		SST set to PX_SST_1,
		SD set to PX_SD_1}}}}
		to the GNB entity
		}//end Template REGISTRATION_ACCEPT_VIA_N2_INITIAL_CONTEXT_SETUP

		// This template may be used as default REGISTRATION_ACCEPT message within a DOWNLINK_NAS_TRANSPORT message. */
		Template REGISTRATION_ACCEPT_VIA_N2_DOWNLINK_NAS_TRANSPORT {
		the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
		NAS_PDU containing {
		extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
		security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
		message_type set to REGISTRATION_ACCEPT,
		5G_GUTI containing {
		Type_of_identity set to 5G_GUTI,
		MCC set to PX_MCC,
		MNC set to PX_MNC,
		AMF_Region_ID set to PX_AMF_REGION_ID,
		AMF_Set_ID set to PX_AMF_SET_ID,
		AMF_Pointer set to PX_AMF_POINTER,
		5G_TMSI set to RV_5G_TMSI},
		Allowed_NSSAI containing {
		S_NSSAI_1 containing {
		SST set to PX_SST_1,
		SD set to PX_SD_1}}}}
		to the GNB entity
		} //end Template REGISTRATION_ACCEPT_VIA_N2_DOWNLINK_NAS_TRANSPORT

		//Table 8.2
		NgapMessage AUTHENTICATION_RESPONSE

test_purposes/TP_AMF_NGNAS.tdltx

+213 −0

Changes for test_purposes/TP_AMF_NGNAS.tdltx: 213 added lines, 0 removed lines.
Original line number	Diff line number	Diff line
		@@ -1367,6 +1367,219 @@ Package TP_AMF_NGNAS {
		}
		}// end TP_5GNAS_AMF_REG_ACC_06_2

		Test Purpose TP_5GNAS_AMF_REG_ACC_07 { //!SUCI case; INITIAL_UE_MESSAGE with UE_Context_Request_IE

		Objective: "Verify that, during the initial registration procedure, when the REGISTRATION_REQUEST message contains a Requested NSSAI IE with multiple S-NSSAIs that are allowed by the IUT, then the IUT sends a REGISTRATION_ACCEPT message containing an Allowed NSSAI IE with all requested S-NSSAIs allowed by the IUT."

		Reference: "ETSI TS 124 501 [1], Clauses 4.4.6, 5.4.2.4, 5.5.1.2.4, 8.2.7 and 8.2.26"

		Configuration: CF_AMF_N2N1

		PICS: PICS_NAS_A4_8_1

		Initial conditions
		with {
		the UE entity isNotRegisteredToAMF and
		the UE entity hasNoValidNasSecurityContext and
		the IUT entity receives an INITIAL_UE_MESSAGE containing {
		UE_Context_Request_IE set to "requested", //!reference ts_138413v171500p, clause 8.6.1.2: presence of this IE obliges the AMF to trigger the Initial Context Setup procedure
		NAS_PDU containing {
		extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
		security_header_type set to NOT_SECURITY_PROTECTED,
		message_type set to REGISTRATION_REQUEST,
		5GS_registration_type containing {
		5GS_registration_type_value set to INITIAL_REGISTRATION},
		ngKSI containing {
		nas_key_set_identifier set to "111"},
		5GS_mobile_identity containing {
		SUPI_format set to IMSI,
		Type_of_identity set to SUCI,
		MCC set to PX_MCC,
		MNC set to PX_MNC,
		Routing_indicator set to PX_ROUTING_INDICATOR,
		Protection_scheme_id set to '0000',
		Home_network_public_key_identifier set to '00000000',
		MSIN set to PX_MSIN}}} //!cleartext IEs only; Requested NSSAI is a non-cleartext IE and is therefore not present here (see TS 124 501 [1], clause 4.4.6)
		from the GNB entity and
		event SECURITY_MODE_COMMAND occurs
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives an UPLINK_NAS_TRANSPORT containing {
		NAS_PDU containing {
		extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
		security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED_WITH_NEW_5G_NAS_SECURITY_CONTEXT,
		message_type set to SECURITY_MODE_COMPLETE,
		NAS_message_container containing {
		NAS_PDU containing {
		extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
		security_header_type set to NOT_SECURITY_PROTECTED,
		message_type set to REGISTRATION_REQUEST,
		5GS_registration_type containing {
		5GS_registration_type_value set to INITIAL_REGISTRATION},
		ngKSI containing {
		nas_key_set_identifier set to "111"}, //!echoes the value as originally composed by the UE before security establishment (ref. clause 4.4.6 a)1): "the entire REGISTRATION REQUEST message")
		5GS_mobile_identity containing {
		SUPI_format set to IMSI,
		Type_of_identity set to SUCI,
		MCC set to PX_MCC,
		MNC set to PX_MNC,
		Routing_indicator set to PX_ROUTING_INDICATOR,
		Protection_scheme_id set to '0000',
		Home_network_public_key_identifier set to '00000000',
		MSIN set to PX_MSIN},
		Requested_NSSAI containing {
		S_NSSAI_1 containing {
		SST set to PX_SST_1, //!PX_SST_1/PX_SD_1 and PX_SST_2/PX_SD_2 identify two S-NSSAIs that must both be provisioned as allowed in the UE's subscription data at the AMF/UDM (IXIT precondition, not modelled as an Event)
		SD set to PX_SD_1},
		S_NSSAI_2 containing {
		SST set to PX_SST_2,
		SD set to PX_SD_2}}}}}}
		from the GNB entity
		}
		then {
		//PICS_NGAP_A4_2_1_1 ALWAYS_ESTABLISH_INITIAL_CONTEXT
		event REGISTRATION_ACCEPT_VIA_N2_INITIAL_CONTEXT_SETUP occurs with
		{
		argument replaced by an NAS_PDU containing {
		Allowed_NSSAI containing {
		S_NSSAI_1 containing {
		SST set to PX_SST_1,
		SD set to PX_SD_1},
		S_NSSAI_2 containing {
		SST set to PX_SST_2,
		SD set to PX_SD_2}}
		}
		}
		or
		//PICS_NGAP_A4_5_2_1 SKIP_PIGGYBACK
		event REGISTRATION_ACCEPT_VIA_N2_DOWNLINK_NAS_TRANSPORT occurs with
		{
		argument replaced by an NAS_PDU containing {
		Allowed_NSSAI containing {
		S_NSSAI_1 containing {
		SST set to PX_SST_1,
		SD set to PX_SD_1},
		S_NSSAI_2 containing {
		SST set to PX_SST_2,
		SD set to PX_SD_2}}
		}
		}
		and
		the IUT entity accepts an UPLINK_NAS_TRANSPORT containing {
		NAS_PDU containing {
		extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
		security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
		message_type set to REGISTRATION_COMPLETE}}
		from the GNB entity
		}
		}
		}// end TP_5GNAS_AMF_REG_ACC_07

		Test Purpose TP_5GNAS_AMF_REG_ACC_07_1 { //!GUTI case; INITIAL_UE_MESSAGE with UE_Context_Request_IE

		Objective: "Verify that, during the initial registration procedure, when the REGISTRATION_REQUEST message contains a Requested NSSAI IE with multiple S-NSSAIs that are allowed by the IUT, then the IUT sends a REGISTRATION_ACCEPT message containing an Allowed NSSAI IE with all requested S-NSSAIs allowed by the IUT."

		Reference: "ETSI TS 124 501 [1], Clauses 4.4.2.5, 4.4.6, 5.5.1.2.4, 8.2.6 and 8.2.7"

		Configuration: CF_AMF_N2N1

		PICS: PICS_NAS_A4_8_1

		Initial conditions
		with {
		the UE entity isNotRegisteredToAMF and
		the UE entity hasValidNasSecurityContext
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives an INITIAL_UE_MESSAGE containing {
		UE_Context_Request_IE set to "requested", //!reference ts_138413v171500p, clause 8.6.1.2: presence of this IE obliges the AMF to trigger the Initial Context Setup procedure
		NAS_PDU containing {
		extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
		security_header_type set to INTEGRITY_PROTECTED, //!ref. TS 124 501 [1], clause 4.4.6: "the UE shall set the security header type of the initial NAS message to 'integrity protected'" when a NAS message container IE is included
		message_type set to REGISTRATION_REQUEST,
		5GS_registration_type containing {
		5GS_registration_type_value set to INITIAL_REGISTRATION},
		ngKSI containing {
		nas_key_set_identifier set to RV_NGKSI},
		5GS_mobile_identity containing {
		Type_of_identity set to 5G_GUTI, //!cleartext IE; native 5G-GUTI previously assigned to the UE
		MCC set to PX_MCC,
		MNC set to PX_MNC,
		AMF_Region_ID set to PX_AMF_REGION_ID,
		AMF_Set_ID set to PX_AMF_SET_ID,
		AMF_Pointer set to PX_AMF_POINTER,
		5G_TMSI set to RV_5G_TMSI_OLD}, //!existing/native 5G-TMSI presented by the UE, distinct from the newly assigned value in REGISTRATION_ACCEPT below
		NAS_message_container containing { //!ciphered non-cleartext IEs, included in the same REGISTRATION_REQUEST message (ref. clause 4.4.6 b)1), no SECURITY_MODE_COMMAND/COMPLETE exchange needed
		NAS_PDU containing {
		extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
		security_header_type set to NOT_SECURITY_PROTECTED,
		message_type set to REGISTRATION_REQUEST,
		5GS_registration_type containing {
		5GS_registration_type_value set to INITIAL_REGISTRATION},
		ngKSI containing {
		nas_key_set_identifier set to RV_NGKSI},
		5GS_mobile_identity containing {
		Type_of_identity set to 5G_GUTI,
		MCC set to PX_MCC,
		MNC set to PX_MNC,
		AMF_Region_ID set to PX_AMF_REGION_ID,
		AMF_Set_ID set to PX_AMF_SET_ID,
		AMF_Pointer set to PX_AMF_POINTER,
		5G_TMSI set to RV_5G_TMSI_OLD},
		Requested_NSSAI containing {
		S_NSSAI_1 containing {
		SST set to PX_SST_1, //!PX_SST_1/PX_SD_1 and PX_SST_2/PX_SD_2 identify two S-NSSAIs that must both be provisioned as allowed in the UE's subscription data at the AMF/UDM (IXIT precondition, not modelled as an Event)
		SD set to PX_SD_1},
		S_NSSAI_2 containing {
		SST set to PX_SST_2,
		SD set to PX_SD_2}}}}}}
		from the GNB entity
		}
		then {
		//PICS_NGAP_A4_2_1_1 ALWAYS_ESTABLISH_INITIAL_CONTEXT
		event REGISTRATION_ACCEPT_VIA_N2_INITIAL_CONTEXT_SETUP occurs with
		{
		argument replaced by an NAS_PDU containing {
		Allowed_NSSAI containing {
		S_NSSAI_1 containing {
		SST set to PX_SST_1,
		SD set to PX_SD_1},
		S_NSSAI_2 containing {
		SST set to PX_SST_2,
		SD set to PX_SD_2}}
		}
		}
		or
		//PICS_NGAP_A4_5_2_1 SKIP_PIGGYBACK
		event REGISTRATION_ACCEPT_VIA_N2_DOWNLINK_NAS_TRANSPORT occurs with
		{
		argument replaced by an NAS_PDU containing {
		Allowed_NSSAI containing {
		S_NSSAI_1 containing {
		SST set to PX_SST_1,
		SD set to PX_SD_1},
		S_NSSAI_2 containing {
		SST set to PX_SST_2,
		SD set to PX_SD_2}}
		}
		}
		and
		the IUT entity accepts an UPLINK_NAS_TRANSPORT containing {
		NAS_PDU containing {
		extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
		security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
		message_type set to REGISTRATION_COMPLETE}}
		from the GNB entity
		}
		}
		}// end TP_5GNAS_AMF_REG_ACC_07_1

		Test Purpose TP_5GNAS_AMF_REG_REJ_01 {

		Objective: "Verify that the IUT sends a REGISTRATION_REJECT message with 5GMM cause value #22 'congestion' and includes the T3346 value IE when the initial registration request is rejected due to general NAS level mobility management congestion control."