/*
Copyright (c) ETSI 2019-2020.

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.
*/


/* Gm interface at IBCF/IBCF*/
Package TP_IC {
	
    import all from Sip_Common;	
	 
    Test Purpose {
        TP Id TP_IC_IBCF_GC_01
        
        Test objective  "IMS CN components shall support SIP messages > 1 300 bytes"
               
        Reference 
          "TS 124 229 [1], clause 4.2A"  
        
        Config Id CF_VxLTE_INT
                  
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isAttachedTo the IMS_B
        }

        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a MESSAGE   
                       containing  Message_Body_Size indicating value greater than 1300 bytes ;
                    to the IMS_A entity
                }
                then {
                    the IMS_IBCF_A entity forwards the MESSAGE to the IMS_IBCF_B entity
                }
            }  
    }  // End of TP TP_IC_IBCF_GC_01
    
    
    
    


  /*  TO BE FINALIZED IF/WHEN REFERENCED IN THE TEST DESCRIPTION PART  */
 /* Test Purpose {
        TP Id  TP_IC_PCSCF_REG_001   // Previous TP_IMS_5011_01  
    Test objective 
        "In case of IMS AKA as security mechanism the P-CSCF shall forward 
         REGISTER requests received from the UE to the entry point in the 
         home network"
    Reference
        "TS 124 229 [1], clause 5.2.2.1 ¶16 (2nd numbered list) and 5.2.2.2"
    Config Id CFG_IC_01   
    Initial conditions with {
            the IMS_A entity isNotConfiguredForTopologyHiding and
            the UE_B entity isExistingIn the IMS_B
            
        }
        
    }  */
     // End of Test purpose TP_IC_PCSCF_REG_001

    
    
    
  
    Test Purpose {
        TP Id  TP_IC_IBCF_INVITE_01     // Former TP_IMS_5097_01
        Test objective 
               "S-CSCF shall insert orig-ioi parameter, remove access-network-charging-info parameter 
                and P-Access-Network-Info header before sending initial INVITE or a initial request over NNI"
        Reference
            "TS 124 229 [1], clause 5.4.3.2 ¶11 (1st numbered list), clause 5.10.3.2"
        Config Id  CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and 
            the UE_B entity isRegisteredTo the IMS_B and 
            the IMS_A entity isNotConfiguredForTopologyHiding
        }
        
        Expected behaviour 
            ensure that { 
                when { 
                    the UE_A entity sends an intial INVITE "addressed to UE_B" to the IMS_A entity  
                }
                then {
                    the IMS_IBCF_A entity forwards the initial INVITE containing
                        Route indicating value not PX_S_CSCF_A_SIP_URI, 
                        PChargingVector containing
                            Icid,
                            Orig_Ioi indicating value PX_IMS_A_ICID,
                            not Access_Network_Charging_Info,
                            not Term_Ioi
                        ;  ,
                        RecordRoute containing
                            Header indicating value PX_S_CSCF_A_SIP_URI
                        ;  ,
                        not PAccessNetworkInfo
                    ;
                    to the IMS_IBCF_B entity
                }
            }
        
    } // End of TP TP_IC_IBCF_INVITE_01
        




    Test Purpose {
        TP Id  TP_IC_IBCF_INVITE_02     // Former TP_IMS_5097_02
        Test objective 
               "S-CSCF inserts a second P-Asserted-Identity header indicating a registered tel URI 
                or sip URI whichever is not present in initial INVITE"
        Reference
            "TS 124 229 [1], clause 5.4.3.2 ¶9 (item 9 1st numbered list)"
        Config Id  CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and 
            the UE_B entity isRegisteredTo the IMS_B and 
            the UE_A entity registeredIdentityTelURI and 
            the UE_A entity registeredIdentitySipURI
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity sends an initial INVITE "addressed to UE_B" to the IMS_A entity  
                }
                then {
                    the IMS_IBCF_A entity forwards the initial INVITE containing
                        PAssertedID containing
                            PAssertedIDValue indicating value PX_UE_A_SIP_URI,
                            PAssertedIDValue indicating value PX_UE_A_TEL_URI
                        ;  
                    ;
                    to the IMS_IBCF_B entity
                }
            }
        
    } // End of TP TP_IC_IBCF_INVITE_02
    
    

    


    Test Purpose {
        TP Id  TP_IC_IBCF_INVITE_03     // Former TP_IMS_5097_04
        Test objective 
               "S-CSCF uses ENUM/DNS to translate Tel URIs to SIP URIs in initial INVITE requests"
        Reference
            "TS 124 229 [1], clause 5.4.3.2 (item 10 1st numbered list)"
        Config Id  CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and 
            the UE_B entity isRegisteredTo the NW_UE_B and 
            the Enum_DB entity isConfiguredWithENUMentryForTelURI_E164NumberOf the UE_B 
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity sends an initial INVITE "addressed to UE_B" containing
                        RequestLine indicating value PX_UE_B_TEL_URI
                    ; 
                    to the IMS_S_CSCF_A entity and
                    the IMS_S_CSCF_A entity sends a NAPTR_Query containing
                        Query indicating value PX_UE_B_TEL_URI 
                    ;
                    to the Enum_DB entity and
                    the Enum_DB entity sends a NAPTR_Response containing
                        NAPTR_ResourceRecord indicating value PX_UE_B_SIP_URI
                    ;
                    to the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_IBCF_A entity forwards the initial INVITE containing
                         RequestLine indicating value PX_UE_B_SIP_URI,
                         PChargingVector containing
                             not Access_Network_Charging_Info
                         ;  
                    ;
                    to the IMS_IBCF_B entity
                }
            }
        
    } // End of TP_IC_IBCF_INVITE_03




    Test Purpose {
        TP Id  TP_IC_IBCF_INVITE_04     // Former TP_IMS_5046_01
        Test objective 
               "When the P-CSCF receives an initial INVITE request for a dialog from a UE for which a Service-
                Route header list exists without topology hiding and the UE is not performing the functions of 
                an external attached network using static mode of operation"
        Reference
            "TS 124 229 [1], clause 5.2.6.3.3 (1st numbered list)"
        Config Id  CF_VxLTE_RMI_A
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and 
            the UE_B entity isRegisteredTo the IMS_B and 
            the IMS_A entity isNotConfiguredForTopologyHiding and
            the UE_B entity isAttachedTo the EPC_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity sends an intial INVITE "addressed to UE_A" to the IMS_A entity  
                }
                then {
                    the IMS_IBCF_A entity forwards the initial INVITE containing
                        Route containing 
                            RouteBody indicating value not PX_P_CSCF_A_SIP_URI, 
                            RouteBody indicating value PX_P_CSCF_Service_Route_URIs
                        ; ,
                        Via containing
                            ViaBody containing
                                HostPort indicating value PX_P_CSCF_Port_Number
                            ; ,
                            PX_P_CSCF_FQDN "or" 
                            PX_P_CSCF_IP_Addr
                        ; ,
                        RecordRoute containing
                            RouteBody containing
                                NameAddr indicating value PX_P_CSCF_Port_Number_Subsequent_Requests
                            ;  ,
                            PX_P_CSCF_FQDN_address_IMS_A "or" 
                            PX_P_CSCF_IP_address_IMS_A
                        ; ,
                        not PPreferredID ,
                        PAssertedID indicating value PX_UE_B_SIP_URI ,
                        PChargingVector indicating value PX_IMS_A_ICID
                    ;
                    to the IMS_IBCF_B entity
                }
            }
        
    } // End of TP TP_IC_IBCF_INVITE_04



