Commit 62b96e03 authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

One initial state and minor updates due to the rules

parent e689b9ff
Loading
Loading
Loading
Loading
+2 −0
Original line number Diff line number Diff line
@@ -151,11 +151,13 @@ Package Ngap_Common {
            - isRegisteredToAMF
            - hasEstablishedInitialContext
            - hasEstablishedPDUsession
            - hasEstablishedPDUsessionWithSameId
            - indicateConnectionEstablishmentIndicationProcedure
            - hasEstablished_NG_C_AssociationToAMF
            - hasNotEstablished_NG_C_AssociationToAMF
            - hasEstablishedTNL_AssociationToAMF
            - processTheUEderegistration
            - havingSentPDUSessionEstablishment
            //When Triggers
            - u_Plane_inactivity_timer_expires
            - hasSuccessfullyEstablishedTNLconnection
+1 −1
Original line number Diff line number Diff line
@@ -432,7 +432,7 @@ Package TP_AMF {
        
            TP Id TP_NGAP_AMF_CMP_03
        
            Test objective "Verify that the IUT sends a UE_CONTEXT_RELEASE_COMMAND after UE_CONTEXT_RELEASE_REQUEST to release the UE-associated logic NG-connection due to NG-RAN node generated reasons."
            Test objective "Verify that the IUT sends a UE_CONTEXT_RELEASE_COMMAND after UE_CONTEXT_RELEASE_REQUEST to release the UE-associated logic NG-connection due to GNB generated reasons."
        
            Reference 
                "ETSI TS 138 413 [1], Clauses 8.3.2, 8.3.3 and 9.2.2.5" 
+8 −7
Original line number Diff line number Diff line
@@ -24,7 +24,7 @@ Package TP_GNB {
		
        TP Id TP_NGAP_GNB_PDU_01 
        
        Test objective "Verify that the NG-RAN node successfully processes a PDU_SESSION_RESOURCE_SETUP_REQUEST and answers with PDU_SESSION_RESOURCE_SETUP_RESPONSE for successfully established PDU session."
        Test objective "Verify that the GNB successfully processes a PDU_SESSION_RESOURCE_SETUP_REQUEST and answers with PDU_SESSION_RESOURCE_SETUP_RESPONSE for successfully established PDU session."
        
        Reference 
            "ETSI TS 138 413 [1], Clauses 8.2.1.2, 9.2.1.1 and 9.2.1.2" 
@@ -34,7 +34,8 @@ Package TP_GNB {
        PICS Selection PICS_A2/1 and PICS_A3/1_1

        Initial conditions with {
            the UE entity isRegisteredToAMF
            the UE entity isRegisteredToAMF and
            the UE entity havingSentPDUSessionEstablishment
        }

        Expected behaviour
@@ -108,7 +109,7 @@ Package TP_GNB {

            TP Id TP_NGAP_GNB_CMP_07

            Test objective "Verify that the NG-RAN node successfully requests the AMF to release the UE-associated logical NG-connection due to user inactivity."
            Test objective "Verify that the GNB successfully requests the AMF to release the UE-associated logical NG-connection due to user inactivity."
            //from CM_CONNECTED to CM_IDLE state
            Reference 
                "ETSI TS 138 413 [1], Clauses 8.3.2.2 and 9.2.2.4" 
@@ -146,7 +147,7 @@ Package TP_GNB {

            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."
            Test objective "Verify that the GNB 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
@@ -300,7 +301,7 @@ Package TP_GNB {

            TP Id TP_NGAP_GNB_IMP_01
            
            Test objective "Verify that the GNB node sends an NG_SETUP_REQUEST message to the AMF after TNL establishment."
            Test objective "Verify that the GNB 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" 
@@ -357,7 +358,7 @@ Package TP_GNB {

            TP Id TP_NGAP_GNB_IMP_05
            
            Test objective "Verify that the GNB node successfully processes a full NG_RESET message and answers with NG_RESET_ACKNOWLEDGE to acknowledge the reset."
            Test objective "Verify that the GNB successfully processes a full NG_RESET message and answers with NG_RESET_ACKNOWLEDGE to acknowledge the reset."
            
            Reference 
                "ETSI TS 138 413 [1], Clauses 8.7.4.2.1, 9.2.6.11 and 9.2.6.12" 
@@ -392,7 +393,7 @@ Package TP_GNB {

            TP Id TP_NGAP_GNB_IMP_05_2
            
            Test objective "Verify that the GNB node successfully processes a partial NG_RESET message and answers with NG_RESET_ACKNOWLEDGE to acknowledge the partial reset."
            Test objective "Verify that the GNB successfully processes a partial NG_RESET message and answers with NG_RESET_ACKNOWLEDGE to acknowledge the partial reset."
            
            Reference 
                "ETSI TS 138 413 [1], Clauses 8.7.4.2.1, 9.2.6.11 and 9.2.6.12"