Commit 52db537d authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

New proposals are commented and some part of behaviour was duplicated and therefore removed

parent a273e368
Loading
Loading
Loading
Loading
+34 −16
Original line number Diff line number Diff line
@@ -27,6 +27,7 @@ Package TP_AMF {
		
        TP Id TP_NGAP_AMF_PDU_01 
        
        //Proposal BP//Test objective "Verify that the IUT successfully processes a PDU Session Establishment Request and initiates the PDU Session Resource Setup procedure for a single PDU_Session_Resource."
        Test objective "Verify that the IUT successfully triggers the PDU Session Establishment procedure for a single PDU_Session_Resource."
        
        Reference 
@@ -39,6 +40,12 @@ Package TP_AMF {
        Initial conditions with {
            the UE entity isRegisteredToAMF
        }
        //Proposal BP
        //Initial conditions with {
        //    the UE entity isInCM-CONNECTEDstate and 
        //    the IUT entity hasActiveUeNgapContext and
        //    the IUT entity hasNoPduSessionResourceEstablishedForTheConcernedPduSessionId
        //}
        
        Expected behaviour
            ensure that {
@@ -94,6 +101,7 @@ Package TP_AMF {
		
        TP Id TP_NGAP_AMF_PDU_01_2 
        
        //Proposal BP//Test objective "Verify that the IUT successfully receives and processes the PDU_SESSION_RESOURCE_SETUP_RESPONSE message and completes the PDU Session Resource Setup procedure for a single PDU_Session_Resource."
        Test objective "Verify that the IUT successfully terminates the PDU Session Establishment procedure for a single PDU_Session_Resource."
        
        Reference 
@@ -106,6 +114,14 @@ Package TP_AMF {
        Initial conditions with {
            the UE entity hasreceived_PDU_SESSION_RESOURCE_SETUP_Trigger
        }
        //Proposal BP
        //Initial conditions with {
        //    the UE entity isInCM-CONNECTEDstate and 
        //    the IUT entity hasActiveUeNgapContext 
        //////one of following two options
        //    the IUT entity hasSentPDU_SESSION_RESOURCE_SETUP_REQUESTmessage
        //    or the IUT entity hasInitiatedThePduSessionResourceSetupProcedure
        //}
        
        Expected behaviour
            ensure that {
@@ -157,6 +173,7 @@ Package TP_AMF {
		
        TP Id TP_NGAP_AMF_PDU_02 
        
        //Proposal BP//Test objective "Verify that the IUT successfully processes a PDU Session Release request and initiates the PDU Session Resource Release procedure for a single PDU_Session_Resource."
        Test objective "Verify that the IUT successfully triggers a PDU_SESSION_RESOURCE_RELEASE procedure."
        
        Reference 
@@ -169,6 +186,12 @@ Package TP_AMF {
        Initial conditions with {
            the UE entity hasEstablishedPDUsession
        }
        //Proposal BP
        //Initial conditions with {
        //    the UE entity isInCM-CONNECTEDstate and 
        //    the IUT entity hasActiveUeNgapContext and
        //    the IUT entity hasEstablishedPduSessionResourceForTheConcernedPduSessionId
        //}
        
        Expected behaviour
            ensure that {
@@ -206,13 +229,6 @@ Package TP_AMF {
                            PDU_Session_Resource_Release_Command_Transfer containing
                              Cause indicating value PX_Cause;;;; //normal_release
                     to the GNB entity                        
                     and the IUT entity _accepts a PDU_SESSION_RESOURCE_RELEASE_RESPONSE containing
                        AMF_UE_NGAP_ID set to RV_AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID,
                        PDU_Session_Resource_To_Release_List containing
                          PDU_Session_Resource_To_Release_Item containing
                            PDU_SessionId indicating value PX_PDU_SessionId;;;                        
                     from the GNB entity                        
                }
            }
        } // end TP Id TP_NGAP_AMF_PDU_02
@@ -221,6 +237,7 @@ Package TP_AMF {
		
        TP Id TP_NGAP_AMF_PDU_02_2 
        
        //Proposal BP//Test objective "Verify that the IUT successfully receives and processes the PDU_SESSION_RESOURCE_RELEASE_RESPONSE message and completes the PDU Session Resource Release procedure for a single PDU_Session_Resource."
        Test objective "Verify that the IUT successfully terminates a PDU_SESSION_RESOURCE_RELEASE procedure."
        
        Reference 
@@ -233,6 +250,14 @@ Package TP_AMF {
        Initial conditions with {
            the UE entity hasreceived_PDU_SESSION_RELEASE_Trigger
        }
        //Proposal BP
        //Initial conditions with {
        //    the UE entity isInCM-CONNECTEDstate and 
        //    the IUT entity hasActiveUeNgapContext 
        //////one of following two options
        //    the IUT entity hasSentPDU_SESSION_RESOURCE_RELEASE_COMMANDmessage
        //    or the IUT entity hasInitiatedThePduSessionResourceReleaseProcedure
        //}
        
        Expected behaviour
            ensure that {
@@ -251,13 +276,6 @@ Package TP_AMF {
                            PDU_Session_Resource_Release_Command_Transfer containing
                              Cause indicating value PX_Cause;;;; //normal_release
                     to the GNB entity                       
                     and the IUT entity _accepts a PDU_SESSION_RESOURCE_RELEASE_RESPONSE containing
                        AMF_UE_NGAP_ID set to RV_AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID set to PX_RAN_UE_NGAP_ID,
                        PDU_Session_Resource_To_Release_List containing
                          PDU_Session_Resource_To_Release_Item containing
                            PDU_SessionId indicating value PX_PDU_SessionId;;;                        
                     from the GNB entity                        
                }
                then {
                    the IUT entity _accepts a PDU_SESSION_RESOURCE_RELEASE_RESPONSE containing