Commit a0383a45 authored by kretzschmann's avatar kretzschmann
Browse files

update initial condition for the MME group

parent 2ecc03ea
Loading
Loading
Loading
Loading
+2 −0
Original line number Diff line number Diff line
@@ -183,6 +183,8 @@ Package Ngap_Common {
            - indicate
            - isCMIDLE
            - isCMCONNECTED
            - alreadyPreparedHandover
            - completedHandover
        ;
    } // End of Domain section

+57 −13
Original line number Diff line number Diff line
@@ -866,7 +866,7 @@ Package TP_AMF {
	
	        TP Id TP_NGAP_AMF_MMP_03
	        
	        Test objective "Verify that the AMF node successfully sends a HANDOVER_REQUEST message that contains mandatory IEs to the GNB."
	        Test objective "Verify that the AMF node successfully sends a HANDOVER REQUEST message that contains mandatory IEs to the GNB."
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.4.2.2" 
@@ -929,7 +929,8 @@ Package TP_AMF {
	        PICS Selection PICS_A2/2 and PICS_A4/3_4
	        
	        Initial conditions with {
        		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
        		the UE entity isRegisteredTo the AMF and
            	the UE entity hasEstablishedInitialContext
    		}
	        
	        Expected behaviour
@@ -981,7 +982,8 @@ Package TP_AMF {
		        PICS Selection PICS_A2/2 and PICS_A4/3_4
		        
		        Initial conditions with {
	        		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
	        		the UE entity isRegisteredTo the AMF and
            		the UE entity hasEstablishedInitialContext
	    		}
		        
		        Expected behaviour
@@ -1042,7 +1044,8 @@ Package TP_AMF {
	        PICS Selection PICS_A2/2 and PICS_A4/3_5
	        
	        Initial conditions with {
        		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
        		the UE entity isRegisteredTo the AMF and
        		the GNB entity alreadyPreparedHandover
    		}
	        
	        Expected behaviour
@@ -1068,6 +1071,45 @@ Package TP_AMF {
	            
    	} // End Group "Handover Cancellation"
    	
    	Group "Handover Success"
		{
			import all from Ngap_Common;
    		
    		Test Purpose {
		
		        TP Id TP_NGAP_AMF_MMP_09
		        
		        Test objective "Verify that the NG-RAN node successfully sends a Handover Success message to the AMF."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.4.8.2 and 9.2.3.15" 
		        
		        Config Id CFG_GNB_01
		        
		        PICS Selection PICS_A2/1 and PICS_A3/3_8
		        
				Initial conditions with {
            		the UE entity isRegisteredTo the AMF and
            		the GNB entity completedHandover
        		}
		        
		        Expected behaviour
		            ensure that {
		            	when {	                	
	                		the IUT entity indicate the initiation "of an UE handover success procedure"
                		}
		                then {
		                    the IUT entity sends a HANDOVER_SUCCESS containing  	
		                        AMF_UE_NGAP_ID,
		                        RAN_UE_NGAP_ID
		                    ;
		                    to the GNB entity
		                }
		            }    
		        } // End TP_NGAP_GNB_MMP_03
		        	
		} // End Group "Handover Success"
    	
    	Group "Downlink RAN Status Transfer"
    	{
    		import all from Ngap_Common;
@@ -1076,7 +1118,7 @@ Package TP_AMF {
	
	        TP Id TP_NGAP_AMF_MMP_07
	        
	        Test objective "Verify that the AMF node successfully sends a UPLINK RAN STATUS TRANSFER message that contains mandatory IEs."
	        Test objective "Verify that the AMF node successfully sends a DOWNLINK RAN STATUS TRANSFER message that contains mandatory IEs."
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.4.6.2" 
@@ -1086,16 +1128,17 @@ Package TP_AMF {
	        PICS Selection PICS_A2/2 and PICS_A4/3_6
	        
	        Initial conditions with {
        		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
        		the UE entity isRegisteredTo the AMF and
        		the GNB entity alreadyPreparedHandover
    		}
	        
	        Expected behaviour
	            ensure that {
	            	when {  
                		the IUT entity indicate a Uplink RAN Status Transfer procedure
                		the IUT entity indicate a Downlink RAN Status Transfer procedure
                	}
	                then {
	                    the IUT entity sends a UPLINK_RAN_STATUS_TRANSFER containing
	                    the IUT entity sends a DOWNLINK_RAN_STATUS_TRANSFER containing
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        RAN_Status_Transfer_Transparent_Container
@@ -1108,7 +1151,7 @@ Package TP_AMF {
	            
    	} // End Group "Downlink RAN Status Transfer"
    	
    	Group "Downlink RAN Status Transfer"
    	Group "Downlink RAN Early Status Transfer"
    	{
    		import all from Ngap_Common;
    		
@@ -1116,7 +1159,7 @@ Package TP_AMF {
	
	        TP Id TP_NGAP_AMF_MMP_08
	        
	        Test objective "Verify that the AMF node successfully sends a UPLINK RAN EARLY STATUS TRANSFER message that contains mandatory IEs."
	        Test objective "Verify that the AMF node successfully sends a DOWNLINK RAN EARLY STATUS TRANSFER message that contains mandatory IEs."
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.4.9.2" 
@@ -1126,16 +1169,17 @@ Package TP_AMF {
	        PICS Selection PICS_A2/2 and PICS_A4/3_9
	        
	        Initial conditions with {
        		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
        		the UE entity isRegisteredTo the AMF and
        		the GNB entity alreadyPreparedHandover
    		}
	        
	        Expected behaviour
	            ensure that {
	            	when {  
                		the IUT entity indicate a Uplink RAN Early Status Transfer procedure
                		the IUT entity indicate a Downlink RAN Early Status Transfer procedure
                	}
	                then {
	                    the IUT entity sends a UPLINK_RAN_EARLY_STATUS_TRANSFER containing
	                    the IUT entity sends a DOWNLINK_RAN_EARLY_STATUS_TRANSFER containing
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        Early_Status_Transfer_Transparent_Container
+10 −43
Original line number Diff line number Diff line
@@ -1230,7 +1230,8 @@ Package TP_GNB {
	        PICS Selection PICS_A2/1 and PICS_A3/3_4
	        
	        Initial conditions with {
        		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
        		the UE entity isRegisteredTo the AMF and
            	the UE entity hasEstablishedInitialContext
    		}
	        
	        Expected behaviour
@@ -1279,7 +1280,8 @@ Package TP_GNB {
	        PICS Selection PICS_A2/1 and PICS_A3/3_5
	        
	        Initial conditions with {
        		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
        		the UE entity isRegisteredTo the AMF and
        		the GNB entity alreadyPreparedHandover
    		}
	        
	        Expected behaviour
@@ -1308,7 +1310,7 @@ Package TP_GNB {
		
		        TP Id TP_NGAP_GNB_MMP_02
		        
		        Test objective "Verify that the NG-RAN node successfully send a Uplink RAN Status Transfer message to the AMF."
		        Test objective "Verify that the NG-RAN node successfully send a UPLINK RAN STATUS TRANSFER message to the AMF."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.4.6.2 and 9.2.3.13" 
@@ -1318,7 +1320,8 @@ Package TP_GNB {
		        PICS Selection PICS_A2/1 and PICS_A3/3_6
		        
				Initial conditions with {
            		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
            		the UE entity isRegisteredTo the AMF and
        			the GNB entity alreadyPreparedHandover
        		}
		        
		        Expected behaviour
@@ -1339,43 +1342,6 @@ Package TP_GNB {
		        }
		} // End Group "Uplink RAN Status Transfer"
		
		Group "Handover Success"
		{
			import all from Ngap_Common;
    		
    		Test Purpose {
		
		        TP Id TP_NGAP_GNB_MMP_03
		        
		        Test objective "Verify that the NG-RAN node successfully sends a Handover Success message to the AMF."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.4.8.2 and 9.2.3.15" 
		        
		        Config Id CFG_GNB_01
		        
		        PICS Selection PICS_A2/1 and PICS_A3/3_8
		        
				Initial conditions with {
            		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
        		}
		        
		        Expected behaviour
		            ensure that {
		            	when {	                	
	                		the IUT entity indicate the initiation "of an UE handover success procedure"
                		}
		                then {
		                    the IUT entity sends a HANDOVER_SUCCESS containing  	
		                        AMF_UE_NGAP_ID,
		                        RAN_UE_NGAP_ID
		                    ;
		                    to the AMF entity
		                }
		            }    
		        } // End TP_NGAP_GNB_MMP_03
		        	
		} // End Group "Handover Success"
		
		Group "Uplink RAN Early Status Transfer"
		{
@@ -1385,7 +1351,7 @@ Package TP_GNB {
		
		        TP Id TP_NGAP_GNB_MMP_04
		        
		        Test objective "Verify that the NG-RAN node successfully sends a Uplink RAN Early Status Transfer message to the AMF."
		        Test objective "Verify that the NG-RAN node successfully sends a UPLINK RAN EARLY STATUS TRANSFER message to the AMF."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.4.9.2 and 9.2.3.16" 
@@ -1395,7 +1361,8 @@ Package TP_GNB {
		        PICS Selection PICS_A2/1 and PICS_A3/3_9
		        
				Initial conditions with {
            		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
            		the UE entity isRegisteredTo the AMF and
        			the GNB entity alreadyPreparedHandover
        		}
		        
		        Expected behaviour