Commit 310808be authored by Steffen Ludtke's avatar Steffen Ludtke
Browse files

new TPs in section 8.4

parent ab234520
Loading
Loading
Loading
Loading
+167 −0
Original line number Diff line number Diff line
@@ -1101,6 +1101,173 @@ Package TP_GNB {
            	
    	} // End Group "Handover Preparation"
    	  	
    	Group "Path Switch Request"
    	{
    		import all from Ngap_Common;
    		
    		Test Purpose {
	
	        TP Id TP_NGAP_GNB_MMP_05
	        
	        Test objective "Verify that the AMF node successfully sends a PATH SWITCH REQUEST message that contains mandatory IEs to the AMF."
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.4.4.2" 
	        
	        Config Id CFG_AMF_01
	        
	        PICS Selection PICS_A3/5_1 //TODO: Not sure here. PIC means item 5.1 in table A3 but couldn't find either.
	        
	        Initial conditions with {
        		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
    		}
	        
	        Expected behaviour
	            ensure that {
	            	when {
	            		the IUT entity indicate the Path Switch Request
	            	}
	                then {
	                    the IUT entity sends a PATH_SWITCH_REQUEST containing  	
	                        RAN_UE_NGAP_ID,
	                        Source_AMF_UE_NGAP_ID,
	                        User_Location_Information,
	                        UE_Security_Capabilities,
	                        PDU_Session_Resources_to_be_Switched_in_Downlink_List containing
	                        	PDU_Session_Resources_to_be_Switched_in_Downlink_Item containing
	                        		PDU_SessionId,
	                        		Path_Switch_Request_Transfer
	                        		;
	                        	;
	                        ;	                        
	                    to the AMF entity
	                }
	                
	        	}
	            	
	            	
	    	} // End TP_NGAP_GNB_MMP_05
    	
    	} // End Group "Path Switch Request"
    	
    	Group "Uplink RAN Status Transfer"
		{
			import all from Ngap_Common;
    		
    		Test Purpose {
		
		        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."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.4.6.2" 
		        
		        Config Id CFG_GNB_01
		        
		        PICS Selection PICS_A3/5_1 //TODO: Not sure here. PIC means item 5.1 in table A3 but couldn't find either.
		        
				Initial conditions with {
            		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
        		}
		        
		        Expected behaviour
		            ensure that {
		            	when {	                	
	                		the IUT entity indicate a UE Uplink RAN Status Transfer
                		}
		                then {
		                    the IUT entity sends a UPLINK_RAN_STATUS_TRANSFER containing  	
		                        AMF_UE_NGAP_ID,
		                        RAN_UE_NGAP_ID,
		                        RAN_Status_Transfer_Transparent_Container
		                    ;
		                    to the AMF entity
		                }
		                
		        	} // End TP_NGAP_GNB_MMP_02
		        	
		        	
		        }
		} // 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" 
		        
		        Config Id CFG_GNB_01
		        
		        PICS Selection PICS_A3/5_1 //TODO: Not sure here. PIC means item 5.1 in table A3 but couldn't find either.
		        
				Initial conditions with {
            		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
        		}
		        
		        Expected behaviour
		            ensure that {
		            	when {	                	
	                		the IUT entity indicate a UE handover success
                		}
		                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"
		{
			import all from Ngap_Common;
    		
    		Test Purpose {
		
		        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."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.4.9.2" 
		        
		        Config Id CFG_GNB_01
		        
		        PICS Selection PICS_A3/5_1 //TODO: Not sure here. PIC means item 5.1 in table A3 but couldn't find either.
		        
				Initial conditions with {
            		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
        		}
		        
		        Expected behaviour
		            ensure that {
		            	when {	                	
	                		the IUT entity indicate a Uplink RAN Early Status Transfer
                		}
		                then {
		                    the IUT entity sends a UPLINK_RAN_EARLY_STATUS_TRANSFER containing  	
		                        AMF_UE_NGAP_ID,
		                        RAN_UE_NGAP_ID,
		                        Early_Status_Transfer_Transparent_Container
		                    ;
		                    to the AMF entity
		                }
		        	}
		        } // End TP_NGAP_GNB_MMP_04
		        
		} // End Group "Uplink RAN Early Status Transfer"
		
		
    } // End Group "8.4 UE Mobility Management Procedures"