Commit aaa525cb authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

Renumbering from TP_NGAP_GNB_CMP_07_2_1 into TP_NGAP_GNB_CMP_07_1 to follow naming conventions

parent 273fd131
Loading
Loading
Loading
Loading
+26 −26
Changes for test_purposes/TP_GNB_NGAP.tdltx: 26 added lines, 26 removed lines.
Original line number Diff line number Diff line
@@ -140,11 +140,10 @@ Package TP_GNB_NGAP {

               }  // End TP TP_NGAP_GNB_CMP_07

            Test Purpose TP_NGAP_GNB_CMP_07_2 {

            Objective: "Verify that the GNB successfully requests the AMF to release the UE-associated logical NG-connection after rejected registration procedure."
            Test Purpose TP_NGAP_GNB_CMP_07_1 {
 
            Reference: "ETSI TS 138 413 [1], Clauses 8.3.2.2 and 9.2.2.4
            Objective: "Verify that the GNB successfully requests the AMF to release the UE-associated logical NG-connection when the radio connection with the UE is lost."
            Reference: "ETSI TS 138 413 [1], Clauses 8.3.2.2, 9.2.2.4 and 9.3.1.2
                        ETSI TS 123 502 [3], Clause 4.2.6"
 
            Configuration: CF_GNB_N2
@@ -153,37 +152,35 @@ Package TP_GNB_NGAP {
 
            Initial conditions
            with {
                the GNB entity hasEstablished_NG_C_AssociationToAMF and
                the UE entity isNotRegisteredToAMF
                the UE entity isRegisteredToAMF and
                the UE entity hasEstablishedPDUsession
            }
 
            Expected behaviour
                ensure that {
                    when {
                        the IUT entity receives a DOWNLINK_NAS_TRANSPORT containing {
                            AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,
                            RAN_UE_NGAP_ID set to RV_RAN_UE_NGAP_ID,
                            NAS_PDU containing {
                                Message_identity set to REGISTRATION_REJECT}}
                        from the AMF entity
                        the IUT entity radio_connection_with_UE_is_lost
                    }
                    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 RV_RAN_UE_NGAP_ID,
                            not PDU_Session_Resource_List,
                            Cause set to "RadioNetwork"}
                            PDU_Session_Resource_List containing {
                                PDU_Session_Resource_Item containing {
                                    PDU_SessionId set to PX_PDU_SessionId}},
                            Cause set to "RadioNetwork.radio-connection-with-ue-lost"}
                        to the AMF entity
                    }
 
                }
 
            }  // End TP TP_NGAP_GNB_CMP_07_2
            }  // End TP TP_NGAP_GNB_CMP_07_1

            Test Purpose TP_NGAP_GNB_CMP_07_2_1 {
            Test Purpose TP_NGAP_GNB_CMP_07_2 {

            Objective: "Verify that the GNB successfully requests the AMF to release the UE-associated logical NG-connection when the radio connection with the UE is lost."
            Reference: "ETSI TS 138 413 [1], Clauses 8.3.2.2, 9.2.2.4 and 9.3.1.2
            Objective: "Verify that the GNB successfully requests the AMF to release the UE-associated logical NG-connection after rejected registration procedure."

            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" 
            
            Configuration: CF_GNB_N2
@@ -192,29 +189,32 @@ Package TP_GNB_NGAP {

            Initial conditions
            with {
                the UE entity isRegisteredToAMF and
                the UE entity hasEstablishedPDUsession
                the GNB entity hasEstablished_NG_C_AssociationToAMF and
                the UE entity isNotRegisteredToAMF
            }

            Expected behaviour
                ensure that {
                    when {
                        the IUT entity radio_connection_with_UE_is_lost
                        the IUT entity receives a DOWNLINK_NAS_TRANSPORT containing {
                            AMF_UE_NGAP_ID set to PX_AMF_UE_NGAP_ID,
                            RAN_UE_NGAP_ID set to RV_RAN_UE_NGAP_ID,
                            NAS_PDU containing {
                                Message_identity set to REGISTRATION_REJECT}}
                        from the AMF entity
                    }
                    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 RV_RAN_UE_NGAP_ID,
                            PDU_Session_Resource_List containing {
                                PDU_Session_Resource_Item containing {
                                    PDU_SessionId set to PX_PDU_SessionId}},
                            Cause set to "RadioNetwork.radio-connection-with-ue-lost"}
                            not PDU_Session_Resource_List,
                            Cause set to "RadioNetwork"}
                        to the AMF entity
                    }

                }

            }  // End TP TP_NGAP_GNB_CMP_07_2_1
            }  // End TP TP_NGAP_GNB_CMP_07_2

        } //end Package UE_Context_Release_NG_RAN_node_initiated