Commit 79baff8a authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

TPs AMF_IMP_01, 02, 04, 05, 06

parent 8c8b3592
Loading
Loading
Loading
Loading
+72 −60
Original line number Original line Diff line number Diff line
@@ -369,7 +369,7 @@ Package TP_AMF {
    
    
            TP Id TP_NGAP_AMF_IMP_01_DELETE_OR_NOT
            TP Id TP_NGAP_AMF_IMP_01_DELETE_OR_NOT
            
            
            Test objective "Verify that the AMF node successfully processes an NG SETUP REQUEST message that contains PLMN identity, TAC and supported slice IEs and answers with NG SETUP RESPONSE to acknowledge the setup."
            Test objective "Verify that the AMF node successfully processes an NG SETUP REQUEST message containing the PLMN identity, TAC, and supported slice IEs, and responds with an NG SETUP RESPONSE message to acknowledge the setup."
            
            
            Reference 
            Reference 
                "ETSI TS 138 413 [1], Clauses 8.7.1.2, 9.2.6.1 and 9.2.6.2" 
                "ETSI TS 138 413 [1], Clauses 8.7.1.2, 9.2.6.1 and 9.2.6.2" 
@@ -379,7 +379,8 @@ Package TP_AMF {
            PICS Selection PICS_A2/2 and PICS_A4/6_1
            PICS Selection PICS_A2/2 and PICS_A4/6_1
            
            
            Initial conditions with {
            Initial conditions with {
                the UE entity hasEstablishedRRCConnection
                the gNB entity hasNotEstablished_NG-C_AssociationTo the AMF
                //the UE entity hasEstablishedRRCConnection
            }
            }
            
            
            Expected behaviour
            Expected behaviour
@@ -399,8 +400,7 @@ Package TP_AMF {
                                            TAI_Slice_Support_List containing
                                            TAI_Slice_Support_List containing
                                                S_NSSAI containing
                                                S_NSSAI containing
                                                    SST set to PX_SST,
                                                    SST set to PX_SST,
                                                    SD set to PX_SD;;;;;//,
                                                    SD set to PX_SD;;;;;
                            //Default_Paging_DRX
                            ;;
                            ;;
                        from the GNB entity
                        from the GNB entity
                    }
                    }
@@ -414,18 +414,13 @@ Package TP_AMF {
                                        AMF_Region_ID set to PX_AMF_Region_ID,
                                        AMF_Region_ID set to PX_AMF_Region_ID,
                                        AMF_Set_ID set to PX_AMF_Set_ID,
                                        AMF_Set_ID set to PX_AMF_Set_ID,
                                        AMF_Pointer set to PX_AMF_Pointer_ID;;;, 
                                        AMF_Pointer set to PX_AMF_Pointer_ID;;;, 
                            //Relative_AMF_Capacity, 
                            PLMN_Support_List containing
                            PLMN_Support_List containing
                                PLMN_Support_Item containing
                                PLMN_Support_Item containing
                                    PLMN_Identity set to PX_PLMN_Identity, 
                                    PLMN_Identity set to PX_PLMN_Identity, 
                                    Slice_Support_List containing
                                    Slice_Support_List containing
                                        S_NSSAI containing
                                        S_NSSAI containing
                                                SST set to PX_SST,
                                                SST set to PX_SST,
                                                SD set to PX_SD;;//, 
                                                SD set to PX_SD;;;;;
                                    //Extended_Slice_Support_List  containing
                                    //    S_NSSAI containing
                                    //            SST;;
                                    ;;;
                         to the GNB entity
                         to the GNB entity
                    }
                    }
                }
                }
