Commit 8ed1fa40 authored by Steffen Ludtke's avatar Steffen Ludtke
Browse files

Merge branch 'TTF_T041' of https://forge.etsi.org/rep/int/5g-core/nas into TTF_T041

parents 045211f1 30709f4f
Loading
Loading
Loading
Loading
+1 −0
Original line number Original line Diff line number Diff line
@@ -173,6 +173,7 @@ Package Ngnas_Common {
            - isAttachingToNetwork
            - isAttachingToNetwork
            - hasDoneSubscription
            - hasDoneSubscription
            - indicate
            - indicate
            - trigger
            - isCMIDLE
            - isCMIDLE
            - isCMCONNECTED
            - isCMCONNECTED
            - alreadyPreparedHandover
            - alreadyPreparedHandover
+365 −4
Original line number Original line Diff line number Diff line
@@ -431,7 +431,7 @@ Package TP_AMF {
        
        
        Config Id CF_AMF_N2N1
        Config Id CF_AMF_N2N1
        
        
        PICS Selection NONE
        PICS Selection PICS_A4/8_1
        
        
        Initial conditions with {
        Initial conditions with {
            the UE entity isNotRegisteredTo the AMF
            the UE entity isNotRegisteredTo the AMF
@@ -464,7 +464,7 @@ Package TP_AMF {
	                   NAS_PDU containing
	                   NAS_PDU containing
	                       extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
	                       extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
						   security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
						   security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
	                       Registration_reject_message_identity set to REGISTRATION_ACCEPT,
	                       Registration_accept_message_identity set to REGISTRATION_ACCEPT,
	                       5GS_registration_result containing
	                       5GS_registration_result containing
	                           55GS_registration_result_value set to 3GPP_ACCESS;,
	                           55GS_registration_result_value set to 3GPP_ACCESS;,
	                       5G_GUTI containing
	                       5G_GUTI containing
@@ -536,7 +536,7 @@ Package TP_AMF {
	                   NAS_PDU containing
	                   NAS_PDU containing
	                       extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
	                       extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
						   security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
						   security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
	                       Registration_reject_message_identity set to REGISTRATION_ACCEPT,
	                       Registration_accept_message_identity set to REGISTRATION_ACCEPT,
	                       5GS_registration_result containing
	                       5GS_registration_result containing
	                           5GS_registration_result_value set to 3GPP_ACCESS,
	                           5GS_registration_result_value set to 3GPP_ACCESS,
	                           SMS_over_NAS_transport_allowed set to 1;, //SMS over NAS allowed
	                           SMS_over_NAS_transport_allowed set to 1;, //SMS over NAS allowed
@@ -609,7 +609,7 @@ Package TP_AMF {
	                   NAS_PDU containing
	                   NAS_PDU containing
	                       extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
	                       extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
						   security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
						   security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
	                       Registration_reject_message_identity set to REGISTRATION_ACCEPT,
	                       Registration_accept_message_identity set to REGISTRATION_ACCEPT,
	                       5GS_registration_result containing
	                       5GS_registration_result containing
	                           5GS_registration_result_value set to 3GPP_ACCESS,
	                           5GS_registration_result_value set to 3GPP_ACCESS,
	                           SMS_over_NAS_transport_allowed set to 0;, //SMS over NAS not allowed
	                           SMS_over_NAS_transport_allowed set to 0;, //SMS over NAS not allowed
@@ -637,6 +637,133 @@ Package TP_AMF {
        
        
    	Test Purpose {
    	Test Purpose {
		
		
        TP Id TP_5GNAS_AMF_REG_ACC_04
        
        Test objective "Verify that the IUT includes the allowed NSSAI in the REGISTRATION ACCEPT message when the UE includes a requested NSSAI in the REGISTRATION REQUEST message and the network allows one or more S-NSSAIs from the requested NSSAI."
        
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.1.2.4 and 8.2.7" 
        
        Config Id CF_AMF_N2N1
        
        PICS Selection PICS_A4/8_1
        
        Initial conditions with {
            the UE entity isNotRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
	               the IUT entity receives an INITIAL_UE_MESSAGE containing
	                   NAS_PDU containing
	                       extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
	                       security_header_type set to NOT_SECURITY_PROTECTED,
	                       Registration_request_message_identity set to REGISTRATION_REQUEST,
	                       5GS_registration_type containing
	                           5GS_registration_type_value set to INITIAL_REGISTRATION,
	                           FOR indicating value 1;, //Follow-on request pending
	                       5GS_mobile_identity containing
	                           SUPI_format indicating value IMSI,
	                           Type_of_idenity indicating value SUCI,
	                           MCC indicating value PX_MCC,
	                           MNC indicating value PX_MNC,
	                           Routing_indicator indicating value PX_ROUTING_INDICATOR, 
	                           Protection_scheme_id indicating value PX_PROTECTION_SCHEME_ID,
	                           Home_network_public_key_identifier indicating value PX_HOME_NETWORK_PUBLIC_KEY_IDENTIFIER,
	                           MSIN indicating value PX_MSIN;;;
	               from the GNB entity
	            }
	            then {
	               the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing
	                   NAS_PDU containing
	                       extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
						   security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
	                       Registration_accept_message_identity set to REGISTRATION_ACCEPT,
	                       5G_GUTI containing
	                           Type_of_identity set to 5G_GUTI,
	                           MCC indicating value PX_MCC,
	                           MNC indicating value PX_MNC,
	                           AMF_Region_ID indicating value PX_AMF_REGION_ID,
	                           AMF_Set_ID indicating value PX_AMF_SET_ID,
	                           AMF_Pointer indicating value PX_AMF_POINTER,
	                           5G_TMSI indicating value RV_5G_TMSI;,
	                       Allowed_NSSAI containing
	                           S_NSSAI_1 containing
	                               SST set to PX_SST_1,
	                               SD set to PX_SD_1,
	                               Mapped_HPLMN_SST set to PX_MAPPED_HPLMN_SST_1,
	                               Mapped_HPLMN_SD set to PX_MAPPED_HPLMN_SD_1;;;; 
	               to the GNB entity       
	            }
            }
        }// end TP_5GNAS_AMF_REG_ACC_04
        
    	Test Purpose {
		
        TP Id TP_5GNAS_AMF_REG_ACC_05
        
        Test objective "Verify that the IUT optionally includes rejected NSSAI in the REGISTRATION ACCEPT message when the network rejects one or more S-NSSAIs from the requested NSSAI."
        
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.1.2.4 and 8.2.7" 
        
        Config Id CF_AMF_N2N1
        
        PICS Selection PICS_A4/8_1_2_3
        
        Initial conditions with {
            the UE entity isNotRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
	               the IUT entity receives an INITIAL_UE_MESSAGE containing
	                   NAS_PDU containing
	                       extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
	                       security_header_type set to NOT_SECURITY_PROTECTED,
	                       Registration_request_message_identity set to REGISTRATION_REQUEST,
	                       5GS_registration_type containing
	                           5GS_registration_type_value set to INITIAL_REGISTRATION,
	                           FOR indicating value 1;, //Follow-on request pending
	                       5GS_mobile_identity containing
	                           SUPI_format indicating value IMSI,
	                           Type_of_idenity indicating value SUCI,
	                           MCC indicating value PX_MCC,
	                           MNC indicating value PX_MNC,
	                           Routing_indicator indicating value PX_ROUTING_INDICATOR, 
	                           Protection_scheme_id indicating value PX_PROTECTION_SCHEME_ID,
	                           Home_network_public_key_identifier indicating value PX_HOME_NETWORK_PUBLIC_KEY_IDENTIFIER,
	                           MSIN indicating value PX_MSIN;;;
	               from the GNB entity
	            }
	            then {
	               the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing
	                   NAS_PDU containing
	                       extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
						   security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
	                       Registration_accept_message_identity set to REGISTRATION_ACCEPT,
	                       5G_GUTI containing
	                           Type_of_identity set to 5G_GUTI,
	                           MCC indicating value PX_MCC,
	                           MNC indicating value PX_MNC,
	                           AMF_Region_ID indicating value PX_AMF_REGION_ID,
	                           AMF_Set_ID indicating value PX_AMF_SET_ID,
	                           AMF_Pointer indicating value PX_AMF_POINTER,
	                           5G_TMSI indicating value RV_5G_TMSI;,
	                       Rejected_NSSAI containing
	                           Rejected_S_NSSAI_1 containing
	                               Cause_value,
	                               SST set to PX_SST_Rejected,
	                               SD set to PX_SD_Rejected;;;; 
	               to the GNB entity       
	            }
            }
        }// end TP_5GNAS_AMF_REG_ACC_05
    	 
    	Test Purpose {
		
        TP Id TP_5GNAS_AMF_REG_REJ_01 
        TP Id TP_5GNAS_AMF_REG_REJ_01 
        
        
        Test objective "Verify that the IUT rejects initial registration request due to general NAS level mobility management congestion control with 5GMM cause value #22 - congestion and assign a value for back-off timer T3346."
        Test objective "Verify that the IUT rejects initial registration request due to general NAS level mobility management congestion control with 5GMM cause value #22 - congestion and assign a value for back-off timer T3346."
@@ -732,5 +859,239 @@ Package TP_AMF {
        
        
    } //end Group "5.5.1.2 Registration Procedure for initial registration"
    } //end Group "5.5.1.2 Registration Procedure for initial registration"
    
    
    Group "5.5.2.2.3 UE-initiated de-registration procedure completion"
    {
    	import all from Ngnas_Common;
    	
	 
	    Test Purpose {
	
        TP Id TP_5GNAS_AMF_DRG_ACC_01 
    
        Test objective "Verify that the IUT, upon receiving a DEREGISTRATION REQUEST message containing the De-registration type IE with Normal de-registration from the UE, sends a DEREGISTRATION ACCEPT message."
    
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.2.2.3, 8.2.12 and 8.2.13" 
    
        Config Id CF_AMF_N2N1
    
        PICS Selection PICS_A4/9_1
    
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
    
        Expected behaviour
            ensure that {
                when {
                   the IUT entity receives an UPLINK_NAS_TRANSPORT containing
                       NAS_PDU containing
                           extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                           security_header_type set to NOT_SECURITY_PROTECTED,
                           Deregistration_request_message_identity set to DEREGISTRATION_REQUEST,
                           Deregistration_type containing
                               Switch_off_value set to NORMAL_DEREGISTRATION,
                               Reregistration_required_value set to REREGISTRATION_NOT_REQUIRED,
                               Access_type set to 3GPP_ACCESS;,
                           5GS_mobile_identity containing
                               Type_of_identity set to 5G_GUTI,
	                           MCC indicating value PX_MCC,
	                           MNC indicating value PX_MNC,
	                           AMF_Region_ID indicating value PX_AMF_REGION_ID,
	                           AMF_Set_ID indicating value PX_AMF_SET_ID,
	                           AMF_Pointer indicating value PX_AMF_POINTER,
	                           5G_TMSI indicating value RV_5G_TMSI;;;
                   from the GNB entity
                }
                then {
                   the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                       NAS_PDU containing
                           extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
	    				   security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                           Deregistration_accept_message_identity set to DEREGISTRATION_ACCEPT;; 
                   to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_DRG_ACC_01
        
	    Test Purpose {
	
        TP Id TP_5GNAS_AMF_DRG_ACC_02 
    
        Test objective "Verify that the IUT, upon receiving a DEREGISTRATION REQUEST message containing the De-registration type IE with Switch-off from the UE, does not send a DEREGISTRATION ACCEPT message and IUT completes de-registration procedure."
    
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.2.2.3, 8.2.12 and 8.2.13" 
    
        Config Id CF_AMF_N2N1
    
        PICS Selection PICS_A4/9_1
    
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
    
        Expected behaviour
            ensure that {
                when {
                   the IUT entity receives an UPLINK_NAS_TRANSPORT containing
                       NAS_PDU containing
                           extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                           security_header_type set to NOT_SECURITY_PROTECTED,
                           Deregistration_request_message_identity set to DEREGISTRATION_REQUEST,
                           Deregistration_type containing
                               Switch_off_value set to SWITCH_OFF,
                               Reregistration_required_value set to REREGISTRATION_NOT_REQUIRED,
                               Access_type set to 3GPP_ACCESS;,
                           5GS_mobile_identity containing
                               Type_of_identity set to 5G_GUTI,
	                           MCC indicating value PX_MCC,
	                           MNC indicating value PX_MNC,
	                           AMF_Region_ID indicating value PX_AMF_REGION_ID,
	                           AMF_Set_ID indicating value PX_AMF_SET_ID,
	                           AMF_Pointer indicating value PX_AMF_POINTER,
	                           5G_TMSI indicating value RV_5G_TMSI;;;
                   from the GNB entity
                }
                then {
                   the IUT entity not sends a DOWNLINK_NAS_TRANSPORT containing
                       NAS_PDU containing
                           extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
	    				   security_header_type set to INTEGRITY_PROTECTED_AND_CIPHERED,
                           Deregistration_accept_message_identity set to DEREGISTRATION_ACCEPT;; 
                   to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_DRG_ACC_02
    	
    } //end Group "5.5.2.2.3 UE-initiated de-registration procedure completion"
    
    Group "5.5.2.3.1 Network-initiated de-registration procedure initiation"
    {
    	import all from Ngnas_Common;
    	
	 
	    Test Purpose {
	
        TP Id TP_5GNAS_AMF_DRG_REQ_01 
    
        Test objective "Verify that the IUT initiates network de-registration by sending a DEREGISTRATION REQUEST message containing De-registration type IE with re-registration not required and the access type based on the UE’s registration status (3GPP access only). **NOTE:** explicit network deregistration triggered by O&M - deactivation of UE"
    
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.2.3.1 and 8.2.14" 
    
        Config Id CF_AMF_N2N1
    
        PICS Selection PICS_A4/9_2
    
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
    
        Expected behaviour
            ensure that {
                when {  
                	the IUT entity trigger a UE deactivation
                }
                then {
                   the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                       NAS_PDU containing
                           extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                           security_header_type set to NOT_SECURITY_PROTECTED,
                           Deregistration_request_message_identity set to DEREGISTRATION_REQUEST,
                           Deregistration_type containing
                               Switch_off_value set to NORMAL_DEREGISTRATION,
                               Reregistration_required_value set to REREGISTRATION_NOT_REQUIRED,
                               Access_type set to 3GPP_ACCESS;;; 
                   to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_DRG_REQ_01	
	 
	    Test Purpose {
	
        TP Id TP_5GNAS_AMF_DRG_REQ_02 
    
        Test objective "Verify that the IUT initiates network de-registration by sending a DEREGISTRATION REQUEST message and if UE does not send DEREGISTRATION ACCEPT then IUT retransmits DEREGISTRATION REQUEST message after timer T3522 expiration. **NOTE:** explicit network deregistration triggered by O&M - UE deregistration."
    
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.2.3.1 and 8.2.14" 
    
        Config Id CF_AMF_N2N1
    
        PICS Selection PICS_A4/9_2
    
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
    
        Expected behaviour
            ensure that {
                when {  
                	the IUT entity trigger a UE deregistration and 
                	the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                       NAS_PDU containing
                           Deregistration_request_message_identity set to DEREGISTRATION_REQUEST;; 
                   to the GNB entity and 
                   the IUT entity does not receives an UPLINK_NAS_TRANSPORT containing
                       NAS_PDU containing
                           Deregistration_accept_message_identity set to DEREGISTRATION_ACCEPT;;
                   from the GNB entity
                }
                then {
                   the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                       NAS_PDU containing
                           extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                           security_header_type set to NOT_SECURITY_PROTECTED,
                           Deregistration_request_message_identity set to DEREGISTRATION_REQUEST,
                           Deregistration_type containing
                               Switch_off_value set to NORMAL_DEREGISTRATION,
                               Reregistration_required_value set to REREGISTRATION_NOT_REQUIRED,
                               Access_type set to 3GPP_ACCESS;;; 
                   to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_DRG_REQ_02	
	 
	    Test Purpose {
	
        TP Id TP_5GNAS_AMF_DRG_REQ_03 
    
        Test objective "Verify that the IUT initiates network de-registration by sending DEREGISTRATION REQUEST message containing De-registration type IE with re-registration required and the access type based on the UE’s registration status (3GPP access only). **NOTE 1:** UE sends DEREGISTRATION ACCEPT and starts with re-registration procedure.(also used ref 5.5.2.3.2 1st paragraph) **NOTE 2:** explicit network deregistration triggered by O&M - UE deregistration"
    
        Reference 
            "ETSI TS 124 501 [1], Clauses 5.5.2.3.1, 5.5.2.3.2 and 8.2.14" 
    
        Config Id CF_AMF_N2N1
    
        PICS Selection PICS_A4/9_2
    
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
    
        Expected behaviour
            ensure that {
                when {  
                	the IUT entity trigger a UE deregistration
                }
                then {
                   the IUT entity sends a DOWNLINK_NAS_TRANSPORT containing
                       NAS_PDU containing
                           extended_protocol_discriminator set to 5G_MOBILITY_MANAGEMENT_MESSAGES, 
                           security_header_type set to NOT_SECURITY_PROTECTED,
                           Deregistration_request_message_identity set to DEREGISTRATION_REQUEST,
                           Deregistration_type containing
                               Switch_off_value set to NORMAL_DEREGISTRATION,
                               Reregistration_required_value set to REREGISTRATION_REQUIRED,
                               Access_type set to 3GPP_ACCESS;;; 
                   to the GNB entity       
                }
            }
        }// end TP_5GNAS_AMF_DRG_REQ_03
    
    } //end Group "5.5.2.3.1 Network-initiated de-registration procedure initiation"
        
        }
} // End of Package TP_AMF
} // End of Package TP_AMF