Comments alligned with tests from ACC_06 to ACC_09 (3a728283) · Commits · INT - Core Network and Interoperability Testing / 5G Core / NAS

test_purposes/TP_AMF_NGNAS.tdltx

+20 −20

Changes for test_purposes/TP_AMF_NGNAS.tdltx: 20 added lines, 20 removed lines.
Original line number	Diff line number	Diff line
		@@ -1211,7 +1211,7 @@ Package TP_AMF_NGNAS {
		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}, //!newly assigned 5G-TMSI, distinct from RV_5G_TMSI_OLD presented by the UE in the initial REGISTRATION_REQUEST above
		5G_TMSI set to RV_5G_TMSI},
		Allowed_NSSAI containing {
		S_NSSAI_1 containing {
		SST set to PX_SST_1,
		@@ -1231,7 +1231,7 @@ Package TP_AMF_NGNAS {
		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}, //!newly assigned 5G-TMSI, distinct from RV_5G_TMSI_OLD presented by the UE in the initial REGISTRATION_REQUEST above
		5G_TMSI set to RV_5G_TMSI},
		Allowed_NSSAI containing {
		S_NSSAI_1 containing {
		SST set to PX_SST_1,
		@@ -1404,7 +1404,7 @@ Package TP_AMF_NGNAS {
		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
		5G_TMSI set to RV_5G_TMSI_OLD},
		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,
		@@ -1443,7 +1443,7 @@ Package TP_AMF_NGNAS {
		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}, //!newly assigned 5G-TMSI, distinct from RV_5G_TMSI_OLD presented by the UE in the initial REGISTRATION_REQUEST above
		5G_TMSI set to RV_5G_TMSI},
		Allowed_NSSAI containing {
		S_NSSAI_1 containing {
		SST set to PX_SST_1,
		@@ -1463,7 +1463,7 @@ Package TP_AMF_NGNAS {
		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}, //!newly assigned 5G-TMSI, distinct from RV_5G_TMSI_OLD presented by the UE in the initial REGISTRATION_REQUEST above
		5G_TMSI set to RV_5G_TMSI},
		Allowed_NSSAI containing {
		S_NSSAI_1 containing {
		SST set to PX_SST_1,
		@@ -1500,7 +1500,7 @@ Package TP_AMF_NGNAS {
		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
		UE_Context_Request_IE set to "requested", //!TS 138 413, 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
		@@ -1516,7 +1516,7 @@ Package TP_AMF_NGNAS {
		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
		5G_TMSI set to RV_5G_TMSI_OLD},
		NAS_message_container containing { //!ciphered non-cleartext IEs, included in the same REGISTRATION_REQUEST message (ref. clause 4.4.6 b)1)
		NAS_PDU containing {
		extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
		@@ -1536,7 +1536,7 @@ Package TP_AMF_NGNAS {
		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)
		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 (PIXIT precondition, not modelled as an Event)
		SD set to PX_SD_1},
		S_NSSAI_2 containing {
		SST set to PX_SST_2,
		@@ -1603,15 +1603,15 @@ Package TP_AMF_NGNAS {
		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
		UE_Context_Request_IE set to "requested", //!TS 138 413, 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}, //!Follow-On Request Indicator not asserted: this TP verifies Allowed/Rejected NSSAI only and is independent of connection-release behaviour (TS 123 502 [2], clause 4.2.2.2.2/22), which is covered by a separate TP
		5GS_registration_type_value set to INITIAL_REGISTRATION},
		ngKSI containing {
		nas_key_set_identifier set to RV_NGKSI}, //!cleartext IE (ref. clause 4.4.6 cleartext IE list); value "111" would mean "no key is available" (TS 124 501 [1], clause 9.11.3.32) and would contradict this TP's precondition of a valid existing context, hence modelled as RV_ (network-allocated during a previous procedure), not a fixed literal
		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,
		@@ -1619,7 +1619,7 @@ Package TP_AMF_NGNAS {
		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
		5G_TMSI set to RV_5G_TMSI_OLD},
		NAS_message_container containing { //!ciphered non-cleartext IEs, included in the same REGISTRATION_REQUEST message (ref. clause 4.4.6 b)1)
		NAS_PDU containing {
		extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
		@@ -1639,7 +1639,7 @@ Package TP_AMF_NGNAS {
		5G_TMSI set to RV_5G_TMSI_OLD},
		Requested_NSSAI containing {
		S_NSSAI_1 containing {
		SST set to PX_SST_Rejected, //!PX_SST_Rejected/PX_SD_Rejected identify the sole requested S-NSSAI, which is not permitted by the UE's subscription (IXIT precondition, not modelled as an Event); PX_SST_Default/PX_SD_Default identify a separate subscribed S-NSSAI marked as default, applicable and available for this UE (IXIT precondition, not modelled as an Event)
		SST set to PX_SST_Rejected, //!PX_SST_Rejected/PX_SD_Rejected identify the sole requested S-NSSAI, which is not permitted by the UE's subscription (PIXIT precondition, not modelled as an Event); PX_SST_Default/PX_SD_Default identify a separate subscribed S-NSSAI marked as default, applicable and available for this UE (PIXIT precondition, not modelled as an Event)
		SD set to PX_SD_Rejected}}}}}}
		from the GNB entity
		}
		@@ -1705,15 +1705,15 @@ Package TP_AMF_NGNAS {
		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
		UE_Context_Request_IE set to "requested", //!TS 138 413, 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}, //!Follow-On Request Indicator not asserted: this TP verifies Allowed/Rejected NSSAI only and is independent of connection-release behaviour (TS 123 502 [2], clause 4.2.2.2.2/22), which is covered by a separate TP
		5GS_registration_type_value set to INITIAL_REGISTRATION},
		ngKSI containing {
		nas_key_set_identifier set to RV_NGKSI}, //!cleartext IE (ref. clause 4.4.6 cleartext IE list); value "111" would mean "no key is available" (TS 124 501 [1], clause 9.11.3.32) and would contradict this TP's precondition of a valid existing context, hence modelled as RV_ (network-allocated during a previous procedure), not a fixed literal
		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,
		@@ -1721,8 +1721,8 @@ Package TP_AMF_NGNAS {
		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
		5G_TMSI set to RV_5G_TMSI_OLD},
		NAS_message_container containing { //!ciphered non-cleartext IEs, included in the same REGISTRATION_REQUEST message (ref. clause 4.4.6 b)1)
		NAS_PDU containing {
		extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
		security_header_type set to NOT_SECURITY_PROTECTED,
		@@ -1741,10 +1741,10 @@ Package TP_AMF_NGNAS {
		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 identify an S-NSSAI that is both allowed by the UE's subscription and supported by the NG-RAN in the current registration area (IXIT precondition, not modelled as an Event)
		SST set to PX_SST_1, //!PX_SST_1/PX_SD_1 identify an S-NSSAI that is both allowed by the UE's subscription and supported by the NG-RAN in the current registration area (PIXIT precondition, not modelled as an Event)
		SD set to PX_SD_1},
		S_NSSAI_2 containing {
		SST set to PX_SST_Rejected, //!PX_SST_Rejected/PX_SD_Rejected identify an S-NSSAI that, although allowed by the UE's subscription, is not included in the NG-RAN's Slice Support List for the current registration area (IXIT precondition, not modelled as an Event; ref. TS 138 413 [3], clause 9.3.1.37 Broadcast PLMN List / Supported TA List / TAC / Broadcast PLMN Item / TAI Slice Support List)
		SST set to PX_SST_Rejected, //!PX_SST_Rejected/PX_SD_Rejected identify an S-NSSAI that, although allowed by the UE's subscription, is not included in the NG-RAN's Slice Support List for the current registration area (PIXIT precondition, not modelled as an Event; ref. TS 138 413, clause 9.3.1.37 Broadcast PLMN List / Supported TA List / TAC / Broadcast PLMN Item / TAI Slice Support List)
		SD set to PX_SD_Rejected}}}}}}
		from the GNB entity
		}