Commit e159aa20 authored by Yann Garcia's avatar Yann Garcia
Browse files

Review Ats_NG_NAS TPs

parent c0a5a014
Loading
Loading
Loading
Loading
+46 −27
Changes for test_purposes/TP_AMF_NGNAS.tdltx: 46 added lines, 27 removed lines.
Original line number Diff line number Diff line
@@ -444,29 +444,35 @@ Package TP_AMF_NGNAS {
                Initial conditions
                with {                
                    the UE entity isNotRegisteredToAMF and
                    (.) at time point start_SMC_event : event SECURITY_MODE_COMMAND occurs
                    event AUTHENTICATION_REQUEST occurs and
                    event SECURITY_MODE_COMMAND occurs
                }    

                Expected behaviour
                ensure that {
                    when {
                        (.) at time point start_SMC_event : event SECURITY_MODE_COMMAND occurs and
                        the IUT entity receives a UPLINK_NAS_TRANSPORT containing {
                        (.) at time point reject_received : the IUT entity receives a UPLINK_NAS_TRANSPORT containing {
                            NAS_PDU containing {
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, 
                                security_header_type set to INTEGRITY_PROTECTED_WITH_NEW_5G_NAS_SECURITY_CONTEXT,
                                security_header_type set to NOT_SECURITY_PROTECTED, //!the UE did not take the new 5G NAS security context into use (ETSI TS 124 501 clause 4.4.4.2)
                                message_type set to SECURITY_MODE_REJECT,    
                                5GMM_cause set to "UE security capabilities mismatch (23)"}}
                        from the GNB entity
                    }
                    then {
                        // PX_SEC_ABORT_TWAIT: observation timer to verify that no further registration progression occurs
                        (!) PX_SEC_ABORT_TWAIT after @start_SMC_event : the IUT entity does not send a INITIAL_CONTEXT_SETUP_REQUEST containing {
                        (!) PX_SEC_ABORT_TWAIT after @reject_received : the IUT entity does not send a INITIAL_CONTEXT_SETUP_REQUEST containing {
                            NAS_PDU containing {
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, 
                                message_type set to REGISTRATION_ACCEPT}}
                        to the GNB entity and
                        the IUT entity does not send a DOWNLINK_NAS_TRANSPORT containing {
                            NAS_PDU containing {
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
                                message_type set to SECURITY_MODE_COMMAND}} //!no retransmission on expiry of T3560
                        to the GNB entity
                        //(Note 1: "The IUT is expected to abort the ongoing procedure and shall not proceed with registration completion.")
                        //(Note 1: "The IUT is expected to abort the ongoing procedure and shall not proceed with registration completion. It may release the UE context.")
                        //(Note 2: PX_SEC_ABORT_TWAIT is longer than T3560.)
                    }
                    
                }
@@ -538,10 +544,11 @@ Package TP_AMF_NGNAS {
    	    Test Purpose TP_5GNAS_AMF_CNF_COM_01 {

            Objective: "Verify that the IUT does not retransmit a CONFIGURATION_UPDATE_COMMAND containing only NITZ-related information elements when the Configuration update indication IE is absent or indicates that acknowledgement is not requested."
            // Example trigger observed in implementation: CONFIGURATION_UPDATE_COMMAND sent after PDU_SESSION_ESTABLISHMENT_REQUEST;
            // note that the base specification does not explicitly define when the CONFIGURATION_UPDATE_COMMAND shall be sent.
            // The base specification does not define when the IUT sends a CONFIGURATION_UPDATE_COMMAND carrying NITZ;
            // implementations send it e.g. upon receipt of the REGISTRATION_COMPLETE (open5gs) or after a
            // PDU_SESSION_ESTABLISHMENT_REQUEST. The test system shall be ready to receive it from the end of the registration.

            Reference: "ETSI TS 124 501 [1], Clauses 5.4.4.2 and 8.2.19"
            Reference: "ETSI TS 124 501 [1], Clauses 5.4.4.2, 8.2.19 and 10.2 (T3555)"

            Configuration: CF_AMF_N2N1

@@ -549,7 +556,7 @@ Package TP_AMF_NGNAS {

            Initial conditions
            with {
                the UE entity isRegisteredToAMF
                the UE entity isRegisteredToAMF //!up to and including the REGISTRATION_COMPLETE; the UE does not answer the CONFIGURATION_UPDATE_COMMAND
            }

            Expected behaviour
@@ -560,19 +567,17 @@ Package TP_AMF_NGNAS {
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
                                security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                                message_type set to CONFIGURATION_UPDATE_COMMAND,
                                Full_name_for_network,
                                Short_name_for_network,
                                Local_time_zone,
                                Universal_time_and_local_time_zone,
                                Daylight_saving_time,
                                not Configuration_update_indication OR
                                Configuration_update_indication containing {
                                    Acknowledgement_requested set to 0
                                }}}
                                    Acknowledgement_requested set to "0"} or omitted, //!no acknowledgement requested: T3555 is not started (ETSI TS 124 501 clause 5.4.4.2)
                                Full_name_for_network set to RV_FULL_NAME or omitted,
                                Short_name_for_network set to RV_SHORT_NAME or omitted,
                                Local_time_zone set to RV_LOCAL_TIME_ZONE or omitted,
                                Universal_time_and_local_time_zone set to RV_UNIVERSAL_TIME or omitted,
                                Network_daylight_saving_time set to RV_DAYLIGHT_SAVING_TIME or omitted}} //!at least one of these NITZ IEs is present, and no other IE (5G-GUTI, TAI list, allowed NSSAI, ...) is present
                        to the GNB entity
                    }
                    then {
                     	// PX_CUC_TWAIT value for timer awaiting no response after CUC message
                        // PX_CUC_TWAIT: observation time, longer than T3555 (6 s)
                        (!) PX_CUC_TWAIT after @start_CUC_event : the IUT entity does not send a DOWNLINK_NAS_TRANSPORT containing {
                            NAS_PDU containing {
                                extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES,
@@ -625,13 +630,14 @@ Package TP_AMF_NGNAS {
								request_type set to "Initial request",
								s_NSSAI containing {
									sst set to PX_SST,
									sd set to PX_SD},
									sd set to PX_SD or omitted},
								dNN set to PX_DNN}}
                        from the GNB entity
                    }
                    then {
                        the IUT entity sends a PDU_SESSION_RESOURCE_SETUP_REQUEST containing {
                            NAS_PDU containing {
                            PDU_session_resource_setup_list containing { //!ETSI TS 138 413 clause 9.2.1.1: the PDU Session NAS-PDU of the item of the PDU session
                            PDU_session_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 DL_NAS_TRANSPORT,
@@ -639,8 +645,14 @@ Package TP_AMF_NGNAS {
								payload_container containing {
									5GSM_PDU containing {
										extended_protocol_discriminator set to 5GS_SESSION_MANAGEMENT_MESSAGES,
										message_type set to PDU_SESSION_ESTABLISHMENT_ACCEPT}},
								pDU_session_identity set to PX_PDU_session_identity}}
										message_type set to PDU_SESSION_ESTABLISHMENT_ACCEPT,
										PDU_session_identity set to PX_PDU_session_identity,
										PDU_session_type set to "IPv4",
										SSC_mode set to "SSC mode 1",
										s_NSSAI containing {
											sst set to PX_SST,
											sd set to PX_SD or omitted}}},
								pDU_session_identity set to PX_PDU_session_identity}}}
                    to the GNB entity
                    }

