Commit 6ac80ac5 authored by kretzschmann's avatar kretzschmann
Browse files

finish initial condition for PAG and NAS group

parent a0383a45
Loading
Loading
Loading
Loading
+3 −0
Original line number Diff line number Diff line
@@ -145,6 +145,7 @@ Package Ngap_Common {
            - isNotConfiguredForTopologyHiding
            - isConfiguredForTopologyHiding
            - isExistingIn
            - isNotAppropriateToServe
            - establishedSecurityRelation
            - registeredIdentityTelURI
            - registeredIdentitySipURI
@@ -154,12 +155,14 @@ Package Ngap_Common {
            - hasEstablishedDialog
            - hasEstablishedPS2CSDialog
            - hasEstablishedInitialContext
            - hasEstablishedRRCConnection
            - isConfiguredWithENUMentryForTelURI_E164NumberOf
            - hasReceivedInitialRequestForDialog
            - hasReceived200OkOnInitialRequestForDialogWith
            - hasReceived180OnInitialRequest
            - hasReceived200OkCancel
            - hasReceivedTerminatedRequest
            - hasReceivedNASMessage
            - hasSuspendedContext
            - hasPendingDataTransmission
            - registeredPublicIdsWithTelUriAndSipUri
+17 −4
Original line number Diff line number Diff line
@@ -1213,7 +1213,6 @@ Package TP_AMF {
	        
	        PICS Selection PICS_A2/2 and PICS_A4/4_1
	        
	        // TODO: initial condition?
	        Initial conditions with {
        		the UE entity isRegisteredTo the AMF
    		}
@@ -1253,13 +1252,17 @@ Package TP_AMF {
	        Test objective "Verify that the IUT can send an DOWNLINK NAS TRANSPORT message to carry NAS information over the NG interface."
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.6.2.2 and 9.2.5.2" 
	            "ETSI TS 138 413 [1], Clauses 8.6.2.2 and 9.2.5.2",
	            "ETSI TS 123 502 [6], Clause 4.24.1"
	        
	        Config Id CFG_AMF_01
	        
	        PICS Selection PICS_A2/2 and PICS_A4/5_2
	        
	        //TODO: Section 8.6.2.1 describes additional triggers for the DOWNLINK NAS TRANSPORT
	        Initial conditions with {
        		the UE entity isCMCONNECTED and
        		the GNB entity hasReceivedNASMessage from the UE entity
    		}
	        
	        Expected behaviour
	            ensure that {
@@ -1303,10 +1306,20 @@ Package TP_AMF {
	        
	        PICS Selection PICS_A2/2 and PICS_A4/5_5
	        
	        Initial conditions with {
        		the AMF entity isNotAppropriateToServe the UE
    		}
	        
	        Expected behaviour
	            ensure that {
	                when {
	                    the IUT entity indicate the initiation "of a Reroute NAS Request procedure"
	                    the IUT entity receives an INITIAL_UE_MESSAGE containing
	                        RAN_UE_NGAP_ID,
	                        NAS_PDU,
	                        User_Location_Information,
	                        RRC_Establishmnet_Cause
	                     ;
	                     from the GNB entity
	                }
	                then {
	                    the IUT entity sends an REROUTE_NAS_REQUEST containing
+8 −13
Original line number Diff line number Diff line
@@ -1398,24 +1398,18 @@ Package TP_GNB {
	        Test objective "Verify that the IUT can send an INITIAL UE MESSAGE to indicate the initiation of a NAS Transport procedure"
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.6.1.2 and 9.2.5.1" 
	            "ETSI TS 138 413 [1], Clauses 8.6.1.2 and 9.2.5.1" ,
	            "ETSI TS 123 502 [6], Clause 4.24.1"
	        
	        Config Id CFG_GNB_01
	        
	        PICS Selection PICS_A2/1 and PICS_A3/5_1
	        
	        Initial conditions with {
        		the UE entity isCMIDLE in the GNB entity
        		the UE entity isCMIDLE and
        		the UE entity hasEstablishedRRCConnection
    		}
	        
	        /* TODO:
	         * 
	         * Maybe improve trigger (see sequence diagram 4.24.1-1 in ts_123501):
	         * If the UE is in CM-IDLE, the UE first establishes an RRC connection
	         * OR
	         * sends the RRCEarlyDataRequest message and sends a NAS message as part of this
	         * 
	         */
	        Expected behaviour
	            ensure that {
	                when {
@@ -1446,7 +1440,8 @@ Package TP_GNB {
	        Test objective "Verify that the IUT can send an UPLINK NAS TRANSPORT message to the AMF."
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.6.3.2 and 9.2.5.3" 
	            "ETSI TS 138 413 [1], Clauses 8.6.3.2 and 9.2.5.3",
	            "ETSI TS 123 502 [6], Clause 4.24.1"
	        
	        Config Id CFG_GNB_01
	        
@@ -1456,7 +1451,6 @@ Package TP_GNB {
        		the UE entity isCMCONNECTED in the GNB entity
    		}
	        
	        //TODO: More information about RRC UL message
	        Expected behaviour
	            ensure that {
	                when {
@@ -1486,13 +1480,14 @@ Package TP_GNB {
			
	        TP Id TP_NGAP_GNB_NAS_03 
	        
	        Test objective "Verify that the IUT can send a NAS Non Delivery Indication message to the AMF."
	        Test objective "Verify that the IUT can send a NAS NON DELIVERY INDICATION message to the AMF."
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.6.4.2 and 9.2.5.4" 
	        
	        Config Id CFG_GNB_01
	        
	        PICS Selection PICS_A2/1 and PICS_A3/5_4
	        
	        Initial conditions with {
        		the UE entity isNoLongerAvailable to the GNB entity