Commit 6a5720aa authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

TP_5GNAS_AMF_REG_ACC_10 added

parent 3a728283
Loading
Loading
Loading
Loading
+1 −0
Changes for test_purposes/NGNAS_Common.tdltx: 1 added line, 0 removed lines.
Original line number Diff line number Diff line
@@ -17,6 +17,7 @@ Package NGNAS_Common {

	Event hasNoValidNasSecurityContext                            // Indicates that the UE has no valid 5G NAS security context available for protecting the initial NAS message.
    Event hasValidNasSecurityContext                              // Indicates that the UE has valid 5G NAS security context available for protecting the initial NAS message.
    Event isIn5GMMIdleMode                                        // Indicates that the UE is in 5GMM-IDLE mode: no N1 NAS signalling connection exists between the UE and the AMF (TS 124 501 [1], clause 3.1)

        
	// This template may be used as default AUTHENTICATION REQUEST message within a DOWNLINK NAS TRANSPORT message. */
+107 −0
Changes for test_purposes/TP_AMF_NGNAS.tdltx: 107 added lines, 0 removed lines.
Original line number Diff line number Diff line
@@ -1792,6 +1792,113 @@ Package TP_AMF_NGNAS {
            }
        }// end TP_5GNAS_AMF_REG_ACC_09

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

        Objective: "Verify that, during the initial registration procedure, when the REGISTRATION_REQUEST message contains multiple subscribed S-NSSAIs, including S-NSSAI(s) that can be allowed and S-NSSAI(s) that are not available in the current PLMN or SNPN, then the IUT sends a REGISTRATION_ACCEPT message containing an Allowed NSSAI IE with the requested S-NSSAI(s) that can be allowed and a Rejected NSSAI IE containing the requested S-NSSAI(s) that are not available in the current PLMN or SNPN, with the rejection cause \"S-NSSAI not available in the current PLMN or SNPN\"."

        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_2_3

        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", //!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},
                            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},
                            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,
                                    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 identify a subscribed S-NSSAI that can be allowed in the current PLMN or SNPN (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 a subscribed S-NSSAI that is not available in the current PLMN or SNPN, e.g. not part of the network slices deployed in this PLMN or SNPN (PIXIT precondition, not modelled as an Event; distinct from the registration-area-specific case covered by TP_5GNAS_AMF_REG_ACC_09)
                                            SD set to PX_SD_Rejected}}}}}}
                    from the GNB entity
                }
                then {
                    //(Note 1: "The IUT may initiate 5GMM common procedures (identification, authentication, security mode control) before sending the REGISTRATION_ACCEPT message (TS 124 501 [1], clause 5.5.1.2.3).")
                    // not PICS_NGAP_A4_5_2_1: REGISTRATION_ACCEPT conveyed in the NAS_PDU IE of INITIAL_CONTEXT_SETUP_REQUEST
                    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}},
                            Rejected_NSSAI containing {
                                S_NSSAI_1 containing {
                                    Cause set to "S-NSSAI not available in the current PLMN or SNPN", //!ref. TS 124 501 [1], clause 9.11.3.46, cause value "0000"
                                    SST set to PX_SST_Rejected,
                                    SD set to PX_SD_Rejected}}
                        } 
                    }
                    or 
                    // PICS_NGAP_A4_5_2_1: INITIAL_CONTEXT_SETUP_REQUEST without NAS_PDU IE; REGISTRATION_ACCEPT conveyed in DOWNLINK_NAS_TRANSPORT
                    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}},
                            Rejected_NSSAI containing {
                                S_NSSAI_1 containing {
                                    Cause set to "S-NSSAI not available in the current PLMN or SNPN", //!ref. TS 124 501 [1], clause 9.11.3.46, cause value "0000"
                                    SST set to PX_SST_Rejected,
                                    SD set to PX_SD_Rejected}}
                        } 
                    }
                    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_10
         
        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."