@@ -436,6 +431,7 @@ Package TP_AMF {
            TP Id TP_NGAP_AMF_IMP_02
            TP Id TP_NGAP_AMF_IMP_02
            
            
            Test objective "Verify that the AMF node successfully decline an NG SETUP REQUEST message containing only PLMNs/SNPNs that does not recognize or support, rejects the NG Setup procedure by responding with NG SETUP FAILURE message including the appropriate cause value."
            Test objective "Verify that the AMF node successfully decline an NG SETUP REQUEST message containing only PLMNs/SNPNs that does not recognize or support, rejects the NG Setup procedure by responding with NG SETUP FAILURE message including the appropriate cause value."
            //Possible test for not supported slice at AMF and cause would be "slice-not-supported";


            Reference 
            Reference 
                "ETSI TS 138 413 [1], Clauses 8.7.1.3, 9.2.6.1 and 9.2.6.3" 
                "ETSI TS 138 413 [1], Clauses 8.7.1.3, 9.2.6.1 and 9.2.6.3" 
@@ -445,7 +441,8 @@ Package TP_AMF {
            PICS Selection PICS_A2/2 and PICS_A4/6_1
            PICS Selection PICS_A2/2 and PICS_A4/6_1
            
            
            Initial conditions with {
            Initial conditions with {
                the UE entity hasEstablishedRRCConnection
                the gNB entity hasNotEstablished_NG-C_AssociationTo the AMF
                //the UE entity hasEstablishedRRCConnection
            }
            }
            
            
            Expected behaviour
            Expected behaviour
@@ -468,7 +465,7 @@ Package TP_AMF {
                    }
                    }
                    then {
                    then {
                        the IUT entity sends an NG_SETUP_FAILURE containing
                        the IUT entity sends an NG_SETUP_FAILURE containing
                              Cause set to "unknown-PLMN-or-SNPN"; //or "slice-not-supported";
                              Cause set to "unknown-PLMN-or-SNPN"; 
                         to the GNB entity
                         to the GNB entity
                    }
                    }
                }
                }
