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

Update related to PDU TPs

parent c0a00d56
Loading
Loading
Loading
Loading
+16 −40
Original line number Diff line number Diff line
@@ -27,8 +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."
        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."
        
        Reference 
            "ETSI TS 138 413 [1], Clauses 8.2.1.2 and 9.2.1.1" 
@@ -38,14 +37,10 @@ Package TP_AMF {
        PICS Selection PICS_A2/2 and PICS_A4/1_1
        
        Initial conditions with {
            the UE entity isRegisteredToAMF
            the UE entity isInCM_CONNECTED and 
            the IUT entity hasActiveUeNgapContext and
            the IUT entity hasNoPduSessionResourceEstablishedForTheConcernedPduSessionId
        }
        //Proposal BP
        //Initial conditions with {
        //    the UE entity isInCM_CONNECTEDstate and 
        //    the IUT entity hasActiveUeNgapContext and
        //    the IUT entity hasNoPduSessionResourceEstablishedForTheConcernedPduSessionId
        //}
        
        Expected behaviour
            ensure that {
@@ -101,8 +96,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."
        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."
        
        Reference 
            "ETSI TS 138 413 [1], Clauses 8.2.1.2 and 9.2.1.1" 
@@ -112,16 +106,10 @@ Package TP_AMF {
        PICS Selection PICS_A2/2 and PICS_A4/1_1
        
        Initial conditions with {
            the UE entity hasreceived_PDU_SESSION_RESOURCE_SETUP_Trigger
            the UE entity isInCM_CONNECTED and 
            the IUT entity hasActiveUeNgapContext 
            the IUT entity hasSentPDU_SESSION_RESOURCE_SETUP_REQUEST
        }
        //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 {
@@ -173,8 +161,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."
        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."
        
        Reference 
            "ETSI TS 138 413 [1], Clauses 8.2.2.2 and 9.2.1.3" 
@@ -184,14 +171,10 @@ Package TP_AMF {
        PICS Selection PICS_A2/2 and PICS_A4/1_2
        
        Initial conditions with {
            the UE entity hasEstablishedPDUsession
            the UE entity isInCM_CONNECTED and 
            the IUT entity hasActiveUeNgapContext and
            the IUT entity hasEstablishedPduSessionResourceForTheConcernedPduSessionId
        }
        //Proposal BP
        //Initial conditions with {
        //    the UE entity isInCM_CONNECTEDstate and 
        //    the IUT entity hasActiveUeNgapContext and
        //    the IUT entity hasEstablishedPduSessionResourceForTheConcernedPduSessionId
        //}
        
        Expected behaviour
            ensure that {
@@ -237,8 +220,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."
        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."
        
        Reference 
            "ETSI TS 138 413 [1], Clauses 8.2.2.2 and 9.2.1.3" 
@@ -248,16 +230,10 @@ Package TP_AMF {
        PICS Selection PICS_A2/2 and PICS_A4/1_2
        
        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
        //}
            the UE entity isInCM_CONNECTED and 
            the IUT entity hasActiveUeNgapContext 
            the IUT entity hasSentPDU_SESSION_RESOURCE_RELEASE_COMMAND
        }
        
        Expected behaviour
            ensure that {