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

/* Gm interface at UE/P-CSCF */
Package TP_GM {
    
    import all from Sip_Common;
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_MESSAGE_01
        
        Test objective "Verify that the P-CSCF successfully processes a SIP messages greater than 1 300 bytes"
               
        Reference 
          "TS 124 229 [1], clause 4.2A (1st paragraph)"
        
        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 UE_A entity isRequestedToSend a MESSAGE 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,
                        ContentLength indicating value greater than 1_300 bytes;
                    to the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_P_CSCF_A entity receives the MESSAGE 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,
                        ContentLength indicating value greater than 1_300 bytes;
                    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_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        PChargingVector containing
                            orig_ioi indicating value PX_OPERATOR_ID_A,
                            term_ioi indicating value PX_OPERATOR_ID_B,
                        not PAccessNetworkInfo;;
                    to 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 (Successful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.1.1, 6.1.1 and 6.1.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart
                }
                then {
                    the UE_A entity sends a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                            Authentication_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;;
                    to the IMS_P_CSCF_A entity
                    and the UE_A entity receives 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";;
                    from the IMS_P_CSCF_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 (Successful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.1.1, 6.1.1 and 6.1.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the UE_A entity hasAchievedFirstRegistration
        }
        
        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;;
                    from the UE_A entity
                }
                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
        
        Test objective  "Verify that the P-CSCF successfully processes an invalid first registration (Unsuccessful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.1.1, 6.1.1 and 6.1.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the 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 "";;
                    from the UE_A entity
                    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;
                    to the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_04
        
        Test objective "Verify that the P-CSCF successfully processes a first registration (Successful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.1.1, 6.1.1 and 6.1.3"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart
                }
                then {
                    the UE_A entity sends a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                            Authentication_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;;
                    to the IMS_P_CSCF_B entity
                    and the UE_A entity receives 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,
                        PVisitedNetwork,
                        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";;
                    from the IMS_P_CSCF_B entity
                }
            }
            
    } // End of TP_GM_PCSCF_REGISTER_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_05
        
        Test objective "Verify that the P-CSCF successfully processes a full registration (Successful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.1.1 and 6.1.13"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the UE_A entity hasAchievedFirstRegistration
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_B entity receives a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                            Authentication_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;;
                    from the UE_A entity
                }
                then {
                    the IMS_P_CSCF_B entity sends an 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        AuthenticationInfo,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UE_A_SIP_URI,
                        PVisitedNetwork,
                        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_05
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_06
        
        Test objective  "Verify that the P-CSCF successfully processes an invalid first registration (Unsuccessful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.1.1 and 6.1.1"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart
                }
                then {
                    the IMS_P_CSCF_B entity receives a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                            Authentication_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_B 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_06
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_07
        
        Test objective  "Verify that the P-CSCF successfully processes a user de-registration (no SIP session active)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.2.5.1 and 6.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 UE_A entity isTriggeredToDetachUser
                }
                then {
                    the UE_A entity sends a REGISTER containing
                        Expire indicating value 0;
                    to the IMS_P_CSCF_A entity
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_07
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_08
        
        Test objective  "Verify that the P-CSCF successfully processes a user de-registration (no SIP session active)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.2.5.1 and 6.1"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToDetachUser
                }
                then {
                    the IMS_P_CSCF_B entity receives a REGISTER containing
                        Expire indicating value 0;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_08
    
    // TP_GM_PCSCF_REGISTER_09 Not applicable
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_10
        
        Test objective  "Verify that the P-CSCF successfully processes a user de-registration (with SIP session active)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.2.5.1 and 6.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 UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToDetachUser
                }
                then {
                    the UE_A entity sends a REGISTER containing
                        Expire indicating value 0;
                    to the IMS_P_CSCF_A entity and
                    the UE_A entity receives a BYE
                    from the IMS_P_CSCF_A entity
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_10
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_SUBSCRIBE_01
        
        Test objective  "Verify that the P-CSCF successfully processes a SUBSCRIBE."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.1.1, 6.1.1 and 6.1.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity 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;
                     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;
                     to the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_SUBSCRIBE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_SUBSCRIBE_02
        
        Test objective  "Verify that the P-CSCF successfully processes a SUBSCRIBE."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.1.1, 6.1.1 and 6.1.2"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend a SUBSCRIBE
                }
                then {
                    the UE_A entity sends 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;
                     to the IMS_P_CSCF_B entity
                     and the UE_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,
                        PVisitedNetwork;
                     to the IMS_P_CSCF_B entity
                }
            }
    } // End of TP_GM_PCSCF_SUBSCRIBE_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_NOTIFY_01
        
        Test objective  "Verify that the P-CSCF successfully processes a NOTIFY in case of IMS Administrative de-registration."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.2.1, 6.1.1 and 6.1.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_A entity isRequestedToSend a NOTIFY
                }
                then {
                    the IMS_P_CSCF_A entity sends an NOTIFY containing
                        Event indicating value "reg,de-reg";
                     to the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_NOTIFY_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_NOTIFY_02
        
        Test objective  "Verify that the P-CSCF successfully processes a NOTIFY in case of IMS Administrative de-registration."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.2.1, 6.1.1 and 6.1.2"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_B entity receives a NOTIFY containing
                        Event indicating value "reg,de-reg"
                    ;
                }
                then {
                    the IMS_P_CSCF_B entity sends an NOTIFY containing
                        Event indicating value "reg,de-reg";
                     to the UE_A entity and
                     the UE_A entity sends a 200_Ok
                     to the IMS_P_CSCF_B entity
                }
            }
    } // End of TP_GM_PCSCF_NOTIFY_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_01
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) NOTIFY (IMS Administrative de-registration)."
        
        Reference 
            "ETSI TS 124 229 [1], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that { 
                when {
                    the IMS_S_CSCF_A entity isRequestedToSend a NOTIFY containing
                        Event indicating value "reg,de-reg"
                    ;
                }
                then {
                    the UE_A entity sends a 200_Ok
                    to the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_INVITE_01
        
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.2.7.2, 5.4.4.1, 5.4.4.2 and 6.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
        }
        
        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";;;
                    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_03A 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 [1], Clauses 5.2.7.3 and 6.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
        }
        
        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";;;
                    to the UE_B entity
                }
            }
    } // End of TP_GM_PCSCF_INVITE_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_INVITE_03
        
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.2.7.2 and 6.1"
        
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_B and
            the UE_B entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToSend an INVITE
                }
                then {
                    the IMS_P_CSCF_B entity receives an INVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PAccessNetworkInfo,
                        MessageBody containing
                            SDP containing
                                Version indicating value "0";;;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_INVITE_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_INVITE_04
        
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.2.7.3 and 6.1"
        
        Config Id CF_VxLTE_RMI_A
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_B entity isRequestedToSend an INVITE
                }
                then {
                    the IMS_P_CSCF_A 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";;;
                    to the UE_B entity
                }
            }
    } // End of TP_GM_PCSCF_INVITE_04
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_100TRY_01
        
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.3.5 and 6.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
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity hasAchievedInitialINVITE
                }
                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 (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.3.5 and 6.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
        }
        
        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;
                    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;
                    from the UE_B entity
                }
            }
        
    } // End of TP_GM_PCSCF_100TRY_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_100TRY_03
        // 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 [1], Clauses 5.3.5 and 6.1"
        
        Config Id CF_VxLTE_INT
        
        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 UE_A entity hasAchievedInitialINVITE
                }
                then {
                    the IMS_P_CSCF_B entity sends a 100_Trying
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_100TRY_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_100TRY_04
        // 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 [1], Clauses 5.3.5 and 6.1"
        
        Config Id CF_VxLTE_RMI_A
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_A
        }
        
        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,