Commit 2723c3cb authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

TP_GNB update to fix TDL errors and new TP added

parent f6803172
Loading
Loading
Loading
Loading
+3 −0
Original line number Diff line number Diff line
@@ -207,6 +207,9 @@ Package Ngap_Common {
            - hasEstablishedTNL_AssociationTo
            - process
            - after_
            - expires
            - has
            - hasSuccessfullyEstablished
        ;
    } // End of Domain section

+55 −12
Original line number Diff line number Diff line
@@ -51,13 +51,14 @@ Package TP_GNB {

            Initial conditions with {
                the UE entity isRegisteredTo the AMF and
                the UE entity hasEstablished PDU Session
                the UE entity hasEstablishedPDUsession
            }

            Expected behaviour
                ensure that {
                    when {
                        the u_Plane inacivity timer expires
                        the IUT entity u_Plane_inactivity_timer expires
                        //the u_Plane inactivity timer expires
                    }
                    then {
                        the IUT entity sends a UE_CONTEXT_RELEASE_REQUEST containing
@@ -74,6 +75,46 @@ Package TP_GNB {

               }  // End TP TP_NGAP_GNB_CMP_07

            Test Purpose {

            TP Id TP_NGAP_GNB_CMP_07_2

            Test objective "Verify that the NG-RAN node successfully requests the AMF to release the UE-associated logical NG-connection after rejected registration procedure."
            //from CM_CONNECTED to CM_IDLE state
            Reference 
                "ETSI TS 138 413 [1], Clauses 8.3.2.2 and 9.2.2.4
                 ETSI TS 123 502 [3], Clause  4.2.6" 
            
            Config Id CF_GNB_N2
            
            PICS Selection PICS_A2/1 and PICS_A3/2_2

            Initial conditions with {
                the GNB entity hasEstablished_NG_C_AssociationTo the AMF
            }

            Expected behaviour
                ensure that {
                    when {
                        the AMF entity sends a DOWNLINK_NAS_TRANSPORT containing
                            NAS_PDU containing
                                Message_identity set to REGISTRATION_REJECT;;
                    }
                    then {
                        the IUT entity sends a UE_CONTEXT_RELEASE_REQUEST containing
                            AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,
                            RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID,
                            PDU_Session_Resource_List containing
	                            PDU_Session_Resource_Item containing
	                                PDU_SessionId indicating value PX_PDU_SessionId;;,
                            Cause set to PX_Cause; //"Nas.unspecified";
                        to the AMF entity
                    }

                }

               }  // End TP TP_NGAP_GNB_CMP_07_2

        } // End Group "UE Context Release (NG-RAN node initiated)"

        Group "UE Context Release (AMF initiated)"
@@ -192,7 +233,7 @@ Package TP_GNB {

            TP Id TP_NGAP_GNB_IMP_01
            
            Test objective "Verify the GNB node after TNL establishment sends NG SETUP REQUEST message to the AMF."
            Test objective "Verify that the GNB node sends an NG SETUP REQUEST message to the AMF after TNL establishment."
            
            Reference 
                "ETSI TS 138 413 [1], Clauses 8.7.1.2 and 9.2.6.1" 
@@ -204,7 +245,8 @@ Package TP_GNB {
            Expected behaviour
                ensure that {
                    when {
                        the IUT has successfully established the TNL connection
                        the IUT entity hasSuccessfullyEstablished the TNL_connection
                        //the IUT has successfully established the TNL connection
                    }
                    then {
                        the IUT entity sends an NG_SETUP_REQUEST containing      
@@ -220,8 +262,9 @@ Package TP_GNB {
                                            PLMN_Identity set to PX_PLMN_Identity,
                                            TAI_Slice_Support_List containing
                                                S_NSSAI containing
                                                    SST set to PX_SST;;;;;,
                            Default Paging DRX set to PX_GNB_DEF_DRX;
                                                    SST set to PX_SST,
                                                    SD set to PX_SD;;;;;;,
                            Default_Paging_DRX set to PX_GNB_DEF_DRX;
                         to the AMF entity
                    }
                }
@@ -271,8 +314,8 @@ Package TP_GNB {
                    from the AMF entity
                    }
                    then {
                        the IUT entity sends an NG_RESET_ACKNOWLEDGE 
							not containing UE_associated_Logical_NGconnection_List;
                        the IUT entity sends an NG_RESET_ACKNOWLEDGE containing
                            not UE_associated_Logical_NGconnection_List;
                        to the AMF entity
                    }
                }
@@ -309,8 +352,8 @@ Package TP_GNB {
                    from the AMF entity
                    }
                    then {
                        the IUT entity sends an NG_RESET_ACKNOWLEDGE
							not containing UE_associated_Logical_NGconnection_List;
                        the IUT entity sends an NG_RESET_ACKNOWLEDGE containing
                            not UE_associated_Logical_NGconnection_List;
                        to the AMF entity
                    }
                }
@@ -395,8 +438,8 @@ Package TP_GNB {
            ensure that {
                when {

                    the IUT entity receives a INITIAL_CONTEXT_SETUP_REQUEST
					   not containing UE_Radio_Capability;
                    the IUT entity receives a INITIAL_CONTEXT_SETUP_REQUEST containing
                        not UE_Radio_Capability;
                }
                then {
                    the IUT entity sends a UE_RADIO_CAPABILITY_INFO_INDICATION containing