TP_GM.tplan2

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

Package TP_GM {
    
    import all from Sip_Common;
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_MESSAGE_01
        // TP_IMS_4002_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_GEN_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective "Verify that the P-CSCF successfully processes a SIP messages greather than 1 500 bytes"
               
        Reference 
          "TS 124 229 (V15.6.0) [1], clause 4.2A"
        
        Config Id CF_VxLTE_INT
                  
        PICS Selection PICS_1
        
        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 UE_A entity isRequestedToSend a MESSAGE
                       containing ContentLength indicating value greater than 1500 bytes
                       ;
                    to the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_P_CSCF_A entity receives the MESSAGE
                    from the UE_A entity
                }
            }
            
    }  // End of TP_GM_PCSCF_MESSAGE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_01
        
        Test objective "Verify that the P-CSCF successfully processes a first registration."
        // TP_IMS_5005_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.1 and 6.1.1"
        
        Config Id CF_VxLTE_INT // And CFG_RMI_GM_01
        
        PICS Selection PICS_1
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart
                }
                then {
                    the IMS_P_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_Schema 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 term_ioi,
                        not SecurityClient
                        ;;
                    from the UE_A entity
                    and the IMS_P_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 UE_A entity
                }
            }
            
    } // End of TP_GM_PCSCF_REGISTER_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_02
        
        Test objective "Verify that the P-CSCF successfully processes a full registration."
        // TP_IMS_5092_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_REG_08 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.1 and 6.1.1"
        
        Config Id CF_VxLTE_INT // And CFG_RMI_GM_01
        
        PICS Selection PICS_1
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_A entity hasAchieveFirstRegistration
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_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_Schema 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",
                        not SecurityClient
                        ;;
                }
                then {
                    the IMS_P_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 UE_A entity
                }
            }
            
    } // End of TP_GM_PCSCF_REGISTER_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_03
        // TD_IMS_REG_0003 from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // TP_IMST2_GM_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an invalid first registration."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.1 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection PICS_1
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart
                }
                then {
                    the IMS_P_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_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UE_A_INVALID_USERNAME,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value ""
                        ;;
                    and the IMS_P_CSCF_A entity sends an 404_NotFound containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID
                        ;
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_SUBSCRIBE_01
        // TP_IMS_5044_01 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 P-CSCF successfully processes a SUBSCRIBE."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.2 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection PICS_1
        
        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 UE_A entity isRequestedToSend a SUBSCRIBE
                }
                then {
                    the IMS_P_CSCF_A entity receives an SUBSCRIBE 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 UE_A entity
                     and the IMS_P_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
                        // TODO To be continued
                        ;
                     to the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_SUBSCRIBE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_INVITE_01
        // TP_IMS_5046_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_05 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection PICS_1
        
        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 UE_A entity isRequestedToSend an INVITE
                }
                then {
                    the IMS_P_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" 
                                // TODO To be continued
                            ;
                        ;;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_INVITE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_INVITE_02
        // TP_IMS_5046_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_05 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection PICS_1
        
        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 UE_A entity isRequestedToSend an INVITE
                }
                then {
                    the IMS_P_CSCF_B entity sends an 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,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0" 
                                // TODO To be continued
                            ;
                        ;;
                    to the UE_B entity
                }
            }
    } // End of TP_GM_PCSCF_INVITE_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_100TRY_01
        // TP_IMS_5070_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  PICS_1
        
        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 UE_A entity hasAchieveInitialINVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 100_Trying
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_100TRY_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_100TRY_02
        // TP_IMS_5070_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_02 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  PICS_1
        
        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 UE_B entity sends a 100_Trying 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_B entity
                }
                then {
                    the IMS_P_CSCF_B entity receives a 100_Trying 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 UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_100TRY_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_180RINGING_01
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  PICS_1
        
        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 UE_A entity hasAchieveInitialINVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 180_Ringing containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_180RINGING_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_180RINGING_02
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  PICS_1
        
        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 UE_B entity sends a 180_Ringing 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,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                        // TODO To be continued
                    ;
                    to the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_P_CSCF_B entity receives a 180_Ringing 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,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                        // TODO To be continued
                    ;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_180RINGING_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_01
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_04A 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 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  PICS_1
        
        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 UE_A entity hasAchieveInitialINVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 200_Ok containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_02
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A 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 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  PICS_1
        
        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 UE_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_B_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                        // TODO To be continued
                    ;
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_P_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,
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                        // TODO To be continued
                    ;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_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 P-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  PICS_1
        
        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 UE_A entity hasAchieveINVITE
                }
                then {
                    the IMS_P_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
                        // TODO To be continued
                    ;
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_ACK_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_ACK_02
        // TP_IMS_5055_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 P-CSCF successfully processes a ACK provisional response on initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  PICS_1
        
        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 UE_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
                        // TODO To be continued
                    ;
                    to the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_P_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
                        // TODO To be continued
                    ;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_ACK_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_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 P-CSCF successfully processes an initial RE-INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection PICS_1
        
        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 UE_A entity isRequestedToSend an ReINVITE
                }
                then {
                    the IMS_P_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" 
                                // TODO To be continued
                            ;
                        ;;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_RE_INVITE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_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 P-CSCF successfully processes an initial RE-INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection PICS_1
        
        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 UE_A entity isRequestedToSend an ReINVITE
                }
                then {
                    the IMS_P_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" 
                                // TODO To be continued
                            ;
                        ;;
                    from the UE_B entity
                }
            }
    } // End of TP_GM_PCSCF_RE_INVITE_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_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 P-CSCF successfully processes a BYE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  PICS_1
        
        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 UE_A entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_A 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 UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_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 P-CSCF successfully processes a BYE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4, 6.1.1 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  PICS_1
        
        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 UE_A entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_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 UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_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 P-CSCF successfully processes a BYE (Network initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4, 6.1.1 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  PICS_1
        
        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 UE_A entity isNoLongerAvailable
                }
                then {
                    the IMS_P_CSCF_A entity sends 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
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_CANCEL_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  PICS_1
        
        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 hasAchieveInitialINVITE
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a CANCEL
                }
                then {
                    the IMS_P_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
                        // TODO To be continued
                    ;
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_CANCEL_01