// "Verify that the P-CSCF successfully processes an initial INVITE (Terminating Leg)."
    Test Purpose {
        TP Id  TP_IC_IBCF_INVITE_05     // Former TP_IMS_5046_01
        Test objective 
               "Verify that the IBCF successfully processes an initial INVITE (Terminating Leg)."
        Reference
            "TS 124 229 [1], clause 5.2.6.3.3 (1st numbered list)"
        Config Id  CF_VxLTE_RMI_A
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity sends an intial INVITE "addressed to roaming UE_B" to the IMS_A entity  
                }
                then {
                    the IMS_IBCF_A entity receives the initial INVITE 
                    from  the IMS_IBCF_B entity and
                    the IMS_IBCF_A entity forwards the initial INVITE
                    to the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP TP_IC_IBCF_INVITE_05






    Test Purpose {  // Former TP TP_IMS_5115_01
        TP Id  TP_IC_IBCF_180RESP_01
        Test objective
            "S-CSCF include term-ioi parameter and restores orig-ioi in 180 
             responses from UE to initial requests in terminating network"
        Reference
            "TS 124 229 [1], clause 5.4.3.3  (item 2 in 3rd numbered list)"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity 
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a 180_Ringing response "addressed to UE_B" to the IMS_A entity 
                }
                then {
                    the IMS_IBCF_A entity sends the 180_Ringing response containing
                        P_Charging_Vector_Header containing 
                           Orig_Ioi indicating value PX_IMS_B_ICID ,
                           Term_Ioi indicating value PX_IMS_A_ICID
                        ;
                    ; 
                    to the IMS_IBCF_B entity 
                }

        }
    }  // End of TP TP_IC_IBCF_180RESP_01



    Test Purpose {  // Former TP TP_IMS_5131_01
        TP Id  TP_IC_IBCF_180RESP_02
        Test objective
            "I-CSCF shall remove P-Charging-Function-Addresses header from 180 response to initial request"
        Reference
        "TS 124 229 [1], clause 5.3.2.1 (paragraph after note 10)"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity 
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a 180_Ringing response "addressed to UE_B" to the IMS_A entity  
                }
                then {
                    the IMS_IBCF_A entity sends the 180_Ringing response containing
                       not PChargingVector
                    ;
                    to the IMS_IBCF_B entity 
                }

        }
    }  // End of TP TP_IC_IBCF_180RESP_02





    Test Purpose {  // Former TP TP_IMS_5115_03
        TP Id  TP_IC_IBCF_1XXRESP_01
        Test objective
            "S-CSCF inserts a second P-Asserted-Identity header in 1xx response indicating a 
             registered tel URI or SIP URI whichever is not present"
        Reference
            "TS 124 229 [1], clause 5.4.3.3 (item 3 in 3rd numbered list)"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity registeredPublicIdsWithTelUriAndSipUri and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity 
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a 180_Ringing response "addressed to UE_B" to the IMS_A entity 
                }
                then {
                    the IMS_IBCF_A entity sends the 180_Ringing response containing
                        PAssertedID containing 
                            PAssertedIDValue indicating value PX_UE_A_SIP_URI ,
                            PAssertedIDValue indicating value PX_UE_A_TEL_URI
                        ;
                    ;
                    to the IMS_IBCF_B entity 
                }
        }
    }  // End of TP TP_IC_IBCF_1XXRESP_01



    Test Purpose {  // Former TP TP_IMS_5055_01
        TP Id  TP_IC_IBCF_1XXRESP_02
        Test objective
            "The P-CSCF receives a 180 response to an initial request for a dialog from the UE"
        Reference
            "TS 124 229 [1], clause 5.2.6.4.4 (1st numbered list)"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity 
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a 180_Ringing response "addressed to UE_B" to the IMS_A entity 
                }
                then {
                    the IMS_IBCF_A entity sends the 180_Ringing response containing
                        RecordRoute containing
                            RouteBody containing
                                NameAddr indicating value PX_P_CSCF_A_SIP_URI
                            ; ,
                            RouteBody containing
                                NameAddr indicating value PX_P_CSCF_Port_Number_Subsequent_Requests
                            ; ,
                            not CompSipUri 
                        ; ,
                        not PPreferredID ,
                        PAssertedID containing 
                            PAssertedIDValue indicating value PX_UE_A_SIP_URI
                        ;
                    ;
                    to the IMS_IBCF_B entity 
                }
        }
    }  // End of TP TP_IC_IBCF_1XXRESP_02




    Test Purpose {  // Former TP TP_IMS_5055_01
        TP Id  TP_IC_IBCF_1XXRESP_03
        Test objective
            "The P-CSCF receives a 180 response to an initial request for a dialog from the UE (Originating leg)" 
        Reference
            "TS 124 229 [1], clause 5.2.6.4.4 (1st numbered list)"
            
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity hasReceivedIntialRequestForDialog from the UE_A entity 
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 180_Ringing response "addressed to UE_A" to the IMS_B entity 
                }
                then {
                    the IMS_IBCF_B entity receives the 180_Ringing response containing
                        RecordRoute containing
                            RouteBody containing
                                NameAddr indicating value PX_P_CSCF_A_SIP_URI
                            ; ,
                            RouteBody containing
                                NameAddr indicating value PX_P_CSCF_Port_Number_Subsequent_Requests
                            ; ,
                            not CompSipUri 
                        ; ,
                        not PPreferredID ,
                        PAssertedID containing 
                            PAssertedIDValue indicating value PX_UE_A_SIP_URI
                        ;
                    ;
                    from the IMS_IBCF_A entity and
                    the IMS_IBCF_B entity sends the 180_Ringing
                    to the IMS_P_CSCF_B entity
                }
        }
    }  // End of TP TP_IC_IBCF_1XXRESP_03



    Test Purpose {  // Former TP TP_IMS_5055_01
        TP Id  TP_IC_IBCF_1XXRESP_04
        Test objective
            "The P-CSCF receives a 180 response to an initial request for a dialog from the UE (Terminating leg)" 
        Reference
            "TS 124 229 [1], clause 5.2.6.4.4 (1st numbered list)"
            
        Config Id CF_VxLTE_RMI_A
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A and
            the UE_B entity hasReceivedIntialRequestForDialog from the UE_A entity 
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 180_Ringing response "addressed to UE_A" to the IMS_A entity 
                }
                then {
                    the IMS_IBCF_A entity sends the 180_Ringing response containing
                        RecordRoute containing
                            RouteBody containing
                                NameAddr indicating value PX_P_CSCF_A_SIP_URI
                            ; ,
                            RouteBody containing
                                NameAddr indicating value PX_P_CSCF_Port_Number_Subsequent_Requests
                            ; ,
                            not CompSipUri 
                        ; ,
                        not PPreferredID ,
                        PAssertedID containing 
                            PAssertedIDValue indicating value PX_UE_A_SIP_URI
                        ;
                    ;
                    to the IMS_IBCF_B entity 
                }
        }
    }  // End of TP TP_IC_IBCF_1XXRESP_04




 

    Test Purpose {  // Former TP TP_IMS_5115_02
        TP Id  TP_IC_IBCF_2XXRESP_01
        Test objective
            "S-CSCF include term-ioi parameter and restores orig-ioi in 2xx 
             responses from UE to initial requests in terminating network"
        Reference
            "TS 124 229 [1], clause 5.4.3.3 (item 2 in 3rd numbered list)"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity hasReceived180OnInitialRequest from the UE_A entity 
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a 200_Ok response "addressed to UE_B" to the IMS_A entity 
                }
                then {
                    the IMS_IBCF_A entity sends the 200_Ok response containing
                        PChargingVector containing 
                           Orig_Ioi indicating value PX_IMS_B_ICID ,
                           Term_Ioi indicating value PX_IMS_A_ICID
                        ;
                    ; 
                    to the IMS_IBCF_B entity 
                }

        }
    }  // End of TP TP_IC_IBCF_2XXRESP_01



    Test Purpose {  // Former TP TP_IMS_5115_04
        TP Id  TP_IC_IBCF_2XXRESP_02
        Test objective
            "S-CSCF inserts a second P-Asserted-Identity header in 1xx response indicating a 
             registered tel URI or SIP URI whichever is not present"
        Reference
            "TS 124 229 [1], clause 5.4.3.3 (item 3 in 3rd numbered list)"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity registeredPublicIdsWithTelUriAndSipUri and
            the UE_B entity hasReceived180OnInitialRequest from the UE_A entity 
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a 200_Ok response "addressed to UE_B" to the IMS_A entity  
                }
                then {
                    the IMS_IBCF_A entity sends the 200_Ok response containing
                        PAssertedID containing 
                            PAssertedIDValue indicating value PX_UE_A_SIP_URI ,
                            PAssertedIDValue indicating value PX_UE_A_TEL_URI
                        ;
                    ;
                    to the IMS_IBCF_B entity 
                }
        }
    }  // End of TP TP_IC_IBCF_2XXRESP_02



    Test Purpose {  // Former TP TP_IMS_5131_02
        TP Id  TP_IC_IBCF_2XXRESP_03
        Test objective
            "I-CSCF shall remove P-Charging-Function-Addresses header from 200 response to initial request"
        Reference
        "TS 124 229 [1], clause 5.3.2.1 (paragraph after note 10)"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity 
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a 200_Ok response "addressed to UE_B" to the IMS_A entity  
                }
                then {
                    the IMS_IBCF_A entity sends the 200_Ok response containing
                       not PChargingFunctionAddresses
                    ;
                    to the IMS_IBCF_B entity 
                }

        }
    }  // End of TP TP_IC_IBCF_2XXRESP_03




    Test Purpose {  // Former TP TP_IMS_5121_02
        TP Id  TP_IC_IBCF_2XXRESP_04
        Test objective
            "S-CSCF remove access-network-charging-info parameter from 2xx response to subsequent or target refresh requests"
            
        Reference
            "TS 124 229 [1], clause 5.4.3.3 (9th numbered list)"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedSubsequentOrTargetRefreshRequestInDialog 
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a 200_Ok response "addressed to UE_B" to the IMS_A entity  
                }
                then {
                    the IMS_IBCF_A entity sends the 200_Ok response containing
                       PChargingVector containing 
                            not AccessNetworkChargingInfo
                       ;
                    ;
                    to the IMS_IBCF_B entity 
                }
        }
    }  // End of TP TP_IC_IBCF_2XXRESP_04




    Test Purpose {  // Former TP TP_IMS_5055_02
        TP Id  TP_IC_IBCF_2XXRESP_05
        Test objective
            "The P-CSCF receives a 2xx response to an initial request for a dialog from the UE (Originating leg)"
        Reference
            "TS 124 229 [1], clause 5.2.6.4.4 (1st numbered list)"
            
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity hasReceivedIntialRequestForDialog from the UE_A entity 
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 200_Ok response "addressed to UE_A" to the IMS_B entity 
                }
                then {
                    the IMS_IBCF_B entity receives a 200_Ok response containing
                        RecordRoute containing
                            RouteBody containing
                                NameAddr indicating value PX_P_CSCF_A_SIP_URI
                            ; ,
                            RouteBody containing
                                NameAddr indicating value PX_P_CSCF_Port_Number_Subsequent_Requests
                            ; ,
                            not CompSipUri 
                        ; ,
                        not PPreferredID ,
                        PAssertedID containing 
                            PAssertedIDValue indicating value PX_UE_B_SIP_URI
                        ;
                    ;
                    from the IMS_IBCF_A entity and
                    the IMS_IBCF_B entity sends the 200_Ok response 
                    to the IMS_P_CSCF_B entity
                }
        }
    }  // End of TP TP_IC_IBCF_2XXRESP_05



    Test Purpose {  
        TP Id  TP_IC_IBCF_2XXRESP_06
        Test objective
            "The IBCF forwards a 2xx response to a successful initial request for a dialog from the UE A (Terminating leg)"
        Reference
            "TS 124 229 [1], clause 5.2.6.4.4 (1st numbered list)"
            
        Config Id CF_VxLTE_RMI_A
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A and
            the UE_B entity hasReceivedIntialRequestForDialog from the UE_A entity 
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 200_Ok response "addressed to UE_A" to the IMS_A entity 
                }
                then {
                    the IMS_IBCF_A entity sends the 200_Ok response containing
                        RecordRoute containing
                            RouteBody containing
                                NameAddr indicating value PX_P_CSCF_A_SIP_URI
                            ; ,
                            RouteBody containing
                                NameAddr indicating value PX_P_CSCF_Port_Number_Subsequent_Requests
                            ; ,
                            not CompSipUri 
                        ; ,
                        not PPreferredID ,
                        PAssertedID containing 
                            PAssertedIDValue indicating value PX_UE_B_SIP_URI
                        ;
                    ;
                    to the IMS_IBCF_A entity and
                    the IMS_IBCF_B entity sends the 200_Ok response 
                    to the IMS_P_CSCF_B entity  // MORE TO COME!!!!
                }
        }
    }  // End of TP TP_IC_IBCF_2XXRESP_06



    Test Purpose {  // Former TP TP_IMS_5106_01
        TP Id  TP_IC_IBCF_REINVITE_01
        Test objective
            "S-CSCF shall handle subsequent INVITE prior to sending it over NNI"
        Reference
            "TS 124 229 [1], clause 5.4.3.2 (6th numbered list)"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasInitiatedDialogWith the UE_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a subsequent INVITE "addressed to UE_B" to the IMS_A entity  
                }
                then {
                    the IMS_IBCF_A entity sends the subsequent INVITE containing
                       RecordRoute indicating value PX_S_CSCF_A_SIP_URI ,
                       Route indicating value not PX_S_CSCF_A_SIP_URI
                       PChargingVector containing 
                           not AccessNetworkChargingInfo
                       ;
                    ;
                    to the IMS_IBCF_B entity 
                }
        }
    }  // End of TP TP_IC_IBCF_REINVITE_01









    Test Purpose {
        TP Id  TP_IC_IBCF_BYE_01     // Former TP_IMS_5107_01
        Test objective 
               "S-CSCF removes its own SIP URI from the route header before sending BYE"
        Reference
            "TS 124 229 [1], clause 5.4.3.2 (item 1 in 7th numbered list)"
        Config Id  CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and 
            the UE_B entity isRegisteredTo the IMS_B and 
            the UE_A entity hasInitiatedDialogWith the UE_B 
        }
        
        Expected behaviour 
            ensure that { 
                when { 
                    the UE_A entity sends a BYE "addressed to UE_B" to the IMS_A entity  
                }
                then {
                    the IMS_IBCF_A entity forwards the BYE containing
                        Route indicating value not PX_S_CSCF_A_SIP_URI 
                    ;
                    to the IMS_IBCF_B entity
                }
            }
        
    } // End of TP TP_IC_IBCF_BYE_01





    Test Purpose {
        TP Id  TP_IC_IBCF_BYE_02    
        Test objective 
               "IBCF successfully processes a BYE message"
        Reference
            "TS 124 229 [1], clause 5.4.3.2 (item 1 in 7th numbered list)"
        Config Id  CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_B and 
            the UE_B entity isRegisteredTo the IMS_B and 
            the UE_A entity hasInitiatedDialogWith the UE_B 
        }
        
        Expected behaviour 
            ensure that { 
                when { 
                    the IMS_IBCF_B entity receives a BYE "addressed to UE_A" 
                    from the IMS_A entity  
                }
                then {
                    the IMS_IBCF_B entity forwards the BYE 
                    to the IMS_P_CSCF_B entity and
                    the IMS_IBCF_B entity receives a 200_OK
                    from the IMS_P_CSCF_B entity and
                    the IMS_IBCF_B entity sends the 200_OK
                    to the IMS_A entity
                }
            }
        
    } // End of TP TP_IC_IBCF_BYE_02



    Test Purpose {
        TP Id  TP_IC_IBCF_BYE_03    
        Test objective 
               "IBCF successfully processes a BYE message"
        Reference
            "TS 124 229 [1], clause 5.4.3.2 (item 1 in 7th numbered list)"
        Config Id  CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_B and 
            the UE_B entity isRegisteredTo the IMS_B and 
            the UE_A entity hasInitiatedDialogWith the UE_B 
        }
        
        Expected behaviour 
            ensure that { 
                when { 
                    the IMS_IBCF_B entity receives a BYE "addressed to UE_B" 
                    from the IMS_P_CSCF_B entity  
                }
                then {
                    the IMS_IBCF_B entity forwards the BYE 
                    to the IMS_A entity and
                    the IMS_IBCF_B entity receives a 200_OK
                    from the IMS_A entity and
                    the IMS_IBCF_B entity sends the 200_OK
                    to the IMS_P_CSCF_B entity
                }
            }
        
    } // End of TP TP_IC_IBCF_BYE_03




    Test Purpose {
        TP Id  TP_IC_IBCF_ACK_01     // Former TP_IMS_5107_02
        Test objective 
               "S-CSCF removes its own SIP URI from the route header before sending ACK"
        Reference
            "TS 124 229 [1], clause 5.4.3.2 (item 1 in 7th numbered list)"
        Config Id  CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and 
            the UE_B entity isRegisteredTo the IMS_B and 
            the IMS_A entity hasReceived200OkOnInitialRequestForDialogWith the UE_B 
        }
        
        Expected behaviour 
            ensure that { 
                when { 
                    the UE_A entity sends an ACK "addressed to UE_B" to the IMS_A entity  
                }
                then {
                    the IMS_IBCF_A entity forwards the ACK containing
                        Route indicating value not PX_S_CSCF_A_SIP_URI 
                    ;
                    to the IMS_IBCF_B entity
                }
            }
        
    } // End of TP TP_IC_IBCF_BYE_01


    Test Purpose {
        TP Id  TP_IC_IBCF_100TRY_01     // Former TP_IMS_5070_01
        Test objective 
               "The IBCF shall respond with a 100 (Trying) provisional response on initial INVITE 
                (terminating leg)"
        Reference
            "TS 124 229 [1], clause 5.10.3.2"
        Config Id  CF_VxLTE_RMI_A
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and 
            the UE_B entity isRegisteredTo the IMS_A and
            the UE_B entity isAttachedTo the EPC_A 
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity sends an intial INVITE "addressed to UE_B" to the IMS_A entity  
                }
                then {
                	the IMS_IBCF_A entity receives the INVITE
                	from the IMS_IBCF_B entity and
                    the IMS_IBCF_A entity sends a 100_Trying response 
                    to the IMS_IBCF_B entity
                }
            }
        
    } // End of TP TP_IC_IBCF_100TRY_01


    Test Purpose {
        TP Id  TP_IC_IBCF_100TRY_02    
        Test objective 
               "The IBCF shall respond with a 100 (Trying) provisional response on initial INVITE 
                (originating leg)"
        Reference
            "TS 124 229 [1], clause 5.10.3.2"
        Config Id  CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_B and 
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity isAttachedTo the EPC_B 
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity sends an intial INVITE "addressed to UE_B" to the IMS_B entity  
                }
                then {
                	the IMS_IBCF_B entity sends the INVITE
                	to the IMS_IBCF_A entity and
                    the IMS_IBCF_B entity receives a 100_Trying response 
                    from the IMS_IBCF_A entity
                }
            }
        
    } // End of TP TP_IC_IBCF_100TRY_02
    
    



    Test Purpose {
        TP Id  TP_IC_IBCF_CANCEL_01     // Former TP_IMS_5107_03
        Test objective 
               "S-CSCF removes its own SIP URI from the route header before sending CANCEL (Originating leg)"
        Reference
            "TS 124 229 [1], clause 5.4.3.2"
        Config Id  CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and 
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceived180OnInitialRequest from the UE_B entity
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity sends a CANCEL "addressed to UE_B" to the IMS_A entity  
                }
                then {
                    the IMS_IBCF_A entity sends a CANCEL containing 
                        Route indicating value not PX_S_CSCF_A_SIP_URI
                    ; 
                    to the IMS_IBCF_B entity and
                    the IMS_IBCF_B entity forwards the CANCEL 
                    to the IMS_P_CSCF_B entity
                    
                }
            }
        
    } // End of TP TP_IC_IBCF_CANCEL_01



    Test Purpose {
        TP Id  TP_IC_IBCF_CANCEL_02     // Former TP_IMS_5107_03
        Test objective 
               "S-CSCF removes its own SIP URI from the route header before sending CANCEL (Terminating leg)"
        Reference
            "TS 124 229 [1], clause 5.4.3.2"
        Config Id  CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and 
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity isRequestedToSend a CANCEL to the UE_B entity
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_IBCF_B entity receives the CANCEL containing
                          Route indicating value not PX_S_CSCF_A_SIP_URI
                    ;  
                    from the IMS_A entity 
                }
                then {
                    the IMS_IBCF_B entity forwards the CANCEL 
                    to the IMS_S_CSCF_B entity
                }
            }
        
    } // End of TP TP_IC_IBCF_CANCEL_02


    Test Purpose {
        TP Id  TP_IC_IBCF_CANCEL_03     // Former TP_IMS_5107_03
        Test objective 
               "S-CSCF removes its own SIP URI from the route header before sending CANCEL (Originating leg)"
        Reference
            "TS 124 229 [1], clause 5.4.3.2"
        Config Id  CF_VxLTE_RMI  // CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_B and 
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceived180OnInitialRequest from the UE_B entity
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity sends a CANCEL "addressed to UE_B" to the IMS_B entity  
                }
                then {
                    the IMS_IBCF_B entity sends a CANCEL containing 
                        Route indicating value not PX_S_CSCF_B_SIP_URI
                    ; 
                    to the IMS_IBCF_A entity
                }
            }
        
    } // End of TP TP_IC_IBCF_CANCEL_03


