TP_GNB_NGAP.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 GNB */
Package TP_GNB {
    
      
    
    Group "8.2 PDU Session Management Procedures"
    {
    	import all from Ngap_Common;
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_GNB_PDU_01 
        
        Test objective "Verify that the NG-RAN node successfully processes a  PDU SESSION RESOURCE SETUP REQUEST contains mandatory IEs and answers with PDU SESSION RESOURCE SETUP RESPONSE for successfully established PDU session."
        
        Reference 
            "ETSI TS 138 413 [1], Clause 8.2.1.2" 
        
        Config Id CFG_GNB_01
        
        PICS Selection PICS_A3/5_1
        
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a PDU_SESSION_RESOURCE_SETUP_REQUEST containing  	
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        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 containing
                              UL_NG_U_UP_TNL,
                              PDU_SessionType,
                              QoSFlowSetupRequestList containing
                                QoSFlowSetupRequestItem containing
                                  QoSFlowIndicator,
                                  QoSFlowLevelQoSParameters;
                                ;
                              ;
                            ;
                          ;
                        ;
                    from the AMF entity
                }
                then {
                    the IUT entity sends a  PDU_SESSION_RESOURCE_SETUP_RESPONSE containing
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Setup_Response_List containing
                          PDU_Session_Resource_Setup_Response_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            PDU_Session_Resource_Setup_Response_Transfer containing
                              DL_QoS_Flow_per_TNL_Information;
                            ;
                          ;  
                        ;
                     to the AMF entity
               	}
           	}
            
        } // end TP_NGAP_GNB_PDU_01
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_GNB_PDU_02 
        
        Test objective "Verify that the NG-RAN node reports the establishment of the corresponding PDU session as failed if a PDU SESSION RESOURCE SETUP REQUEST contains several PDU Session ID IEs set to the same value."
        
        Reference 
            "ETSI TS 138 413 [1], Clause 8.2.1.4" 
        
        Config Id CFG_GNB_01
        
        PICS Selection PICS_A3/5_1
        
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a PDU_SESSION_RESOURCE_SETUP_REQUEST containing  	
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        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 containing
                              UL_NG_U_UP_TNL,
                              PDU_SessionType,
                              QoSFlowSetupRequestList containing
                                QoSFlowSetupRequestItem containing
                                  QoSFlowIndicator,
                                  QoSFlowLevelQoSParameters;
                                ;
                              ;
                            ;,
                          PDU_Session_Resource_Setup_Request_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            S_NSSAI,
                            PDU_Session_Resource_Setup_Request_Transfer containing
                              UL_NG_U_UP_TNL,
                              PDU_SessionType,
                              QoSFlowSetupRequestList containing
                                QoSFlowSetupRequestItem containing
                                  QoSFlowIndicator,
                                  QoSFlowLevelQoSParameters;
                                ;
                              ;
                            ;  
                          ;
                        ;
                    from the AMF entity
                }
                then {
                    the IUT entity sends a  PDU_SESSION_RESOURCE_SETUP_RESPONSE containing
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Failed_to_Setup_List containing
                          DU_Session_Resource_Failed_to_Setup_Item containing
                            PDU_SessionId,
                            PDU_Session_Resource_Setup_Unsuccessful_Transfer containing
                              Cause indicating value MultiplePDUSessionIDInstances;
                            ;
                          ;
                        ;
                     to the AMF entity
                }
            }
            
        } // end TP_NGAP_GNB_PDU_02
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_GNB_PDU_03 
        
        Test objective "Verify that the NG-RAN node reports the establishment of the new PDU session as failed if a PDU SESSION RESOURCE SETUP REQUEST contains a PDU Session ID IE set to value that identifies an active PDU Session. NOTE: Run TP_NGAP_GNB_PDU_01 before this TP "
        
        Reference 
            "ETSI TS 138 413 [1], Clause 8.2.1.4" 
        
        Config Id CFG_GNB_01
        
        PICS Selection PICS_A3/5_1
        
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a PDU_SESSION_RESOURCE_SETUP_REQUEST containing  	
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        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 containing
                              UL_NG_U_UP_TNL,
                              PDU_SessionType,
                              QoSFlowSetupRequestList containing
                                QoSFlowSetupRequestItem containing
                                  QoSFlowIndicator,
                                  QoSFlowLevelQoSParameters;
                                ;
                              ;
                            ;  
                          ;
                        ;
                    from the AMF entity
                }
                then {
                    the IUT entity sends a  PDU_SESSION_RESOURCE_SETUP_RESPONSE containing
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Failed_to_Setup_List containing
                          DU_Session_Resource_Failed_to_Setup_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            PDU_Session_Resource_Setup_Unsuccessful_Transfer containing
                              Cause indicating value MultiplePDUSessionIDInstances;
                            ;
                          ;
                        ;
                     to the AMF entity
                }
            }
            
        } // end TP_NGAP_GNB_PDU_03
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_GNB_PDU_04 
        
        Test objective "Verify that the NG-RAN node reports the establishment of the corresponding PDU session as failed if a PDU SESSION RESOURCE SETUP REQUEST contains a QoS Flow Setup Request List IE in the PDU Session Resource Setup Request Transfer IE including at least one Non-GBR QoS flow but the PDU Session Aggregate Maximum Bit Rate IE is not present. "
        
        Reference 
            "ETSI TS 138 413 [1], Clause 8.2.1.4" 
        
        Config Id CFG_GNB_01
        
        PICS Selection PICS_A3/5_1
        
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a PDU_SESSION_RESOURCE_SETUP_REQUEST containing  	
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        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 containing
                              UL_NG_U_UP_TNL,
                              PDU_SessionType,
                              QoSFlowSetupRequestList containing
                                QoSFlowSetupRequestItem containing
                                  QoSFlowIndicator indicating value Non_GBR_QoS,
                                  QoSFlowLevelQoSParameters;
                                ;
                              ;
                            ;  
                          ;,
                        not UEAggregateMaximumBitRate
                        ;
                    from the AMF entity
                }
                then {
                    the IUT entity sends a  PDU_SESSION_RESOURCE_SETUP_RESPONSE containing
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Failed_to_Setup_List containing
                          DU_Session_Resource_Failed_to_Setup_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            PDU_Session_Resource_Setup_Unsuccessful_Transfer containing
                              Cause indicating value InvalidQoSCombination;
                            ;
                          ;
                        ;
                     to the AMF entity
                }
            }
            
        } // end TP_NGAP_GNB_PDU_04
            
        //TODO:possible to add 2 tests from 8.2.1.4 paragraph 4
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_GNB_PDU_05 
        
        Test objective "Verify that the NG-RAN node successfully processes a  PDU SESSION RESOURCE RELEASE COMMAND contains mandatory IEs and answers with PDU SESSION RESOURCE RELEASE RESPONSE to release PDU session."
        
        Reference 
            "ETSI TS 138 413 [1], Clause 8.2.2.2" 
        
        Config Id CFG_GNB_01
        
        PICS Selection PICS_A3/5_1
        
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives 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
                            ;
                          ;
                        ;
                    from the AMF entity
                }
                then {
                    the IUT entity sends a  PDU_SESSION_RESOURCE_RELEASE_RESPONSE containing
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Released_List containing
                          PDU_Session_Resource_Released_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            PDU_Session_Resource_Release_Response_Transfer;
                          ;  
                        ;
                     to the AMF entity
                }
            }
            
        } // end TP_NGAP_GNB_PDU_05
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_GNB_PDU_06 
        
        Test objective "Verify that the NG-RAN node successfully processes a  PDU SESSION RESOURCE RELEASE COMMAND containing multiple PDU Session ID IEs set to the same value and ignore the duplication."
        
        Reference 
            "ETSI TS 138 413 [1], Clause 8.2.2.2" 
        
        Config Id CFG_GNB_01
        
        PICS Selection PICS_A3/5_1
        
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives 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
                            ;,
                          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
                            ;
                          ;
                        ;
                    from the AMF entity
                }
                then {
                    the IUT entity sends a  PDU_SESSION_RESOURCE_RELEASE_RESPONSE containing
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Released_List containing
                          PDU_Session_Resource_Released_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            PDU_Session_Resource_Release_Response_Transfer;
                          ;  
                        ;
                     to the AMF entity
                }
            }
            
        } // end TP_NGAP_GNB_PDU_06
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_GNB_PDU_07 
        
        Test objective "Verify that the NG-RAN node successfully processes a  PDU SESSION RESOURCE MODIFY REQUEST contains mandatory IEs and answers with PDU SESSION RESOURCE MODIFY RESPONSE for successfully modified PDU session."
        
        Reference 
            "ETSI TS 138 413 [1], Clause 8.2.3.2" 
        
        Config Id CFG_GNB_01
        
        PICS Selection PICS_A3/5_1
        
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives 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;
                                ;
                              ;
                            ;
                          ;
                        ;
                    from the AMF entity
                }
                then {
                    the IUT entity sends a  PDU_SESSION_RESOURCE_MODIFY_RESPONSE containing
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Modify_Response_List containing
                          PDU_Session_Resource_Modify_Response_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            PDU_Session_Resource_Modify_Response_Transfer containing
                              QoSFlowAddorModifyResponsetList containing
                                QoSFlowAddorModifyResponsetItem containing
                                  QoSFlowIdentifier;
                                ;
                              ;
                            ;
                          ;  
                        ;
                     to the AMF entity
                }
            }
            
        } // end TP_NGAP_GNB_PDU_07
            
        //TODO:possible to add tests from 8.2.3.4 for failed actions
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_GNB_PDU_08 
        
        Test objective "Verify that the IUT can send a  PDU_SESSION_RESOURCE_NOTIFY that already established QoS flow or PDU session for given UE are release."
        
        Reference 
            "ETSI TS 138 413 [1], Clauses 8.2.4.2" 
        
        Config Id CFG_GNB_01
        
        PICS Selection PICS_A3/5_1
        
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                	the IUT entity indicate a PDU session resource notify procedure
                }
                then {
                    the IUT entity sends a PDU_SESSION_RESOURCE_NOTIFY containing  	
                        AMF_UE_NGAP_ID,
                        RAN_UE_NGAP_ID,
                        PDU_Session_Resource_Released_List containing
                          PDU_Session_Resource_Released_Item containing
                            PDU_SessionId indicating value PX_PDU_ID,
                            S_NSSAI,
                            PDU_Session_Resource_Notify_Released_Transfer containing
                              Cause;
                            ;
                          ;
                        ;
                     to the AMF entity
                	}
            	}
            
            } // end TP_NGAP_GNB_PDU_08
    	 
    	Test Purpose {
		
        TP Id TP_NGAP_GNB_PDU_09 
        
        Test objective "Verify that the IUT can send a PDU_SESSION_RESOURCE_MODIFY_INDICATION to request modification of established PDU session."
        
        Reference 
            "ETSI TS 138 413 [1], Clauses 8.2.5.2" 
        
        Config Id CFG_GNB_01
        
        PICS Selection PICS_A3/5_1
        
        Initial conditions with {
            the UE entity isRegisteredTo the AMF
        }
        
        Expected behaviour
            ensure that {
                when {
                	the IUT entity indicate a PDU session resource modify indicationy procedure
                }
                then {
                    the IUT entity sends 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;
                            ;
                          ;
                        ;
                     to the AMF entity
                	}
            	}
            
            } // end TP_NGAP_GNB_PDU_09
    	
    } // end Group 8.2 PDU Session Management Procedures
    
    Group "8.3 UE Context Management Procedures"
    {
    	import all from Ngap_Common;
    	
    	Group "Initial Context Setup" 
        {
        	import all from Ngap_Common;
    	
    		Test Purpose {
		
        	TP Id TP_NGAP_GNB_CMP_01
        
        	Test objective "Verify that the NG-RAN node successfully processes a INITIAL CONTEXT SETUP REQUEST contains mandatory IEs and answers with INITIAL CONTEXT SETUP RESPONSE with successfully established UE context."
        
        	Reference 
            	"ETSI TS 138 413 [1], Clauses 8.3.1.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
        	}
        
	        Expected behaviour
	            ensure that {
	                when {
	                    the IUT entity receives 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
	                        ;
	                    from the AMF entity
	                }
	                then {
	                    the IUT entity sends a INITIAL_CONTEXT_SETUP_RESPONSE containing
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        PDU_Session_Resource_Setup_Response_List containing
	                            PDU_SessionId,
	                            PDU_Session_Resource_Setup_Response_Transfer;
	                        ;
	                     to the AMF entity
	                	}
	            	}
	            
	            } // end TP_NGAP_GNB_CMP_01
            
	        Test Purpose {
			
	        TP Id TP_NGAP_GNB_CMP_02
	        
	        Test objective "Verify that the NG-RAN node successfully processes a INITIAL CONTEXT SETUP REQUEST contains mandatory IEs and answers with INITIAL CONTEXT SETUP RESPONSE with failed PDU session."
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.3.1.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 receives 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,
		                            S_NSSAI,
		                            PDU_Session_Resource_Setup_Request_Transfer
		                        ;
		                    ;,
	                        Allowed_NSSAI,
	                        UE_Security_Capabilities,
	                        Security_Key
	                        ;
	                    from the AMF entity
	                }
	                then {
	                    the IUT entity sends a INITIAL_CONTEXT_SETUP_RESPONSE containing
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        PDU_Session_Resource_Failed_to_Setup_List containing
	                            PDU_SessionId indicating value PX_PDU_ID,
	                            PDU_Session_Resource_Setup_Unsuccessful_Transfer;
	                        ;
	                     to the AMF entity
	                	}
	            	}
	            
	            } // end TP_NGAP_GNB_CMP_02
         	} // end Group Initial Context Setup
         	
        Group "UE Context Release (NG-RAN node initiated)"
        {
        	
        	import all from Ngap_Common;
    		
    		Test Purpose {
		
		        TP Id TP_NGAP_GNB_CMP_10
		        
		        Test objective "Verify that the NG-RAN node successfully requests the AMF to release the UE-associated logical NG-connection."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.3.2.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 context release request
                		}
		                then {
		                    the IUT entity sends a UE_CONTEXT_RELEASE_REQUEST containing  	
		                        AMF_UE_NGAP_ID,
		                        RAN_UE_NGAP_ID
		                        PDU_Session_Resource_List containing
		                        	PDS_Session_Resource_Item containing
		                        		PDU_Session_ID indicating value PX_PDU_ID
		                        	;
		                        ;,
		                        Cause
		                    ;
		                    to the AMF entity
		                }
		                
		        	}
		                
		       	}  // End TP TP_NGAP_GNB_CMP_10
        	
        } // End Group "UE Context Release (NG-RAN node initiated)"
    
    	Group "UE Context Release (AMF initiated)"
    	{
    		import all from Ngap_Common;
    	
    		Test Purpose {
		
        	TP Id TP_NGAP_GNB_CMP_07
        
        	Test objective "Verify that the NG-RAN node successfully processes a UE CONTEXT RELEASE COMMAND that contains both the AMF UE NGAP ID IE and the RAN UE NGAP ID IE and answers with UE CONTEXT RELEASE COMPLETE with successfully release UE context."
        
        	Reference 
            	"ETSI TS 138 413 [1], Clauses 8.3.3" 
        
        	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
        	}
        
	        Expected behaviour
	            ensure that {
	                when {
	                    the IUT entity receives a UE_CONTEXT_RELEASE_COMMAND containing  	
	                        CHOICE_UE_NGAP_IDs containing                    	
                        		UE_NGAP_ID_pair containing
                        			AMF_UE_NGAP_ID,
                        			RAN_UE_NGAP_ID
                        		;	                        	
	                        ;
	                    ;
	                    from the AMF entity
	                }
	                then {
	                    the IUT entity sends a UE_CONTEXT_RELEASE_COMPLETE containing
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        PDU_Session_Resource_List containing
	                        	PDU_Session_Resource_Item containing
	                            	PDU_SessionId indicating value PX_PDU_ID,
	                            	PDU_Session_Resource_Release_Response_Transfer
	                            ;
	                        ;
	                     ;
	                     to the AMF entity
	                	}
	            	}
	            
	            } // end TP_NGAP_GNB_CMP_07
	            
	            Test Purpose {
		
        	TP Id TP_NGAP_GNB_CMP_09
        
        	Test objective "Verify that the NG-RAN node successfully processes a UE CONTEXT RELEASE COMMAND where both the AMF UE NGAP ID IE and the RAN UE NGAP ID IE are not available and answers with UE CONTEXT RELEASE COMPLETE with successfully release UE context."
        
        	Reference 
            	"ETSI TS 138 413 [1], Clauses 8.3.3" 
        
        	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
        	}
        
	        Expected behaviour
	            ensure that {
	                when {
	                    the IUT entity receives a UE_CONTEXT_RELEASE_COMMAND containing  	
	                        CHOICE_UE_NGAP_IDs containing                    	
                        		AMF_UE_NGAP_ID containing
                        			AMF_UE_NGAP_ID
                        		;	                        	
	                        ;
	                    ;
	                    from the AMF entity
	                }
	                then {
	                    the IUT entity sends a UE_CONTEXT_RELEASE_COMPLETE containing
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        PDU_Session_Resource_List containing
	                        	PDU_Session_Resource_Item containing
	                            	PDU_SessionId indicating value PX_PDU_ID,
	                            	PDU_Session_Resource_Release_Response_Transfer
	                            ;
	                        ;
	                     ;
	                     to the AMF entity
	                	}
	            	}
	            
	            } // end TP_NGAP_GNB_CMP_09
	            
    	} // End Group "UE Context Release (AMF initiated)"
            
        Group "UE Context Modification"
        {
        	import all from Ngap_Common;
        	
        	Test Purpose {
	
	        TP Id TP_NGAP_GNB_CMP_03
	        
	        Test objective "Verify that the NG-RAN node successfully processes a UE CONTEXT MODIFICATION REQUEST contains mandatory IEs and answers with UE CONTEXT MODIFICATION FAILURE with failed PDU session."

	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.3.4.3" 
	        
	        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 receives a UE_CONTEXT_MODIFICATION_REQUEST containing  	
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID
	                        ;
	                    from the AMF entity
	                }
	                then {
	                    the IUT entity sends a UE_CONTEXT_MODIFICATION_FAILURE containing
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        Cause
	                        ;
	                     to the AMF entity
	                	}
	            	}
        	
        	} // end TP TP_NGAP_GNB_CMP_03
        
        	Test Purpose {
	
	        TP Id TP_NGAP_GNB_CMP_04
	        
	        Test objective "Verify that the NG-RAN node successfully processes a UE CONTEXT MODIFICATION REQUEST contains mandatory IEs and answers with UE CONTEXT MODIFICATION RESPONSE with successfully modify UE context."
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.3.4.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 receives a UE_CONTEXT_MODIFICATION_REQUEST containing  	
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID
	                        ;
	                    from the AMF entity
	                }
	                then {
	                    the IUT entity sends a UE_CONTEXT_MODIFICATION_RESPONSE containing
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID
	                        ;
	                     to the AMF entity
	                	}
	            	}
        	
        	} // end TP TP_NGAP_GNB_CMP_04
        
        } // end Group UE Context Modification
        
        Group "RRC Inactive Transition Report"
        {
        	import all from Ngap_Common;
        	
        	Test Purpose {
	
	        TP Id TP_NGAP_GNB_CMP_07
	        
	        Test objective "Verify that the IUT can send a RRC INACTIVE TRANSITION REPORT that contains mandatory IEs"
	        
	        Reference 
	            "ETSI TS 138 413 [1], Clauses 8.3.5" 
	        
	        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 RRC inactive transition report
	                }
	                then {
	                    the IUT entity sends a RRC_INACTIVE_TRANSITION_REPORT containing  	
	                        AMF_UE_NGAP_ID,
	                        RAN_UE_NGAP_ID,
	                        RRC_State,
	                        User_Location_Information
	                        ;
	                    to the AMF entity
	                	}
	            	}
            	
            	} // end TP TP_NGAP_GNB_CMP_07
            	
        } // End Group "RRC Inactive Transition Report"
        
        Group "RAN CP Relocation Indication"
        {
        	
        	import all from Ngap_Common;
    		
    		Test Purpose {
		
		        TP Id TP_NGAP_GNB_CMP_08
		        
		        Test objective "Verify that the IUT can send a RAN CP Relocation Indication that contains mandatory IEs."
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.3.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 RAN CP relocation indication procedure
                		}
		                then {
		                    the IUT entity sends a RAN_CP_RELOCATION_INDICATION containing  	
		                        RAN_UE_NGAP_ID,
		                        5G_S_TMSI,
		                        E_ULTRA_CGI,
		                        TAI,
		                        UL_CP_Security_Information
		                        ;
		                    to the AMF entity
		                }
		                
		        	}
		                
		       	}  // End TP TP_NGAP_GNB_CMP_08
        	
        } // End Group "RAN CP Relocation Indication"
        
        Group "UE Context Suspend"
            {
            	import all from Ngap_Common;
            	
            	Test Purpose {
		
		        TP Id TP_NGAP_GNB_CMP_05
		        
		        Test objective "Verify that the IUT can send a UE CONTEXT SUSPEND REQUEST contains mandatory IEs"
		        
		        Reference 
		            "ETSI TS 138 413 [1], Clauses 8.3.11.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 context suspend request
		                }
		                then {
		                    the IUT entity sends 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
		                        	;
		                        ;
		                    ;
		                    to the AMF entity
		                	}
		            	}
            	
            	} // end TP TP_NGAP_GNB_CMP_05
            	
            	
            }// end Group UE Context Suspend