/*
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 P-CSCF/S-CSCF */
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 1 500 bytes"
               
        Reference 
          "TS 124 229 (V15.6.0) [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_P_CSCF_A entity sends a MESSAGE
                       containing ContentLength indicating value greater than 1500 bytes
                       ;
                    to the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity forwards the MESSAGE
                    to the IMS_I_CSCF_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 SUT successfully processes a first registration."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.1, 5.2.2 and 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 isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_A entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA
                        ;
                    to the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_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_HDR indicating value "path",
                        Supported indicating value "path"
                        ;;
                        to the IMS_I_CSCF_A entity
                    and the IMS_S_CSCF_A entity sends an 401_Unauthorized containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Path,
                        Warning,
                        PAccessNetworkInfo,
                        WwwAuthenticate containing
                            Digest,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
                    to the IMS_P_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 SUT successfully processes a full registration."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.1, 5.2.2 and 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 isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the IMS_P_CSCF_A entity hasAchieveFirstREGISTER
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_A entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Authorization containing
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UA_A_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
                    to the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Authorization containing
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UA_A_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth",
                        PChargingVector
                        ;;
                    to the IMS_I_CSCF_A entity
                    and the IMS_S_CSCF_A entity sends an 200_Ok containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        AuthenticationInfo,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UA_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_P_CSCF_A entity
                }
            }
    } // End of TP_MW_SCSCF_REGISTER_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_REGISTER_03
        // TP_IMST2_MW_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the SUT successfully processes a invalid first registration."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.1, 5.2.2 and 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 isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_A entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Authorization containing
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UA_A_INVALID_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Nonce indicating value ""
                        ;;
                    to the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Authorization containing
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UA_A_INVALID_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth",
                        PChargingVector
                        ;;
                    to the IMS_I_CSCF_A entity
                    and the IMS_S_CSCF_A entity sends an 404_NotFound containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID
                        ;
                    to the IMS_P_CSCF_A entity
                }
            }
    } // End of TP_MW_SCSCF_REGISTER_03
    
    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 SUT successfully processes a first registration."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.1, 5.2.2 and 6.2"
        
        Config Id CF_VxLTE_RMI
        
        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_P_CSCF_B entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        PVisitedNetworkID
                        ;
                    to the IMS_S_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_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_HDR indicating value "path",
                        Supported indicating value "path"
                        ;;
                        to the IMS_I_CSCF_B entity
                    and the IMS_S_CSCF_B entity sends an 401_Unauthorized containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Path,
                        Warning,
                        PAccessNetworkInfo,
                        PVisitedNetworkID,
                        WwwAuthenticate containing
                            Digest,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
                    to the IMS_P_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 SUT successfully processes a full registration."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.1, 5.2.2 and 6.2"
        
        Config Id CF_VxLTE_RMI
        
        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 and
            the IMS_P_CSCF_A entity hasAchieveFirstREGISTER
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_B entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Authorization containing
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UA_A_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
                    to the IMS_S_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Authorization containing
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UA_A_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth",
                        PChargingVector
                        ;;
                    to the IMS_I_CSCF_B entity
                    and the IMS_S_CSCF_B entity sends an 200_Ok containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        AuthenticationInfo,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UA_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_P_CSCF_B entity
                }
            }
    } // End of TP_MW_SCSCF_REGISTER_05
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_REGISTER_06
        // TP_IMST2_MW_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the SUT successfully processes a invalid first registration."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.1, 5.2.2 and 6.2"
        
        Config Id CF_VxLTE_RMI
        
        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_P_CSCF_B entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Authorization containing
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UA_A_INVALID_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Nonce indicating value ""
                        ;;
                    to the IMS_S_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Authorization containing
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UA_A_INVALID_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth",
                        PChargingVector
                        ;;
                    to the IMS_I_CSCF_B entity
                    and the IMS_S_CSCF_B entity sends an 404_NotFound containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID
                        ;
                    to the IMS_P_CSCF_B entity
                }
            }
    } // End of TP_MW_SCSCF_REGISTER_06
    
    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 network de-registration."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.1 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_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_A entity sends a REGISTER containing
                        Expire indicating value 0
                        ;
                    to the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity forwards a REGISTER containing
                        Expire indicating value 0
                        ;
                    to the IMS_I_CSCF_A entity
                }
            }
    } // End of TP_MW_SCSCF_REGISTER_07
    
    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 SUT successfully processes a SUBSCRIBE."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.3 and 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_P_CSCF_A entity sends 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
                        // TODO To be continued
                        ;
                    to the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends 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
                        // TODO To be continued
                        ;
                    to the IMS_I_CSCF_A entity
                    and 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
                        // TODO To be continued
                        ;
                    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 SUT successfully processes a SUBSCRIBE."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.3 and 6.2"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_B entity sends 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
                        // TODO To be continued
                        ;
                    to the IMS_S_CSCF_B entity
                }
                then {
                    the IMS_S_CSCF_B entity sends 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
                        // TODO To be continued
                        ;
                    to the IMS_I_CSCF_B entity
                    and 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
                        // TODO To be continued
                        ;
                    to the IMS_P_CSCF_B entity
                }
            }
    } // End of TP_MW_SCSCF_SUBSCRIBE_02
    
    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 SUT successfully processes an initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"
        
        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 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,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                // TODO To be continued
                            ;
                        ;;
                    to the IMS_S_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" 
                                // TODO To be continued
                            ;
                        ;;
                     to the IMS_I_CSCF_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 [2], clauses 5.2.7 and 6.2"
        
        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" 
                                // TODO To be continued
                            ;
                        ;;
                    from the IMS_I_CSCF_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" 
                                // TODO To be continued
                            ;
                        ;;
                     to the IMS_P_CSCF_B entity
                }
            }
            
    } // End of TP_MW_SCSCF_INVITE_02
    
    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 [2], clauses 5.2.7 and 6.2"
        
        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_I_CSCF_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 [2], clauses 5.2.7 and 6.2"
        
        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_I_CSCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_100TRY_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_180RINGING_01
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"
        
        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_I_CSCF_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
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the S-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"
        
        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_I_CSCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_180RINGING_02
    
    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 [2], clauses 5.2.7 and 6.2"
        
        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_I_CSCF_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 [2], clauses 5.2.7 and 6.2"
        
        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_I_CSCF_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_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 [2], clauses 5.2.7 and 6.2"
        
        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
                        // TODO To be continued
                    ;
                    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
                        // TODO To be continued
                    ;
                    from the IMS_I_CSCF_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 [2], clauses 5.2.7 and 6.2"
        
        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
                        // TODO To be continued
                    ;
                    from the IMS_I_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
                        // TODO To be continued
                    ;
                    from the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_ACK_02
    
    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 [2], 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" 
                                // TODO To be continued
                            ;
                        ;;
                    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" 
                                // TODO To be continued
                            ;
                        ;;
                    from the IMS_I_CSCF_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 [2], 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" 
                                // TODO To be continued
                            ;
                        ;;
                    to the IMS_I_CSCF_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" 
                                // TODO To be continued
                            ;
                        ;;
                    from the IMS_P_CSCF_B entity
                }
            }
    } // End of TP_MW_SCSCF_RE_INVITE_02
    
    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 [2], ETIS TS 124 229 [2] 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
                        // TODO To be continued
                    ;
                    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
                        // TODO To be continued
                    ;
                    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 [2], ETIS TS 124 229 [2] 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
                        // TODO To be continued
                    ;
                    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
                        // TODO To be continued
                    ;
                    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 [2], ETIS TS 124 229 [2] 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
                        // TODO To be continued
                    ;
                    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
                        // TODO To be continued
                    ;
                    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 [2], ETIS TS 124 229 [2] Clause 5.1.5, Clause 5.4.5.2, Clause 6.3"
        
        Config Id CF_VxLTE_RMI
        
        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
                        // TODO To be continued
                    ;
                    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
                        // TODO To be continued
                    ;
                    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 [2], ETIS TS 124 229 [2] Clause 5.1.5, Clause 5.4.5.2, Clause 6.3"
        
        Config Id CF_VxLTE_RMI
        
        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
                        // TODO To be continued
                    ;
                    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
                        // TODO To be continued
                    ;
                    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 [2], ETIS TS 124 229 [2] Clause 5.1.5, Clause 5.4.5.1, Clause 6.3"
        
        Config Id CF_VxLTE_RMI
        
        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
                        // TODO To be continued
                    ;
                    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
                        // TODO To be continued
                    ;
                    to the IMS_I_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_BYE_06
    
    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 [2], 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
                        // TODO To be continued
                        ;
                    from the IMS_I_CSCF_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
                        // TODO To be continued
                        ;
                    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 [2], 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
                        // TODO To be continued
                        ;
                    from the IMS_I_CSCF_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
                        // TODO To be continued
                        ;
                    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 [2], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_RMI
        
        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
                        // TODO To be continued
                        ;
                    from the IMS_I_CSCF_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
                        // TODO To be continued
                        ;
                    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 [2], clauses 5.2.7 and 6.3"
        
        Config Id CF_VxLTE_RMI
        
        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
                        // TODO To be continued
                        ;
                    from the IMS_I_CSCF_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
                        // TODO To be continued
                        ;
                    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 [2], clauses 5.2.7 and 6.2"
        
        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
                        // TODO To be continued
                    ;
                    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
                        // TODO To be continued
                    ;
                    to the IMS_I_CSCF_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 [2], clauses 5.2.7 and 6.2"
        
        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_B 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
                        // TODO To be continued
                    ;
                    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
                        // TODO To be continued
                    ;
                    to the IMS_I_CSCF_B entity
                }
            }
        
    } // End of TP_MW_SCSCF_CANCEL_02
    
    Test Purpose {
        
        TP Id TP_ME_PCSCF_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 [2], clauses 5.2.7 and 6.2"
        
        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
                        // TODO To be continued
                    ;
                    from the IMS_I_CSCF_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
                        // TODO To be continued
                    ;
                    to the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_486INVITE_01
    
    Test Purpose {
        
        TP Id TP_ME_PCSCF_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 [2], clauses 5.2.7 and 6.2"
        
        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 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
                        // TODO To be continued
                    ;
                    from the IMS_P_CSCF_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
                        // TODO To be continued
                    ;
                    to the IMS_I_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_486INVITE_02
    
} // End of Package TP_MW_SI