TP_AMF_NGAP2.tplan2

/*
Copyright (c) ETSI 2023.

This software is subject to copyrights owned by ETSI. Non-exclusive permission
is hereby granted, free of charge, to copy, reproduce and amend this file
under the following conditions: It is provided "as is", without warranty of any
kind, expressed or implied.

ETSI shall never be liable for any claim, damages, or other liability arising
from its use or inability of use.This permission does not apply to any documentation
associated with this file for which ETSI keeps all rights reserved. The present
copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
*/

/* interface at AMF */
Package TP_AMF {
    
      
    
    Group "8.2 PDU Session Management Procedures"
    {
    	import all from Ngap_Common;
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_AMF_PDU_01 
        
        Test objective "Verify that the IUT can send a  PDU SESSION RESOURCE SETUP REQUEST with at least one PDU session resource list to established PDU session."
        
        Reference 
            "ETSI TS 138 413 [1], Clauses 8.2.1.2" 
        
        Config Id CFG_AMF_01
        
        PICS Selection PICS_A2/2 and PICS_A4/1_1
        
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {  
                	the IUT entity indicate a PDU session management procedure
                }
                then {
                    the IUT entity sends a  PDU_SESSION_RESOURCE_SETUP_REQUEST containing 	
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Setup_Request_List containing
                            PDU_SessionId,
                            S_NSSAI,
                            PDU_Session_Resource_Setup_Request_Transfer;
                        ;
                     to the GNB entity
                	}
            	}
            
            } // end TP_NGAP_AMF_PDU_01
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_AMF_PDU_02 
        
        Test objective "Verify that the IUT can send a  PDU_SESSION_RESOURCE_RELEASE_COMMAND to release PDU session."
        
        Reference 
            "ETSI TS 138 413 [1], Clauses 8.2.1.2" 
        
        Config Id CFG_AMF_01
        
        PICS Selection PICS_A2/2 and PICS_A4/1_2
        
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                	the IUT entity indicate a PDU session resource release procedure
                }
                then {
                    the IUT entity sends a PDU_SESSION_RESOURCE_RELEASE_COMMAND containing  	
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_To_Release_List containing
                          PDU_Session_Resource_To_Release_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            S_NSSAI,
                            PDU_Session_Resource_Release_Command_Transfer containing
                              Cause indicating value PX_Cause; //normal_release
                            ;
                          ;
                        ;
                     to the GNB entity
                	}
            	}
            
            } // end TP_NGAP_AMF_PDU_02
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_AMF_PDU_03 
        
        Test objective "Verify that the IUT can send a  PDU_SESSION_RESOURCE_MODIFY_REQUEST to modify PDU session."
        
        Reference 
            "ETSI TS 138 413 [1], Clauses 8.2.3.2" 
        
        Config Id CFG_AMF_01
        
        PICS Selection PICS_A2/2 and PICS_A4/1_3
        
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                	the IUT entity indicate a PDU session resource modify procedure
                }
                then {
                    the IUT entity sends a PDU_SESSION_RESOURCE_MODIFY_REQUEST containing  	
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Modify_Request_List containing
                          PDU_Session_Resource_Modify_Request_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            PDU_Session_Resource_Modify_Request_Transfer containing
//                              UL_NG_U_UP_TNL_Modify_List containing
//                                UL_NG_U_UP_TNL_Modify_Item containing
//                                  UL_NG_U_UP_TNL_Information
//                                  DL_NG_U_UP_TNL_Information
//                                ;
//                              ;,
                              QoSFlowAddorModifyRequestList containing
                                QoSFlowAddorModifyRequestItem containing
                                  QoSFlowIdentifier;
                                ;
                              ;
                            ;
                          ;
                        ;
                     to the GNB entity
                	}
            	}
            
            } // end TP_NGAP_AMF_PDU_03
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_AMF_PDU_04 
        
        Test objective "Verify that the AMF node successfully processes a  PDU_SESSION_RESOURCE_MODIFY_INDICATION contains mandatory IEs and answers with PDU_SESSION_RESOURCE_MODIFY_CONFIRM for successfully modified PDU session."
        
        Reference 
            "ETSI TS 138 413 [1], Clause 8.2.5.2" 
        
        Config Id CFG_AMF_01
        
        PICS Selection PICS_A2/2 and PICS_A4/1_5
        
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a PDU_SESSION_RESOURCE_MODIFY_INDICATION containing   	
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Modify_Indication_List containing
                          PDU_Session_Resource_Modify_Indication_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            PDU_Session_Resource_Modify_Indication_Transfer containing
                              DLQoSFlowperTNLInformation containing
                                UPTransportLayerInformation,
                                AssociatedQoSFlowList containing
                                  AssociatedQoSFlowItem containing
                                    QoSFlowIdentifier indicating value PX_QoS_Flow_ID;
                                  ;
                                ;
                              ;
                            ;
                          ;
                        ;
                    from the GNB entity
                }
                then {
                    the IUT entity sends a PDU_SESSION_RESOURCE_MODIFY_CONFIRM containing
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Modify_Confirm_List containing
                          PDU_Session_Resource_Modify_Confirm_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            PDU_Session_Resource_Modify_Confirm_Transfer containing
                              QoSFlowModifyConfirmList containing
                                QoSFlowModifyConfirmItem containing
                                  QoSFlowIdentifier;
                                ;
                              ;,
                              UL_NG_U_UP_TNLInformation
                            ;
                          ;  
                        ;
                     to the GNB entity
               	}
           	}
            
        } // end TP_NGAP_AMF_PDU_04
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_AMF_PDU_05 
        
        Test objective "Verify that the AMF node processes a  PDU_SESSION_RESOURCE_MODIFY_INDICATION contains mandatory IEs and answers with PDU_SESSION_RESOURCE_MODIFY_CONFIRM for not successfully modified PDU session."
        
        Reference 
            "ETSI TS 138 413 [1], Clause 8.2.5.2" 
        
        Config Id CFG_AMF_01
        
        PICS Selection PICS_A2/2 and PICS_A4/1_5
        
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a PDU_SESSION_RESOURCE_MODIFY_INDICATION containing  	
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Modify_Indication_List containing
                          PDU_Session_Resource_Modify_Indication_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            PDU_Session_Resource_Modify_Indication_Transfer containing
                              DLQoSFlowperTNLInformation containing
                                UPTransportLayerInformation,
                                AssociatedQoSFlowList containing
                                  AssociatedQoSFlowItem containing
                                    QoSFlowIdentifier indicating value PX_QoS_Wrong_Flow_ID;
                                  ;
                                ;
                              ;
                            ;
                          ;
                        ;
                    from the GNB entity
                }
                then {
                    the IUT entity sends a PDU_SESSION_RESOURCE_MODIFY_CONFIRM containing
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Failed_To_Modify_List containing
                          PDU_Session_Resource_Failed_To_Modify_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            PDU_Session_Resource_Modify_Indication_Unsuccessful_Transfer containing
                              Cause;
                            ;
                          ;  
                        ;
                     to the GNB entity
               	}
           	}
            
        } // end TP_NGAP_AMF_PDU_05
    	
    } // end Group 8.2 PDU Session Management Procedures
    
    Group "8.3 UE Context Management Procedures"
    {
    	
    	Group "Initial Context Setup"
    	{
    		import all from Ngap_Common;
    		
    		Test Purpose {
		
        	TP Id TP_NGAP_AMF_CMP_01
        
        	Test objective "Verify that the IUT can send a INITIAL CONTEXT SETUP REQUEST contains mandatory IEs."
        
        	Reference 
            	"ETSI TS 138 413 [1], Clauses 8.3.1.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 a PDU initial context setup procedure
                	}
                	then {
	                    the IUT entity sends a INITIAL_CONTEXT_SETUP_REQUEST containing  	
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        GUAMI,
	                        PDU_Session_Resource_Setup_Request_List containing
	                        	PDU_Session_Resource_Setup_Request_Item containing
	                            	PDU_SessionId indicating value PX_PDU_ID,
	                            	S_NSSAI,
	                            	PDU_Session_Resource_Setup_Request_Transfer
	                            ;
	                        ;,
	                        Allowed_NSSAI,
	                        UE_Security_Capabilities,
	                        Security_Key
	                        ;
	                    to the GNB entity
                	}
	                
	            }
	            
			} // end TP_NGAP_AMF_CMP_01
    		
    	}
    	
    	Group "UE Context Release (AMF initiated)"
    	{
    		import all from Ngap_Common;
    	
    		Test Purpose {
		
        	TP Id TP_NGAP_AMF_CMP_08
        
        	Test objective "Verify that the IUT can send a UE CONTEXT RELEASE COMMAND that contains both the AMF UE NGAP ID IE and the RAN UE NGAP ID IE."
        
        	Reference 
            	"ETSI TS 138 413 [1], Clauses 8.3.3" 
        
        	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 a UE context release command
                	}
                	then {
	                    the IUT entity sends a UE_CONTEXT_RELEASE_COMMAND containing  	
	                        CHOICE_UE_NGAP_IDs containing
	                        	UE_NGAP_ID_pair containing               	
                        			AMF_UE_NGAP_ID,
                        			RAN_UE_NGAP_ID
                        		;	                        	
	                        ;
	                    ;
	                    to the GNB entity
	                	}
	                }
	            	
	            
	            } // end TP_NGAP_AMF_CMP_08
	            
	        Test Purpose {
		
        	TP Id TP_NGAP_AMF_CMP_11
        
        	Test objective "Verify that the IUT can send a UE CONTEXT RELEASE COMMAND where both the AMF UE NGAP ID IE and the RAN UE NGAP ID IE are not available."
        
        	Reference 
            	"ETSI TS 138 413 [1], Clauses 8.3.3" 
        
        	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 a UE context release command
                	}
                	then {
	                    the IUT entity sends a UE_CONTEXT_RELEASE_COMMAND containing  	
	                        CHOICE_UE_NGAP_IDs containing
	                        	AMF_UE_NGAP_ID containing               	
                        			AMF_UE_NGAP_ID
                        		;	                        	
	                        ;
	                    ;
	                    to the GNB entity
	                	}
	                }
	            	
	            
	            } // end TP_NGAP_AMF_CMP_11
	            
    	} // End Group "UE Context Release (AMF initiated)"
    	
    	Group "UE Context Modification"
    	{
    		
    		import all from Ngap_Common;
    		
    		Test Purpose {
		
		        TP Id TP_NGAP_AMF_CMP_02
		        
		        Test objective "Verify that the IUT can send a UE CONTEXT MODIFICATION REQUEST contains mandatory IEs."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.3.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 a PDU UE context modification procedure
                		}
		                then {
		                    the IUT entity sends a UE_CONTEXT_MODIFICATION_REQUEST containing  	
		                        AMF_UE_NGAP_ID,
		                        RAN_UE_NGAP_ID
		                        ;
		                    to the GNB entity
		                }
		                
		       		}
		                
            	
            	} // end TP TP_NGAP_AMF_CMP_02
            	
    	} // End Group UE Context Modification
    	
    	Group "Connection Establishment Indication"
    	{
    		import all from Ngap_Common;
    		
    		Test Purpose {
		
		        TP Id TP_NGAP_AMF_CMP_09
		        
		        Test objective "Verify that the IUT can send a Connection Establishment Indication that contains mandatory IEs."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.3.6.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 a PDU UE context modification procedure
                		}
		                then {
		                    the IUT entity sends a CONNECTION_ESTABLISHMENT_INDICATION containing  	
		                        AMF_UE_NGAP_ID,
		                        RAN_UE_NGAP_ID
		                        ;
		                    to the GNB entity
		                }
		                
		        	}
		                
		       	}  // End TP TP_NGAP_AMF_CMP_09
		       	
    	} // End Group "Connection Establishment Indication"
    	
    	Group "AMF CP Relocation Indication"
    	{
    		
    		import all from Ngap_Common;
    		
    		Test Purpose {
		
		        TP Id TP_NGAP_AMF_CMP_10
		        
		        Test objective "Verify that the IUT can send a AMF CP Relocation Indication that contains mandatory IEs."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.3.7.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 a AMF CP relocation indication procedure
                		}
		                then {
		                    the IUT entity sends a AMF_CP_RELOCATION_INDICATION containing  	
		                        AMF_UE_NGAP_ID,
		                        RAN_UE_NGAP_ID
		                        ;
		                    to the GNB entity
		                }
		                
		        	}
		                
		       	}  // End TP TP_NGAP_AMF_CMP_10
		       	
    	} // End Group "AMF CP Relocation Indication"
    	
    	Group "Retrieve UE information"
        {
        	
        	import all from Ngap_Common;
    		
    		Test Purpose {
		
		        TP Id TP_NGAP_GNB_CMP_12
		        
		        Test objective "Verify that the IUT can successfully request UE information from the AMF."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.3.9.2",
		            "ETSI TS 138 413 [1], Clauses 8.3.10.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 receives a RETRIEVE_UE_INFORMATION containing
	                			5G_S_TMSI containing
	                				AMF_Set_ID,
	                				AMF_Pointer,
	                				5G_TMSI
	                			;
	                		;
	                		from the GNB entity	
                		}
		                then {
		                    the IUT entity sends a UE_INFORMATION_TRANSFER containing  	
		                        5G_S_TMSI containing
	                				AMF_Set_ID,
	                				AMF_Pointer,
	                				5G_TMSI
	                			;
	                		;
		                    to the GNB entity
		                }
		                
		        	}
		                
		       	}  // End TP TP_NGAP_GNB_CMP_12
        	
        } // End Group "Retrieve UE information"
    	
    	Group "UE Context Suspend"
            {
            	import all from Ngap_Common;
            	
            	Test Purpose {
		
		        TP Id TP_NGAP_AMF_CMP_05
		        
		        Test objective "Verify that the AMF node successfully processes a UE CONTEXT SUSPEND REQUEST contains mandatory IEs and answers with UE CONTEXT SUSPEND REQUEST RESPONSE with successfully suspend UE context."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.3.11.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 receives a UE_CONTEXT_SUSPEND_REQUEST containing  	
		                        AMF_UE_NGAP_ID,
		                        RAN_UE_NGAP_ID,
		                        PDU_Session_Resource_Suspend_List containing
		                        	PDU_Session_Resource_Suspend_Item containing
		                        		PDU_SessionId,
		                        	 	UE_Context_Suspend_Request_Transfer
		                        	;
		                        ;
		                    ;
		                    from the GNB entity
		                }
		                then {
		                    the IUT entity sends a UE_CONTEXT_SUSPEND_RESPONSE containing
		                        AMF_UE_NGAP_ID,
		                        RAN_UE_NGAP_ID
		                        ;
		                     to the GNB entity
		                	}
		            	}
            	
            	} // end TP TP_NGAP_AMF_CMP_05
            	
            	Test Purpose {
		
		        TP Id TP_NGAP_AMF_CMP_06
		        
		        Test objective "Verify that the AMF node successfully processes a UE CONTEXT SUSPEND REQUEST contains mandatory IEs and answers with UE CONTEXT SUSPEND FAILURE with failed suspension."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.3.11.3" 
		        
		        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 receives a UE_CONTEXT_SUSPEND_REQUEST containing  	
		                        AMF_UE_NGAP_ID,
		                        RAN_UE_NGAP_ID,
		                        PDU_Session_Resource_Suspend_List containing
		                        	PDU_Session_Resource_Suspend_Item containing
		                        		PDU_SessionId indicating value PX_PDU_ID,
		                        	 	UE_Context_Suspend_Request_Transfer
		                        	;
		                        ;
		                    ;
		                    from the GNB entity
		                }
		                then {
		                    the IUT entity sends a UE_CONTEXT_SUSPEND_FAILURE containing
		                        AMF_UE_NGAP_ID,
		                        RAN_UE_NGAP_ID,
		                        Cause
		                        ;
		                     to the GNB entity
		                	}
		            	}
            	
            	} // end TP TP_NGAP_AMF_CMP_06
            	
            }// end Group UE Context Suspend
            
        Group "UE Context Resume"
        {
        	import all from Ngap_Common;
        	
        	Test Purpose {
	
	        TP Id TP_NGAP_AMF_CMP_07
	        
	        Test objective "Verify that the AMF node successfully processes a UE CONTEXT RESUME REQUEST contains mandatory IEs and answers with UE CONTEXT RESUME RESPONSE with successfully resume UE context."
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.3.12.3" 
	        
	        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 receives a UE_CONTEXT_RESUME_REQUEST containing  	
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        RRC_Resume_Cause,
	                        PDU_Session_Resource_Resume_List containing
	                        	PDU_Session_Resource_Resume_Item containing
	                        		PDU_SessionId indicating value PX_PDU_ID,
	                        		UE_Context_Resume_Request_Transfer
	                        	;
	                        ;
	                    ;
	                    from the GNB entity
	                }
	                then {
	                    the IUT entity sends a UE_CONTEXT_RESUME_RESPONSE containing
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        PDU_Session_Resource_Resume_List containing
	                        	PDU_Session_Resource_Resume_Item containing
	                        		PDU_SessionId indicating value PX_PDU_ID,
	                        	 	UE_Context_Resume_Response_Transfer
	                        	;
	                        ;
	                     ;
	                     to the GNB entity
	                	}
	            	}
        	
        	} // end TP TP_NGAP_AMF_CMP_07
        	
        	
        } // end Group "UE Context Resume"
            
    } // End Group 8.3 UE Context Management Procedures
    
    Group "8.4 UE Mobility Management Procedures"
    {
    	
    	Group "Handover Preparation"
    	{
    		import all from Ngap_Common;
            	
        	Test Purpose {
	
	        TP Id TP_NGAP_AMF_MMP_01
	        
	        Test objective "Verify that the AMF node successfully processes a HANDOVER REQUIRED message contains mandatory IEs and answers with HANDOVER COMMAND with successfully handover."
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.4.1.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 receives a HANDOVER_REQUIRED containing  	
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        Handover_Typ,
	                        Cause,
	                        Target_ID,
	                        PDU_Session_Resource_List containing
	                        	PDU_Session_Resource_Item containing
		                        	PDU_SessionId indicating value PX_PDU_ID,
		                        	Handover_Required_Transfer
	                        	;
	                        ;,
	                        Source_to_Target_Transparent_Container
	                    ;
	                    from the GNB entity
	                }
	                then {
	                    the IUT entity sends a HANDOVER_COMMAND containing
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        Handover_Type,
	                        PDU_Session_Resource_Handover_List containing
	                        	PDU_Session_Resource_Handover_Item containing
	                        		PDU_SessionId indicating value PX_PDU_ID,
	                        		Handover_Command_Transfer
	                        	;
	                        ;
	                     ;
	                     to the GNB entity
	                	}
	            	}
            	
            	} // end TP TP_NGAP_AMF_MMP_01
            	
            	Test Purpose {
	
	        TP Id TP_NGAP_AMF_MMP_02
	        
	        Test objective "Verify that the AMF node successfully processes a HANDOVER REQUIRED message contains mandatory IEs and answers with IHANDOVER PREPARATION FAILURE with failed handover."
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.4.1.3" 
	        
	        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 receives a HANDOVER_REQUIRED containing  	
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        Handover_Typ,
	                        Cause,
	                        Target_ID,
	                        PDU_Session_Resource_List containing
	                        	PDU_Session_Resource_Item containing
		                        	PDU_SessionId,
		                        	Handover_Required_Transfer           	
	                        	;
	                        ;,
	                        Source_to_Target_Transparent_Container
	                    ;
	                    from the GNB entity
	                }
	                then {
	                    the IUT entity sends a HANDOVER_PREPARATION_FAILURE containing
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        Cause
	                        ;
	                     to the GNB entity
	                	}
	            	}
            	
            	} // end TP TP_NGAP_AMF_MMP_02
            	
            	
            	
    	} // End Group "Handover Preparation"
    	
    	Group "Handover Resource Allocation"
    	{
    		import all from Ngap_Common;
    		
    		Test Purpose {
	
	        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."
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.4.2.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 a Handover Request procedure
                		}
	                then {
	                    the IUT entity sends a HANDOVER_REQUEST containing  	
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        Handover_Typ,
	                        Cause,
	                        UE_Aggregate_Maximum_Bit_Rate,
	                        UE_Security_Capabilitues
	                        PDU_Session_Setup_Resource_List containing
	                        	PDU_Session_Setup_Resource_Item containing
	                        		PDU_SessionId,
	                        		S_NSSAI,
	                        		Handover_Request_Transfer
	                        	;
	                        ;,
	                        Allowed_NSSAI,
	                        Source_to_Target_Transparent_Container,
	                        GUAMI        	
	                        ;
	                    to the GNB entity
	                }
	        	}
            	
        	} // end TP TP_NGAP_AMF_MMP_03
            	
    	} // End Group "Handover Resource Allocation"
    	   	
    	Group "Path Switch Request"
    	{
    		import all from Ngap_Common;
    		
    		Test Purpose {
	
	        TP Id TP_NGAP_AMF_MMP_04
	        
	        Test objective "Verify that the AMF node successfully processes a PATH SWITCH REQUEST message that contains mandatory IEs and answers with PATH SWITCH REQUEST ACKNOWLEDGE to acknowledge the path switch."
	        
	        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 receives 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
	                        		;
	                        	;
	                        ;	                        
	                    from the GNB entity
	                }
	                then {
	                    the IUT entity sends a PATH_SWITCH_REQUEST_ACKNOWLEDGE containing
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        Security_Context
	                        PDU_Session_Resource_Switched_List containing
	                        	PDU_Session_Resource_Switched_Item containing
	                        		PDU_SessionId,
	                        		Path_Switch_Request_Acknowledge_Transfer
	                        		;
	                        	;
	                        ;
	                     to the GNB entity
	                	}
	            	}
	            	
	            } // End TP_NGAP_AMF_MMP_04
	            
	            Test Purpose {
	
		        TP Id TP_NGAP_AMF_MMP_05
		        
		        Test objective "Verify that the AMF node successfully processes a PATH SWITCH REQUEST message that contains mandatory IEs and two PDU Sessions with same ID and answers with PATH SWITCH REQUEST FAILURE."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.4.4.4" 
		        
		        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 receives 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
		                        		;,
		                        	PDU_Session_Resources_to_be_Switched_in_Downlink_Item containing
		                        		PDU_SessionId,
		                        		Path_Switch_Request_Transfer
		                        		;
		                        	;
		                        ;	                        
		                    from the GNB entity
		                }
		                then {
		                    the IUT entity sends a PATH_SWITCH_REQUEST_FAILURE containing
		                        AMF_UE_NGAP_ID,