@@ -681,18 +693,23 @@ Package TP_AMF_NGNAS {
                            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"}, //!no key is available: no 5G NAS security context in the UE
                            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',
                                Protection_scheme_id set to PX_PROTECTION_SCHEME_ID,
                                Home_network_public_key_identifier set to PX_HOME_NETWORK_PUBLIC_KEY_IDENTIFIER,
                                MSIN set to PX_MSIN}}}
                    from the GNB entity
                }
                then {
                    // The IUT authenticates the UE and runs the security mode control procedure first: the test system, as the UE,
                    // answers the AUTHENTICATION_REQUEST with the valid RES* and the SECURITY_MODE_COMMAND with a
                    // SECURITY_MODE_COMPLETE; the IUT then sends the REGISTRATION_ACCEPT
                    the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing {
                        NAS_PDU containing {
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, 
@@ -709,7 +726,7 @@ Package TP_AMF_NGNAS {
                                AMF_Pointer set to PX_AMF_POINTER,
                                5G_TMSI set to RV_5G_TMSI},
                            TAI_list containing {
                                Partial_tracking_area_list_1 containing {
                                TAI containing { //!the TAI of the UE, in any partial tracking area identity list (type 00, 01 or 10, ETSI TS 124 501 clause 9.11.3.9)
                                    MCC set to PX_MCC,
                                    MNC set to PX_MNC,
                                    TAC set to PX_TAC}},
@@ -717,6 +734,8 @@ Package TP_AMF_NGNAS {
                                Timer_value set to nonZeroValue}}} 
                    to the GNB entity     
                    or
                    // the IUT does not convey the REGISTRATION_ACCEPT in an INITIAL_CONTEXT_SETUP_REQUEST (e.g. ETSI TS 138 413
                    // clause 8.6.1.2, PICS_NGAP_A4_5_2_1)
                    the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing {
                        NAS_PDU containing {
                            extended_protocol_discriminator set to 5GS_MOBILITY_MANAGEMENT_MESSAGES, 
@@ -733,7 +752,7 @@ Package TP_AMF_NGNAS {
                                AMF_Pointer set to PX_AMF_POINTER,
                                5G_TMSI set to RV_5G_TMSI},
                            TAI_list containing {
                                Partial_tracking_area_list_1 containing {
                                TAI containing { //!the TAI of the UE, in any partial tracking area identity list (type 00, 01 or 10, ETSI TS 124 501 clause 9.11.3.9)
                                    MCC set to PX_MCC,
                                    MNC set to PX_MNC,
                                    TAC set to PX_TAC}},