Commit 30f5c7ff authored by Konrad Schaupp's avatar Konrad Schaupp
Browse files

Review AMF TPs

parent 464c3db3
Loading
Loading
Loading
Loading
+20 −18
Original line number Diff line number Diff line
@@ -131,9 +131,10 @@ Package TP_AMF {
                                UE_NGAP_ID_pair containing                   
                                    AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,
                                    RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID
                                ;,
                                AMF UE NGAP ID containing
                                    AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID;
                                ;
								// Only a single choice alternative could be present
                                // AMF UE NGAP ID containing
                                //    AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID;
                            ;,
                            Cause set to "nas=deregister"
                        ;
@@ -350,7 +351,7 @@ Package TP_AMF {
                        the IUT entity receives an INITIAL_UE_MESSAGE containing
                            RAN_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,
                            NAS_PDU containing
                                Message_identity set to REGISTRATION_ACCEPT;,
                                Message_identity set to REGISTRATION_REQUEST;,
                            User_Location_Information containing
                                nr_cgi containing
                                    PLMN_Identity set to PX_PLMN_Identity;,
@@ -602,15 +603,15 @@ Package TP_AMF {
                    when {
                        the IUT entity receives a RAN_CONFIGURATION_UPDATE containing      
                            Supported_TA_List containing
                                Supported_TA_Item containing // Implementation note: e.g. TA List is updated due to UE moving into a new TA 
                                    TAC set to PX_TAC, 
                                Supported_TA_Item containing // Implementation note: RAN has been recofigured via O&M interface to support different TAC 
                                    TAC set to PX_TAC_NEW, 
                                    Broadcast_PLMN_List containing
                                        Broadcast_PLMN_Item containing
                                            PLMN_Identity set to PX_PLMN_Identity,
                                            TAI_Slice_Support_List containing
                                                S_NSSAI containing
                                                    SST set to PX_SST_NEW,
                                                    SD set to PX_SD_NEW;;;;;;;            
                                                    SST set to PX_SST,
                                                    SD set to PX_SD;;;;;;;            
                        from the GNB entity
                    }
                    then {
@@ -624,7 +625,7 @@ Package TP_AMF {

            TP Id TP_NGAP_AMF_IMP_06
            
            Test objective "Verify that the AMF node successfully declines a RAN CONFIGURATION UPDATE message with RAN CONFIGURATION UPDATE FAILURE and appropriate cause value (i.e. slice not supported) when the AMF is not able to handle not suported TAC in the request."
            Test objective "Verify that the AMF node successfully declines a RAN CONFIGURATION UPDATE message with RAN CONFIGURATION UPDATE FAILURE and appropriate cause value (i.e. slice not supported) when the AMF is not able to handle new slice type as requested."
            
            Reference 
                "ETSI TS 138 413 [1], Clauses 8.7.2.3 and 9.2.6.4 and 9.2.6.6" 
@@ -642,20 +643,20 @@ Package TP_AMF {
                    when {
                        the IUT entity receives a RAN_CONFIGURATION_UPDATE containing      
                            Supported_TA_List containing
                                Supported_TA_Item containing // Implementation note: e.g. TA List is updated due to UE moving into a new TA 
                                   TAC set to PX_TAC_UNSUPPORTED, // Implementation note: The TAC in the NG Setup Request message does not match the TAC of the AMF.
                                Supported_TA_Item containing // Implementation note: RAN has been recofigured via O&M interface to support different SST 
                                   TAC set to PX_TAC, 
                                   Broadcast_PLMN_List containing
                                       Broadcast_PLMN_Item containing
                                           PLMN_Identity set to PX_PLMN_Identity,
                                           TAI_Slice_Support_List containing
                                               S_NSSAI containing
                                                   SST set to PX_SST_NEW,
                                                   SST set to PX_SST_UNSUPPORTED, // Implementation note: The new SST indicated is not supported by Core side.
                                                   SD set to PX_SD_NEW;;;;;;;            
                        from the GNB entity
                    }
                    then {
                        the IUT entity sends a RAN_CONFIGURATION_UPDATE_FAILURE containing
                            Cause set to "unknown-PLMN-or-SNPN";
                            Cause set to "RadioNetwork_slice-not-supported";
                        to the GNB entity
                    }
                }
@@ -701,7 +702,8 @@ Package TP_AMF {
                        from the GNB entity
                    }
                    then {
                        the IUT entity sends an NG_RESET_ACKNOWLEDGE 
                        the IUT entity sends an NG_RESET_ACKNOWLEDGE containing
			                not UE_associated_Logical_NGconnection_List; 	
                        to the GNB entity
                    }
                }
@@ -721,8 +723,7 @@ Package TP_AMF {
            PICS Selection PICS_A2/2 and PICS_A4/6_4
            
            Initial conditions with {
                the UE entity isRegisteredTo the AMF and
                the UE entity isRequestedToDetachfromNetwork
                the UE entity isRegisteredTo the AMF 
			}
            
            Expected behaviour
@@ -739,7 +740,8 @@ Package TP_AMF {
                        from the GNB entity
                    }
                    then {
                        the IUT entity sends an NG_RESET_ACKNOWLEDGE 
                        the IUT entity sends an NG_RESET_ACKNOWLEDGE containing
                          not UE_associated_Logical_NGconnection_List; 						
                        to the GNB entity
                    }
                }