/*    CURRENTLY NOT REQUIRED FROM THE TD DERIVED TPs IN PART OF THE STANDARD (SEE CLAUSE 6.3.4.2 OF PART 2)
    Test Purpose {
        TP Id  TP_IC_IBCF_CANCEL_04     // Former TP_IMS_5107_03
        Test objective 
               "S-CSCF removes its own SIP URI from the route header before sending CANCEL (Terminating leg)"
        Reference
            "TS 124 229 [1], clause 5.4.3.2"
        Config Id  CF_VxLTE_RMI  // CF_VxLTE_RMI_A
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and 
            the UE_B entity isRegisteredTo the IMS_A and
            the UE_A entity isRequestedToSend a CANCEL to the UE_B entity
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_IBCF_A entity receives the CANCEL containing
                          Route indicating value not PX_S_CSCF_B_SIP_URI
                    ;  
                    from the IMS_B entity 
                }
                then {
                    the IMS_IBCF_A entity forwards the CANCEL 
                    to the IMS_S_CSCF_A entity
                }
            }
        
    } // End of TP TP_IC_IBCF_CANCEL_04

*/




    Test Purpose {  
        TP Id  TP_IC_IBCF_CANCEL_OK_01
        Test objective
            "The P-CSCF receives a 200 OK response to a CANCEL request from the UE receiving the CANCEL request (Originating leg)"
        Reference
            "TS 124 229 [1], clause 5.2.8.1.1  and RFC 3261 [18], clause 9.2"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 200_Ok response "addressed to UE_A" to the IMS_A entity 
                }
                then {
                        the IMS_IBCF_A entity receives the 200_Ok response 
                    and 
                        the IMS_IBCF_A entity forwards the 200_OK
                        to the IMS_P_CSCF_A entity 
                }
        }
    }  // End of TP_IC_IBCF_CANCEL_OK_01



    Test Purpose {  
        TP Id  TP_IC_IBCF_CANCEL_OK_02
        Test objective
            "The P-CSCF receives a 200 OK response to a CANCEL request from the UE receiving the CANCEL request (Terminating leg)"
        Reference
            "TS 124 229 [1], clause 5.2.8.1.1  and RFC 3261 [18], clause 9.2"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 200_Ok response "addressed to UE_A" to the IMS_A entity 
                }
                then {
                    the IMS_IBCF_B entity sends the 200_Ok  
                    to the IMS_A entity 
                }
        }
    }  // End of TP_IC_IBCF_CANCEL_OK_02



    Test Purpose {  
        TP Id  TP_IC_IBCF_CANCEL_OK_03
        Test objective
            "The P-CSCF receives a 200 OK response to a CANCEL request from the UE receiving the CANCEL request (Originating leg)"
        Reference
            "TS 124 229 [1], clause 5.2.8.1.1  and RFC 3261 [18], clause 9.2"
            
        Config Id  CF_VxLTE_RMI  // CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 200_Ok response "addressed to UE_A" to the IMS_A entity 
                }
                then {
                        the IMS_IBCF_A entity receives the 200_Ok response 
                    and 
                        the IMS_IBCF_A entity forwards the 200_OK
                        to the IMS_P_CSCF_A entity 
                }
        }
    }  // End of TP_IC_IBCF_CANCEL_OK_01




    Test Purpose {  
        TP Id  TP_IC_IBCF_487INVITE_01
        Test objective
            "Verify that the IBCF successfully processes a 487 INVITE (Request Terminated). (Originating leg)"
        Reference
            "TS 124 229 [1], clause 5.3.2.2  and RFC 3261 [18], clause 9.2"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
            the UE_A entity isRequestedToSend a CANCEL and
            the UE_A entity hasReceived200OkCancel from the UE_B entity
            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 487_INVITE request "addressed to UE_A" to the IMS_A entity 
                }
                then {
                    the IMS_IBCF_A entity receives the 487_INVITE request 
                    from the IMS_B entity and 
                    the IMS_IBCF_A entity forwards the 487_INVITE request 
                    to the IMS_S_CSCF_A entity
                }
        }
    }  // End of TP_IC_IBCF_487INVITE_01
    



    Test Purpose {  
        TP Id  TP_IC_IBCF_487INVITE_02
        Test objective
            "Verify that the IBCF successfully processes a 487 INVITE (Request Terminated).  (Terminating leg)"
        Reference
            "TS 124 229 [1], clause 5.3.2.2  and RFC 3261 [18], clause 9.2"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
            the UE_A entity isRequestedToSend a CANCEL and
            the UE_A entity hasReceived200OkCancel from the UE_B entity
            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 487_INVITE request "addressed to UE_A" to the IMS_B entity 
                }
                then {
                    the IMS_IBCF_B entity sends the 487_INVITE request 
                    to the IMS_IBCF_A entity 
                }
        }
    }  // End of TP_IC_IBCF_487INVITE_02
    
    

    Test Purpose {  
        TP Id  TP_IC_IBCF_487INVITE_ACK_01
        Test objective
            "Verify that the IBCF successfully processes an ACK response for a Request terminated. (Originating leg)"
        Reference
            "TS 124 229 [1], clause 5.3.2.2  and RFC 3261 [18], clause 9.2"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
            the UE_A entity isRequestedToSend a CANCEL and
            the UE_A entity hasReceived200OkCancel from the UE_B entity and
            the UE_A entity hasReceivedTerminatedRequest from the UE_B entity
            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a ACK response "addressed to UE_A" to the IMS_A entity 
                }
                then {
                	the IMS_IBCF_A entity receives the ACK response
                	from the IMS_S_CSCF_A entity and
                    the IMS_IBCF_A entity sends the ACK response 
                    to the IMS_IBCF_B entity 
                }
        }
    }  // End of TP_IC_IBCF_487INVITE_ACK_01
    
    

    Test Purpose {  
        TP Id  TP_IC_IBCF_487INVITE_ACK_02
        Test objective
            "Verify that the IBCF successfully processes an ACK response for a Request terminated. (Terminating leg)"
        Reference
            "TS 124 229 [1], clause 5.3.2.2  and RFC 3261 [18], clause 9.2"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasReceivedIntialRequestForDialog from the UE_B entity and
            the UE_A entity isRequestedToSend a CANCEL and
            the UE_A entity hasReceived200OkCancel from the UE_B entity and
            the UE_A entity hasReceivedTerminatedRequest from the UE_B entity
            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_A entity sends a ACK response "addressed to UE_A" to the IMS_B entity 
                }
                then {
                	the IMS_IBCF_B entity receives the ACK response
                	from the IMS_A entity and
                    the IMS_IBCF_B entity forwards the ACK response 
                    to the IMS_S_CSCF_B entity 
                }
        }
    }  // End of TP_IC_IBCF_487INVITE_ACK_02

    
    
    
    Test Purpose {  
        TP Id  TP_IC_IBCF_486INVITE_01
        Test objective
            "Verify that the IBCF successfully processes a 486 INVITE (BUSY) originating leg. "
        Reference
            "TS 124 229 [1], clause 5.10.3.2  and RFC 3261 [18], clause 13.3.1.3"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            UE_A isAttachedTo the EPC_A and 
            UE_B isAttachedTo the EPC_B and 
            UE_A isRegisteredTo the IMS_A and 
            UE_B isRegisteredTo the IMS_B and 
            UE_B isBusy

            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 486_INVITE "addressed to UE_A" to the IMS_A entity 
                }
                then {
                	the IMS_IBCF_A entity receives the 486_INVITE 
                	from the IMS_B entity and
                    the IMS_IBCF_A entity forwards the 486_INVITE 
                    to the IMS_P_CSCF_A entity 
                }
        }
    }  // End of TP_IC_IBCF_486INVITE_01
    


    Test Purpose {  
        TP Id  TP_IC_IBCF_486INVITE_02
        Test objective
            "Verify that the IBCF successfully processes a 486 INVITE (BUSY) Terminating leg. "
        Reference
            "TS 124 229 [1], clause 5.10.3.2  and RFC 3261 [18], clause 13.3.1.3"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            UE_A isAttachedTo the EPC_A and 
            UE_B isAttachedTo the EPC_B and 
            UE_A isRegisteredTo the IMS_A and 
            UE_B isRegisteredTo the IMS_B and 
            UE_B isBusy

            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 486_INVITE "addressed to UE_A" to the IMS_B entity 
                }
                then {
                	the IMS_IBCF_B entity receives the 486_INVITE
                	from the IMS_S_CSCF_B entity and
                    the IMS_IBCF_B entity forwards the 486_INVITE 
                    to the IMS_A entity
                }
        }
    }  // End of TP_IC_IBCF_486INVITE_02



    Test Purpose {  
        TP Id  TP_IC_IBCF_486INVITE_03
        Test objective
            "Verify that the IBCF successfully processes a 486 INVITE (BUSY) originating leg, roaming case. "
        Reference
            "TS 124 229 [1], clause 5.10.3.2  and RFC 3261 [18], clause 13.3.1.3"
            
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            UE_A isAttachedTo the EPC_B and 
            UE_B isAttachedTo the EPC_B and 
            UE_A isRegisteredTo the IMS_B and 
            UE_B isRegisteredTo the IMS_B and 
            UE_B isBusy

            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 486_INVITE "addressed to UE_A" to the IMS_A entity 
                }
                then {
                	the IMS_IBCF_B entity receives the 486_INVITE 
                	from the IMS_A entity and
                    the IMS_IBCF_B entity forwards the 486_INVITE 
                    to the IMS_P_CSCF_B entity 
                }
        }
    }  // End of TP_IC_IBCF_486INVITE_03
    
    
        Test Purpose {  
        TP Id  TP_IC_IBCF_486INVITE_04
        Test objective
            "Verify that the IBCF successfully processes a 486 INVITE (BUSY) terminating leg, roaming case. "
        Reference
            "TS 124 229 [1], clause 5.10.3.2  and RFC 3261 [18], clause 13.3.1.3"
            
        Config Id CF_VxLTE_RMI_A
        
        PICS Selection  NONE
        
        Initial conditions with {
            UE_A isAttachedTo the EPC_A and 
            UE_B isAttachedTo the EPC_A and 
            UE_A isRegisteredTo the IMS_A and 
            UE_B isRegisteredTo the IMS_A and 
            UE_B isBusy

            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity sends a 486_INVITE "addressed to UE_A" to the IMS_A entity 
                }
                then {
                	the IMS_IBCF_A entity receives the 486_INVITE 
                	from the IMS_P_CSCF_A entity and
                    the IMS_IBCF_A entity sends the 486_INVITE 
                    to the IMS_IBCF_B entity 
                }
        }
    }  // End of TP_IC_IBCF_486INVITE_04



    Test Purpose {  
        TP Id  TP_IC_IBCF_486INVITE_ACK_01
        Test objective
            "Verify that the IBCF successfully processes an ACK in response to a BUSY reply during session set-up (Originating leg). "
        Reference
            "TS 124 229 [1], clause 5.10.3.2  and RFC 3261 [18], clause 13.3.1.3"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            UE_A isAttachedTo the EPC_A and 
            UE_B isAttachedTo the EPC_B and 
            UE_A isRegisteredTo the IMS_A and 
            UE_B isRegisteredTo the IMS_B and 
            UE_B isBusy and
            UE_B hasResponded486INVITE

            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends an ACK "addressed to UE_B" to the IMS_B entity 
                }
                then {
                	the IMS_IBCF_A entity receives the ACK 
                	from the IMS_P_CSCF_A entity and
                    the IMS_IBCF_A entity sends the ACK 
                    to the IMS_IBCF_B entity  
                }
        }
    }  // End of TP_IC_IBCF_486INVITE_ACK_01



    Test Purpose {  
        TP Id  TP_IC_IBCF_486INVITE_ACK_02
        Test objective
           "Verify that the IBCF successfully processes an ACK in response to a BUSY reply during session set-up (Terminating leg). "
        Reference
            "TS 124 229 [1], clause 5.10.3.2  and RFC 3261 [18], clause 13.3.1.3"
            
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            UE_A isAttachedTo the EPC_A and 
            UE_B isAttachedTo the EPC_B and 
            UE_A isRegisteredTo the IMS_A and 
            UE_B isRegisteredTo the IMS_B and 
            UE_B isBusy and
            UE_B hasResponded486INVITE

            
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends an ACK "addressed to UE_B" to the IMS_A entity 
                }
                then {
                	the IMS_IBCF_B entity receives the ACK
                	from the IMS_A entity and
                    the IMS_IBCF_B entity forwards the ACK 
                    to the IMS_S_CSCF_B entity 
                }
        }
    }  // End of TP_IC_IBCF_486INVITE_ACK_02



    Test Purpose {  
        TP Id  TP_IC_IBCF_REGISTER_01   // Former TP TP_IMS_5137_04
        Test objective
           "The IBCF shall perform encryption for topology hiding before an initial REGISTER request is sent "
        Reference
            "TS 124 229 [1], clause 5.10.2.1, 5.10.3.1, 5.10.4.2"
            
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            IMS_A isConfiguredForTopologyHiding and
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a REGISTER "addressed to home network IMS_A" to the IMS_B entity 
                }
                then {
                    the IMS_IBCF_B entity sends the REGISTER containing
                        Via containing
                            ViaBody containing
                                HostPort indicating value PX_IBCF_B_SIP_URI
                            ;
                        ; ,
                        Route indicating value PX_IBCF_B_SIP_URI,
                        Path containing
                            PathValue indicating value PX_IBCF_B_SIP_URI 
                        ;
                     ;
                    to the IMS_IBCF_A entity and
                    the IMS_IBCF_B entity receives the 401_Unauthorized
                    from the IMS_A entity and 
                    the  IMS_IBCF_B entity forwards the 401_Unauthorized
                    to the IMS_P_CSCF_B entity
                }
        }
    }  // End of TP_IC_IBCF_REGISTER_01



    Test Purpose {  
        TP Id  TP_IC_IBCF_REGISTER_02   // 
        Test objective
           "The IBCF shall perform encryption for topology hiding before a second REGISTER request is sent "
        Reference
            "TS 124 229 [1], clause 5.10.2.1, 5.10.3.1, 5.10.4.2"
            
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            IMS_A isConfiguredForTopologyHiding and
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the UE_A entity hasAchieveFirstREGISTER
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a second REGISTER "addressed to home network IMS_A" to the IMS_B entity 
                }
                then {
                    the IMS_IBCF_B entity sends the REGISTER containing
                        Via containing
                            ViaBody containing
                                HostPort indicating value PX_IBCF_B_SIP_URI
                            ;
                        ; ,
                        Route indicating value PX_IBCF_B_SIP_URI,
                        Path containing
                            PathValue indicating value PX_IBCF_B_SIP_URI 
                        ;
                     ;
                    to the IMS_IBCF_A entity and
                    the IMS_IBCF_B entity receives the 200_OK
                    from the IMS_A entity and 
                    the  IMS_IBCF_B entity forwards the 200_OK
                    to the IMS_P_CSCF_B entity
                }
        }
    }  // End of TP_IC_IBCF_REGISTER_02




    Test Purpose {  
        TP Id  TP_IC_IBCF_REGISTER_03   // 
        Test objective
           "Verify that the IBCF successfully processes a user de-registration."
        Reference
            "TS 124 229 [1], clause 5.10.2.1, 5.10.3.1, 5.10.4.2"
            
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a REGISTER "addressed to home network IMS_A" containing
                        Expire indicating value 0;
                    to the IMS_B entity 
                }
                then {
                    the IMS_IBCF_B entity receives the REGISTER 
                    from the IMS_P_CSCF_B entity and
                    the IMS_IBCF_B entity forwards the REGISTER 
                    to the IMS_A entity and 
                    the  IMS_IBCF_B entity receives a 200_OK
                    from the IMS_A entity and
                    the  IMS_IBCF_B entity forwards the 200_OK
                    to the IMS_P_CSCF_B entity 
                }
        }
    }  // End of TP_IC_IBCF_REGISTER_03



    Test Purpose {  
        TP Id  TP_IC_IBCF_REGISTER_04   // 
        Test objective
           "Verify that the IBCF successfully processes an IMS de-registration due to expiration of registration timer."
        Reference
            "TS 124 229 [1], clause 5.10.2.1, 5.10.3.1, 5.10.4.2"
            
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_B entity sends a REGISTER "addressed to home network IMS_A" containing
                        Expire indicating value 0;
                    to the IMS_B entity 
                }
                then {
                    the IMS_IBCF_B entity receives the REGISTER 
                    from the IMS_P_CSCF_B entity and
                    the IMS_IBCF_B entity forwards the REGISTER 
                    to the IMS_A entity and 
                    the  IMS_IBCF_B entity receives a 200_OK
                    from the IMS_A entity and
                    the  IMS_IBCF_B entity forwards the 200_OK
                    to the IMS_P_CSCF_B entity 
                }
        }
    }  // End of TP_IC_IBCF_REGISTER_04




    Test Purpose {  
        TP Id  TP_IC_IBCF_REGISTER_05   // 
        Test objective
           "Verify that the IBCF successfully processes an IMS de-registration due user initiated network detachment."
        Reference
            "TS 124 229 [1], clause 5.10.2.1, 5.10.3.1, 5.10.4.2"
            
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_B entity sends a REGISTER "addressed to home network IMS_A" containing
                        Expire indicating value 0;
                    to the IMS_B entity 
                }
                then {
                    the IMS_IBCF_B entity receives the REGISTER 
                    from the IMS_P_CSCF_B entity and
                    the IMS_IBCF_B entity forwards the REGISTER 
                    to the IMS_A entity and 
                    the  IMS_IBCF_B entity receives a 200_OK
                    from the IMS_A entity and
                    the  IMS_IBCF_B entity forwards the 200_OK
                    to the IMS_P_CSCF_B entity 
                }
        }
    }  // End of TP_IC_IBCF_REGISTER_05






    Test Purpose {  
        TP Id  TP_IC_IBCF_SUBSCRIBE_01   // 
        Test objective
           "Verify that the IBCF successfully processes a SUBSCRIBE."
        Reference
            "TS 124 229 [1], clause 5.10.3.2"
            
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity sends a SUBSCRIBE "addressed to home network IMS_A" to the IMS_B entity 
                }
                then {
                    the IMS_IBCF_B entity sends the SUBSCRIBE containing
                        Route indicating value PX_IBCF_B_SIP_URI
                        ;
                    to the IMS_IBCF_A entity and
                    the IMS_IBCF_B entity receives the 200_OK
                    from the IMS_A entity and 
                    the  IMS_IBCF_B entity forwards the 200_OK
                    to the IMS_P_CSCF_B entity
                }
        }
    }  // End of TP_IC_IBCF_SUBSCRIBE_01




    Test Purpose {
        TP Id TP_IC_IBCF_NOTIFY_01
        Test objective  "Verify that the IBCF successfully processes a NOTIFY in case of IMS Administrative de-registration."
        Reference 
            "TS 124 229 [1], Clause 5.10.3.2"
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_IBCF_B entity receives a NOTIFY containing
                        Event indicating value "reg,de-reg"
                    ;
                    from the IMS_A entity
                }
                then {
                    the IMS_IBCF_B entity sends the NOTIFY 
                    to the IMS_P_CSCF_B entity and
                    the IMS_IBCF_B entity receives a 200_OK 
                    from the IMS_P_CSCF_B entity and
                    the IMS_IBCF_B entity forwards the 200_OK 
                    to the IMS_A entity
                    
                }
            }
    } // End of TP_IC_IBCF_NOTIFY_01












    
}  // End of Package TP_IC