@@ -476,7 +473,7 @@ Package TP_AMF {
            
            
            Test Purpose {
            Test Purpose {
    
    
            TP Id TP_NGAP_AMF_IMP_04_TODO
            TP Id TP_NGAP_AMF_IMP_04
            
            
            Test objective "Verify that the AMF node successfully processes an NG SETUP REQUEST message including the appropriate data and answers with NG SETUP RESPONSE to acknowledge the setup."
            Test objective "Verify that the AMF node successfully processes an NG SETUP REQUEST message including the appropriate data and answers with NG SETUP RESPONSE to acknowledge the setup."
            
            
@@ -488,57 +485,70 @@ Package TP_AMF {
            PICS Selection PICS_A2/2 and PICS_A4/6_1
            PICS Selection PICS_A2/2 and PICS_A4/6_1
            
            
            Initial conditions with {
            Initial conditions with {
                the UE entity hasEstablishedRRCConnection
                the gNB entity hasNotEstablished_NG-C_AssociationTo the AMF
                //the UE entity hasEstablishedRRCConnection
            }
            }
            
            
            Expected behaviour
            Expected behaviour
                ensure that {
                ensure that {
                    when {
                    when {
                        the IUT entity receives an NG_SETUP_REQUEST containing
                        the IUT entity receives an NG_SETUP_REQUEST containing
                            Global_RAN_Node_ID, 
                            Global_RAN_Node_ID containing
                                    Global_gNB_ID containing
                                        PLMN_Identity set to PX_PLMN_Identity,
                                        gNB_ID set to PX_gNB_ID;;,
                            RAN_Node_Name set to PX_RAN_NODE_NAME,       
                            Supported_TA_List containing
                            Supported_TA_List containing
                                Supported_TA_Item containing
                                Supported_TA_Item containing
                                    TAC
                                    TAC set to PX_TAC, 
                                    Broadcast_PLMN_List containing
                                    Broadcast_PLMN_List containing
                                        Broadcast_PLMN_Item containing
                                        Broadcast_PLMN_Item containing
                                            PLMN_Identity,
                                            PLMN_Identity set to PX_PLMN_Identity,
                                            TAI_Slice_Support_List containing
                                            TAI_Slice_Support_List containing
                                                S_NSSAI containing
                                                S_NSSAI containing
                                                    SST;;,
                                                    SST set to PX_SST,
                                            NPN_Support,
                                                    SD set to PX_SD;;,
                                            NPN_Support containing
                                                SNPN containing
                                                    NID set to PX_NID;;,
                                            Extended_TAI_Slice_Support_List containing
                                            Extended_TAI_Slice_Support_List containing
                                                S_NSSAI containing
                                                S_NSSAI containing
                                                    SST;;;;,
                                                    SST set to PX_SST_EXTENDED,
                                Configured_TAC_Indication,
                                                    SD set to PX_SD_EXTENDED;;;;,
                                RAT_Information;,
                                RAT_Information set to "unlicensed";,
                            Default_Paging_DRX,
                            //Default_Paging_DRX,
                               NB_IoT_Default_Paging_DRX,
                            //NB_IoT_Default_Paging_DRX,
                            Extended_RAN_Node_Name containing
                            Extended_RAN_Node_Name containing
                                   RAN_Node_Name_Visible;;;         
                                RAN_Node_Name_Visible set to PX_RAN_NODE_NAME_VISIBLE;;;         
                        from the GNB entity
                        from the GNB entity
                    }
                    }
                    then {
                    then {
                        the IUT entity sends an NG_SETUP_RESPONSE containing
                        the IUT entity sends an NG_SETUP_RESPONSE containing
                            AMF_Name, 
                            //AMF_Name indicating value RV_AMF_Name, 
                            Served_GUAMI_List containing
                            Served_GUAMI_List containing
                                Served_GUAMI_Item containing
                                Served_GUAMI_Item containing
                                    GUAMI containing
                                    GUAMI containing
                                        PLMN_Identity,  
                                        PLMN_Identity set to PX_PLMN_Identity,  
                                        AMF_Region_ID,
                                        AMF_Region_ID set to PX_AMF_Region_ID,
                                        AMF_Set_ID,
                                        AMF_Set_ID set to PX_AMF_Set_ID,
                                        AMF_Pointer;;;,
                                        AMF_Pointer set to PX_AMF_Pointer_ID;;;, 
                            Relative_AMF_Capacity,
                            Relative_AMF_Capacity,
                            PLMN_Support_List containing
                            PLMN_Support_List containing
                                PLMN_Support_Item containing
                                PLMN_Support_Item containing
                                    PLMN_Identity, 
                                    PLMN_Identity set to PX_PLMN_Identity, 
                                    Slice_Support_List containing
                                    Slice_Support_List containing
                                        S_NSSAI containing
                                        S_NSSAI containing
                                                SST;;, 
                                            SST set to PX_SST,
                                    NPN_Support,
                                            SD set to PX_SD;;, 
                                    NPN_Support containing
                                        SNPN containing
                                            NID set to PX_NID;;,
                                    Extended_Slice_Support_List  containing
                                    Extended_Slice_Support_List  containing
                                        S_NSSAI containing
                                        S_NSSAI containing
                                                SST;;;;,
                                            SST set to PX_SST_EXTENDED,
                            Extended_AMFName;
                                            SD set to PX_SD_EXTENDED;;;;,
                            Extended_RAN_Node_Name containing
                                RAN_Node_Name_Visible set to PX_RAN_NODE_NAME_VISIBLE;
                         to the GNB entity
                         to the GNB entity
                    }
                    }
                }
                }
@@ -552,9 +562,9 @@ Package TP_AMF {
            
            
            Test Purpose {
            Test Purpose {
    
    
            TP Id TP_NGAP_AMF_IMP_05_TODO
            TP Id TP_NGAP_AMF_IMP_05
            
            
            Test objective "Verify that the AMF node successfully processes a RAN CONFIGURATION UPDATE message with RAN CONFIGURATION UPDATE ACKNOWLEDGE to acknowledge the update."
            Test objective "Verify that the AMF node successfully processes a RAN CONFIGURATION UPDATE message containing new slice with RAN CONFIGURATION UPDATE ACKNOWLEDGE to acknowledge the update with supported slice at AMF."
            
            
            Reference 
            Reference 
                "ETSI TS 138 413 [1], Clauses 8.7.2.2, 9.2.6.4 and 9.2.6.5" 
                "ETSI TS 138 413 [1], Clauses 8.7.2.2, 9.2.6.4 and 9.2.6.5" 
@@ -574,13 +584,14 @@ Package TP_AMF {
                        the IUT entity receives a RAN_CONFIGURATION_UPDATE containing      
                        the IUT entity receives a RAN_CONFIGURATION_UPDATE containing      
                            Supported_TA_List 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 
                                Supported_TA_Item containing // Implementation note: e.g. TA List is updated due to UE moving into a new TA 
                                TAC, 
                                    TAC set to PX_TAC, 
                                    Broadcast_PLMN_List containing
                                    Broadcast_PLMN_List containing
                                        Broadcast_PLMN_Item containing
                                        Broadcast_PLMN_Item containing
                                        PLMN_Identity,
                                            PLMN_Identity set to PX_PLMN_Identity,,
                                            TAI_Slice_Support_List containing
                                            TAI_Slice_Support_List containing
                                                S_NSSAI containing
                                                S_NSSAI containing
                                                SST;;;;;;;            
                                                    SST set to PX_SST_NEW,
                                                    SD set to PX_SD_NEW;;;;;;;            
                        from the GNB entity
                        from the GNB entity
                    }
                    }
                    then {
                    then {
@@ -592,12 +603,12 @@ Package TP_AMF {
            
            
            Test Purpose {
            Test Purpose {


            TP Id TP_NGAP_AMF_IMP_06_TODO
            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 when the AMF is not able to handle 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 not suported TAC in the request."
            
            
            Reference 
            Reference 
                "ETSI TS 138 413 [1], Clauses 8.7.2.2 and 9.2.6.4 and 9.2.6.6" 
                "ETSI TS 138 413 [1], Clauses 8.7.2.3 and 9.2.6.4 and 9.2.6.6" 
            
            
            Config Id CF_AMF_N2
            Config Id CF_AMF_N2
            
            
@@ -613,18 +624,19 @@ Package TP_AMF {
                        the IUT entity receives a RAN_CONFIGURATION_UPDATE containing      
                        the IUT entity receives a RAN_CONFIGURATION_UPDATE containing      
                            Supported_TA_List 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 
                                Supported_TA_Item containing // Implementation note: e.g. TA List is updated due to UE moving into a new TA 
                                TAC, // Implementation note: The TAC in the NG Setup Request message does not match the TAC of the AMF.
                                   TAC set to PX_TAC_UNSUPPORTED, // Implementation note: The TAC in the NG Setup Request message does not match the TAC of the AMF.
                                   Broadcast_PLMN_List containing
                                   Broadcast_PLMN_List containing
                                       Broadcast_PLMN_Item containing
                                       Broadcast_PLMN_Item containing
                                        PLMN_Identity,
                                           PLMN_Identity set to PX_PLMN_Identity,,
                                           TAI_Slice_Support_List containing
                                           TAI_Slice_Support_List containing
                                               S_NSSAI containing
                                               S_NSSAI containing
                                                SST;;;;;;;            
                                                   SST set to PX_SST_NEW,
                                                   SD set to PX_SD_NEW;;;;;;;            
                        from the GNB entity
                        from the GNB entity
                    }
                    }
                    then {
                    then {
                        the IUT entity sends a RAN_CONFIGURATION_UPDATE_FAILURE containing
                        the IUT entity sends a RAN_CONFIGURATION_UPDATE_FAILURE containing
                            Cause;
                            Cause set to "unknown-PLMN-or-SNPN";
                        to the GNB entity
                        to the GNB entity
                    }
                    }
                }
                }