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

/* Mw interface at S-CSCF/IBCF */
Package TP_MW_SI {
    
    import all from Sip_Common;
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_MESSAGE_01
        // TP_IMS_4002_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_GEN_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective "Verify that the S-CSCF successfully processes a SIP messages greater than 1300 bytes"
               
        Reference 
          "TS 124 229 [1], clause 4.2A"  
        
        Config Id CF_VxLTE_INT
                  
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_A entity receives a MESSAGE
                       containing ContentLength indicating value greater than 1300 bytes
                       ;
                    from the IMS_I_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity forwards the MESSAGE
                    to the IMS_IBCF_A entity
                }
            }  
    }  // End of TP_MW_SCSCF_MESSAGE_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_REGISTER_01
        // TP_IMS_5005_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a first registration (Successful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.3.1.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA
                        ;
                    from the IMS_I_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends an 401_Unauthorized containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Path,
                        Warning,
                        PAccessNetworkInfo,
                        WwwAuthenticate containing
                            Digest,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
                    to the IMS_I_CSCF_A entity
                }
            }
    } // End of TP_MW_SCSCF_REGISTER_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_REGISTER_02
        // TP_IMS_5092_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_REG_08 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a full registration (Successful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.3.1.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the UE_A entity hasAchieveFirstREGISTER
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
                    from the IMS_I_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends an 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        AuthenticationInfo,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UE_A_SIP_URI,
                        PChargingVector,
                           orig_ioi_parameter 
                               indicating value "Operator Identifier Of ImsA" ,
                           term_ioi_parameter 
                               indicating value "Operator Identifier Of ImsB"
                        Path,
                        ServiceRoute
                        ;
                    to the IMS_I_CSCF_A entity
                }
            }
    } // End of TP_MW_SCSCF_REGISTER_02
    
    // TP_MW_SCSCF_REGISTER_03 not applicable
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_REGISTER_04
        // TP_IMS_5005_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a first registration (Successful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.3.1.2"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_B entity receives a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        PVisitedNetworkID
                        ;
                    from the IMS_I_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Path indicating value PX_P_CSCF_A_SIP_URI,
                        PChargingVector containing
                            icid indicating value PX_TO_BE_DEFINED,
                        PVisitedNetworkID indicating value PX_TO_BE_DEFINED,
                        Require indicating value "path",
                        Supported indicating value "path"
                        ;;
                    to the IMS_IBCF_B entity
                    and the IMS_S_CSCF_B entity sends an 401_Unauthorized containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Path,
                        Warning,
                        PVisitedNetworkID,
                        PAccessNetworkInfo,
                        WwwAuthenticate containing
                            Digest,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
                    to the IMS_I_CSCF_B entity
                }
            }
    } // End of TP_MW_SCSCF_REGISTER_04
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_REGISTER_05
        // TP_IMS_5092_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_REG_08 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a full registration (Successful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.3.1.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 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 IMS_S_CSCF_B entity receives a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth",
                        PVisitedNetworkID
                        ;;
                    from the IMS_I_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth",
                        PVisitedNetworkID,
                        PChargingVector
                        ;;
                    to the IMS_IBCF_B entity
                    and the IMS_S_CSCF_B entity sends an 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        AuthenticationInfo,
                        PVisitedNetworkID,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UE_A_SIP_URI,
                        PChargingVector,
                           orig_ioi_parameter 
                               indicating value "Operator Identifier Of ImsA" ,
                           term_ioi_parameter 
                               indicating value "Operator Identifier Of ImsB"
                        Path,
                        ServiceRoute
                        ;
                    to the IMS_I_CSCF_B entity
                }
            }
    } // End of TP_MW_SCSCF_REGISTER_05
    
    // TP_MW_SCSCF_REGISTER_06 not applicable
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_REGISTER_07
        // ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a user de-registration (no SIP session active)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.2 and Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_A entity receives a REGISTER containing
                        Expire indicating value 0
                        ;
                    from the IMS_I_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 200 OK
                    to the IMS_I_CSCF_A entity
                }
            }
    } // End of TP_MW_SCSCF_REGISTER_07
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_REGISTER_08
        // ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a user de-registration (no SIP session active)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.1.5 and Clause 6.3"
        
        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_A entity receives a REGISTER containing
                        Expire indicating value 0
                        ;
                    from the IMS_IBCF_B entity
                }
                then {
                    the IMS_IBCF_A entity forwards a REGISTER containing
                        Expire indicating value 0
                        ;
                    to the IMS_I_CSCF_A entity
                    and the IMS_I_CSCF_A entity forwards a REGISTER containing
                        Expire indicating value 0
                        ;
                    to the IMS_S_CSCF_A entity
                }
            }
    } // End of TP_MW_SCSCF_REGISTER_08
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_REGISTER_10
        // ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a user de-registration (with SIP session active)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.2 and Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_A entity receives a REGISTER containing
                        Expire indicating value 0
                        ;
                    from the IMS_I_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a BYE
                    to the IMS_P_CSCF_A entity and
                    the IMS_S_CSCF_A entity sends a BYE
                    to the IMS_IBCF_A entity and
                    the IMS_S_CSCF_A entity sends a 200 OK
                    to the IMS_P_CSCF_A entity 
                }
            }
    } // End of TP_MW_SCSCF_REGISTER_10
    
    // TP_MW_SCSCF_REGISTER_11 not applicable
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_REGISTER_12
        // ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a network de-registration (no SIP session active)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.2.5 and Clause 6.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_S_CSCF_B entity receives a REGISTER containing
                        From indicating value PX_IMS_P_CSCF_B_SIP_URI,
                        To indicating value PX_I_CSCF_A_SIP_URI,
                        Event indicating value "reg,de-reg",
                        Expire indicating value 0
                        ;
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity forwards a REGISTER
                    to the IMS_IBCF_B entity
                }
            }
    } // End of TP_MW_SCSCF_REGISTER_12
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_SUBSCRIBE_01
        // TP_IMS_5044_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_REG_14 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a SUBSCRIBE."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.4.2 and 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_A entity receives an SUBSCRIBE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE,
                        Event,
                        Expires
                        ;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 200_Ok containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA
                        ;
                    to the IMS_P_CSCF_A entity
                }
            }
    } // End of TP_MW_SCSCF_SUBSCRIBE_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_SUBSCRIBE_02
        // TP_IMS_5044_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_REG_14 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a SUBSCRIBE."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.4.2 and 6.3"
        
        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_S_CSCF_A entity receives an SUBSCRIBE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE,
                        Event,
                        Expires
                        ;
                    to the IMS_IBCF_A entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a 200_Ok containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA
                        ;
                    to the IMS_IBCF_A entity
                }
            }
    } // End of TP_MW_SCSCF_SUBSCRIBE_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_NOTIFY_01
        
        Test objective  "Verify that the S-CSCF successfully processes a NOTIFY in case of IMS Administrative de-registration."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.2.5.2 and Clause 6.1.1 and Clause 6.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_A entity isRequestedToDeregisterUser
                }
                then {
                    the IMS_S_CSCF_A entity sends an NOTIFY containing
                        Event indicating value "reg,de-reg"
                        ;
                     to the IMS_P_CSCF_A entity and
                     the IMS_S_CSCF_A entity receives an 200_Ok
                     from the IMS_P_CSCF_A entity and
                     the IMS_S_CSCF_A entity sends an NOTIFY containing
                        Event indicating value "de-reg"
                        ;
                     to the IMS_P_CSCF_A entity
                }
            }
    } // End of TP_MW_SCSCF_NOTIFY_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_NOTIFY_02
        
        Test objective  "Verify that the S-CSCF successfully processes a NOTIFY in case of IMS Administrative de-registration."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.2.5.2 and Clause 6.1.1 and Clause 6.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_A entity isRequestedToSend a NOTIFY containing
                        Event indicating value "reg,de-reg"
                    ;
                }
                then {
                    the IMS_S_CSCF_A entity sends an NOTIFY containing
                        Event indicating value "de-reg"
                        ;
                     to the IMS_P_CSCF_A entity and
                     the IMS_S_CSCF_A entity receives an 200_Ok
                     from the IMS_P_CSCF_A entity
                }
            }
    } // End of TP_MW_SCSCF_NOTIFY_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_NOTIFY_03
        
        Test objective  "Verify that the S-CSCF successfully processes a NOTIFY in case of IMS Administrative de-registration."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.2.5.2 Clause 6.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_S_CSCF_B entity receives a NOTIFY containing
                        From indicating value PX_S_CSCF_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        Event indicating value "reg,de-reg"
                    ;
                    from the IMS_IBCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends an NOTIFY containing
                        Event indicating value "reg,de-reg"
                        ;
                     to the IMS_P_CSCF_B entity and
                     the IMS_S_CSCF_B entity receives a 200_Ok
                     from the IMS_P_CSCF_B entity
                }
            }
    } // End of TP_MW_SCSCF_NOTIFY_03
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_NOTIFY_04
        
        Test objective  "Verify that the S-CSCF successfully processes a NOTIFY in case of IMS Administrative de-registration."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.2.5.2 Clause 6.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_S_CSCF_B entity receives a NOTIFY containing
                        From indicating value PX_A_CSCF_A_SIP_URI,
                        To indicating value PX_P_CSCF_B_SIP_URI,
                        Event indicating value "reg,de-reg"
                    ;
                    from the IMS_IBCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends an NOTIFY containing
                        Event indicating value "reg,de-reg"
                        ;
                     to the IMS_P_CSCF_B entity and
                     the IMS_S_CSCF_B entity receives a 200_Ok
                     from the IMS_P_CSCF_B entity
                }
            }
    } // End of TP_MW_SCSCF_NOTIFY_04
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_INVITE_01
        // TP_IMST2_MW_INI_05 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes an initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.4.1 and Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_A entity receives an INVITE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends an INVITE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        ContentType indicating value "application/sdp",
                        ContentLength,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                     to the IMS_IBCF_A entity
                }
            }
            
    } // End of TP_MW_SCSCF_INVITE_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_INVITE_02
        // TP_IMST2_MW_INI_05 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes an initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.4.1 and Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_B entity receives an INVITE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                    from the IMS_IBCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends an INVITE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        ContentType indicating value "application/sdp",
                        ContentLength,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                     to the IMS_P_CSCF_B entity
                }
            }
            
    } // End of TP_MW_SCSCF_INVITE_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_INVITE_03
        // TP_IMST2_MW_INI_05 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes an initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.4.1 and Clause 6.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_B entity receives an INVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends an INVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        ContentType indicating value "application/sdp",
                        ContentLength,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                     to the IMS_IBCF_B entity
                }
            }
            
    } // End of TP_MW_SCSCF_INVITE_03
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_INVITE_04
        // TP_IMST2_MW_INI_05 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes an initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.3.2.1 and Clause 5.3.2.1A"
        
        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 IMS_S_CSCF_A entity receives an INVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                    from the IMS_IBCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends an INVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        ContentType indicating value "application/sdp",
                        ContentLength,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                     to the IMS_P_CSCF_A entity
                }
            }
            
    } // End of TP_MW_SCSCF_INVITE_04
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_100TRY_01
        // TP_IMS_5070_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_INI_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.4.2.2 and Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives a 100_Trying
                    from the IMS_IBCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 100_Trying
                    to the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_100TRY_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_100TRY_02
        // TP_IMS_5070_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_INI_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.4.2.2 and Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives a 100_Trying
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a 100_Trying
                    to the IMS_IBCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_100TRY_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_100TRY_03
        // TP_IMS_5070_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_INI_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.4.2.2 and Clause 6.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives a 100_Trying
                    from the IMS_IBCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a 100_Trying
                    to the IMS_P_CSCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_100TRY_03
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_100TRY_04
        // TP_IMS_5070_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_INI_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.4.2.2 and Clause 6.3"
        
        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 IMS_S_CSCF_A entity receives a 100_Trying
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 100_Trying
                    to the IMS_IBCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_100TRY_04
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_180RINGING_01
        
        Test objective  "Verify that the S-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.4.2.2 and Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives a 180_Ringing
                    from the IMS_IBCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 180_Ringing containing
                        PChargingVector,
                        PChargingFunctionAddresses,
                        PPreferredIdentity
                    ;
                    to the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_180RINGING_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_180RINGING_02
        
        Test objective  "Verify that the S-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.4.2.2 and Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives a 180_Ringing
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a 180_Ringing containing
                        PChargingVector,
                        PChargingFunctionAddresses,
                        PPreferredIdentity
                    ;
                    to the IMS_IBCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_180RINGING_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_180RINGING_03
        
        Test objective  "Verify that the S-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.4.2.2 and Clause 6.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives a 180_Ringing
                    from the IMS_IBCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a 180_Ringing
                    to the IMS_P_CSCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_180RINGING_03
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_180RINGING_04
        
        Test objective  "Verify that the S-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.4.4.2.2 and Clause 6.3"
        
        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 IMS_S_CSCF_A entity receives a 180_Ringing
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 180_Ringing
                    to the IMS_IBCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_180RINGING_04
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_200OK_01
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a 200 (OK) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives a 200_Ok containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 200_Ok containing
                        PChargingVector,
                        PChargingFunctionAddresses,
                        PPreferredIdentity
                    ;
                    to the IMS_IBCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_200OK_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_200OK_02
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a 200 (Ok) provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives a 200_Ok containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    from the IMS_IBCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 200_Ok containing
                        PChargingVector,
                        PChargingFunctionAddresses,
                        PPreferredIdentity
                    ;
                    to the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_200OK_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_200OK_03
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.2"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives a 200_Ok containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    from the IMS_IBCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a 200_Ok containing
                        PChargingVector,
                        PChargingFunctionAddresses,
                        PPreferredIdentity
                    ;
                    to the IMS_P_CSCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_200OK_03
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_200OK_04
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (Ok) provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.2"
        
        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 IMS_S_CSCF_A entity receives a 200_Ok containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 200_Ok containing
                        PChargingVector,
                        PChargingFunctionAddresses,
                        PPreferredIdentity
                    ;
                    to the IMS_IBCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_200OK_04
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_ACK_01
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_P_CSCF_A entity receives an ACK containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    from the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends an ACK containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    from the IMS_IBCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_ACK_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_ACK_02
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives an ACK containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    from the IMS_IBCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends an ACK containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    from the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_ACK_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_ACK_03
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.2"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                    ;
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                    ;
                    from the IMS_IBCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_ACK_03
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_ACK_04
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.2"
        
        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 IMS_S_CSCF_A entity receives an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                    ;
                    from the IMS_IBCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                    ;
                    from the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_ACK_04
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_RE_INVITE_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes an initial RE-INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the IMS_P_CSCF_A entity previouslyEstablishedCallWith the IMS_P_CSCF_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_A entity receives an ReINVITE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                    to the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity receives an ReINVITE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                    from the IMS_IBCF_A entity
                }
            }
    } // End of TP_MW_SCSCF_RE_INVITE_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_RE_INVITE_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes an initial RE-INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the IMS_P_CSCF_B entity previouslyEstablishedCallWith the IMS_P_CSCF_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_B entity receives an ReINVITE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                    to the IMS_IBCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity receives an ReINVITE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                    from the IMS_P_CSCF_B entity
                }
            }
    } // End of TP_MW_SCSCF_RE_INVITE_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_RE_INVITE_03
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an initial RE-INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_B entity receives an ReINVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends an ReINVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                    from the IMS_IBCF_B entity
                }
            }
    } // End of TP_MW_SCSCF_RE_INVITE_03
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_RE_INVITE_04
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an initial RE-INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        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 and
            the UE_B entity previouslyEstablishedCallWith the UE_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_A entity receives an ReINVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                    to the IMS_IBCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity receives an ReINVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                    ;
                        ;;
                    from the IMS_P_CSCF_A entity
                }
            }
    } // End of TP_MW_SCSCF_RE_INVITE_04
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_BYE_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a BYE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.1.5, Clause 5.4.5.2, Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_P_CSCF_A entity receives an BYE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    from the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends an BYE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    to the IMS_I_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_BYE_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_BYE_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a BYE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.1.5, Clause 5.4.5.2, Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity previouslyEstablishedCallWith the UE_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives an BYE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    from the IMS_I_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends an BYE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    to the IMS_P_CSCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_BYE_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_BYE_03
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a BYE (Originating Network)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.1.5, Clause 5.4.5.1, Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the IMS_P_CSCF_B entity previouslyEstablishedCallWith the IMS_P_CSCF_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isNoLongerAvailable
                }
                then {
                    the IMS_S_CSCF_A entity sends an BYE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    to the IMS_P_CSCF_A entity
                    and the IMS_S_CSCF_A entity sends an BYE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    to the IMS_I_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_BYE_03
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_BYE_04
        
        Test objective  "Verify that the S-CSCF successfully processes a BYE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.1.5, Clause 5.4.5.2, Clause 6.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives an BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                    ;
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends an BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                    ;
                    to the IMS_I_CSCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_BYE_04
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_BYE_05
        
        Test objective  "Verify that the S-CSCF successfully processes a BYE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.1.5, Clause 5.4.5.2, Clause 6.3"
        
        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 and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives an BYE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                    ;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends an BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                    ;
                    to the IMS_I_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_BYE_05
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_BYE_06
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a BYE (Originating Network)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.1.5, Clause 5.4.5.1, Clause 6.3"
        
        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 and
            the IMS_P_CSCF_B entity previouslyEstablishedCallWith the IMS_P_CSCF_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity isNoLongerAvailable
                }
                then {
                    the IMS_S_CSCF_A entity sends an BYE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    to the IMS_P_CSCF_A entity
                    and the IMS_S_CSCF_A entity sends an BYE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    to the IMS_I_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_BYE_06
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_BYE_07
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a BYE (IMS De-registration with Active SIP Sessions)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.1.5, Clause 5.4.5.1, Clause 6.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the IMS_P_CSCF_B entity previouslyEstablishedCallWith the IMS_P_CSCF_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity isNoLongerAvailable
                }
                then {
                    the IMS_S_CSCF_A entity sends an BYE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    to the IMS_P_CSCF_A entity
                    and the IMS_S_CSCF_A entity sends an BYE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    to the IMS_I_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_BYE_07
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_200OK_BYE_01
        
        Test objective  "Verify that the S-CSCF successfully processes a 200 (OK) BYE (Originating Leg/Originating Network)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        ;
                    from the IMS_IBCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        ;
                    to the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_200OK_BYE_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_200OK_BYE_02
        
        Test objective  "Verify that the S-CSCF successfully processes a 200 (OK) BYE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives a 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        ;
                    from the IMS_IBCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        ;
                    to the IMS_P_CSCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_200OK_BYE_02
    
    // TP_MW_SCSCF_200OK_BYE_03 not applicable, re-use TP_MW_SCSCF_200OK_BYE_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_200OK_BYE_04
        
        Test objective  "Verify that the S-CSCF successfully processes a 200 (OK) BYE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        ;
                    from the IMS_IBCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        ;
                    to the IMS_P_CSCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_200OK_BYE_04
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_200OK_BYE_05
        
        Test objective  "Verify that the S-CSCF successfully processes a 200 (OK) BYE (Terminating Leg/Originating Network)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        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 IMS_S_CSCF_A entity receives a 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        ;
                    from the IMS_IBCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        ;
                    to the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_200OK_BYE_05
    
    // TP_MW_SCSCF_200OK_BYE_06 Not applicable, re-use TP_MW_SCSCF_200OK_BYE_05
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_CANCEL_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a CANCEL (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the IMS_P_CSCF_A entity hasAchieveInitialINVITE and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives an CANCEL containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends an CANCEL containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    to the IMS_IBCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_CANCEL_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_CANCEL_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a CANCEL (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the IMS_P_CSCF_B entity hasAchieveInitialINVITE and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives an CANCEL containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends an CANCEL containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                    ;
                    to the IMS_IBCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_CANCEL_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_CANCEL_03
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a CANCEL (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.1.3 and Clause 6.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity hasAchieveInitialINVITE and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                    ;
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                    ;
                    to the IMS_IBCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_CANCEL_03
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_CANCEL_04
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a CANCEL (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.2.7 and Clause 6.3"
        
        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 and
            the UE_B entity hasAchieveInitialINVITE and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                    ;
                    from the IMS_IBCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                    ;
                    to the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_CANCEL_04
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_486INVITE_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the S-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses Clause 5.2.7 and Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity isBusy
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives a 486_INVITE containing
                        From indicating value PX_UA_B_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_B_CALLID,
                        Via indicating value PX_UA_B_VIA,
                        Route indicating value PX_UA_B_SERVICE_ROUTE
                    ;
                    from the IMS_IBCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 486_INVITE containing
                        From indicating value PX_UA_B_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_B_CALLID,
                        Via indicating value PX_UA_B_VIA,
                        Route indicating value PX_UA_B_SERVICE_ROUTE
                    ;
                    to the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_486INVITE_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_486INVITE_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the S-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.2.7 and Clause 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity isBusy
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives a 486_INVITE containing
                        From indicating value PX_UA_B_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_B_CALLID,
                        Via indicating value PX_UA_B_VIA,
                        Route indicating value PX_UA_B_SERVICE_ROUTE
                    ;
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a 486_INVITE containing
                        From indicating value PX_UA_B_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_B_CALLID,
                        Via indicating value PX_UA_B_VIA,
                        Route indicating value PX_UA_B_SERVICE_ROUTE
                    ;
                    to the IMS_IBCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_486INVITE_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_486INVITE_03
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the S-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.2.7 and Clause 6.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity isBusy
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives a 486_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                    ;
                    from the IMS_IBCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a 486_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                    ;
                    to the IMS_P_CSCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_486INVITE_03
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_486INVITE_04
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the S-CSCF successfully processes a 486 INVITE (busy) to reject call (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        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 and
            the UE_A entity isBusy
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives a 486_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                    ;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 486_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                    ;
                    to the IMS_IBCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_486INVITE_04
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_487INVITE_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the S-CSCF successfully processes a 487 INVITE (busy) to reject call (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            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
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                    ;
                    from the IMS_IBCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                    ;
                    to the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_487INVITE_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_487INVITE_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the S-CSCF successfully processes a 487 INVITE (busy) to reject call (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            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
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                    ;
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                    ;
                    to the IMS_IBCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_487INVITE_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_487INVITE_03
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the S-CSCF successfully processes a 487 INVITE (busy) to reject call (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_B entity receives a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                    ;
                    from the IMS_IBCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                    ;
                    to the IMS_P_CSCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_487INVITE_03
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_487INVITE_04
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the S-CSCF successfully processes a 487 INVITE (busy) to reject call (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                    ;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 487_INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                    ;
                    to the IMS_IBCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_487INVITE_04
    
} // End of Package TP_MW_SI