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 "IMS CN components shall support SIP messages > 1 500 bytes"
               
        Reference 
          "TS 124 229 (V15.6.0) [1], clause 4.2A"
        
        Config Id CFG_INT_GM_01
                  
        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 IMS_P_CSCF_A entity receives a MESSAGE
                       containing ContentLength indicating value greater than 1500 bytes
                       ;
                    from the UE_A entity
                }
                then {
                    the IMS_P_CSCF_A entity forwards the MESSAGE
                    to the IMS_S_CSCF_A entity
                }
            }
            
    }  // End of TP_GM_PCSCF_MESSAGE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_01
        
        Test objective "Verify that the SUT successfully processes a first registration (UE_A initiated)."
        // 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 CFG_INT_GM_01 // 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
                        ;;
                    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"
                        ;;
                }
            }
            
    } // End of TP_GM_PCSCF_REGISTER_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_02
        
        Test objective "Verify that the SUT successfully processes a full registration (UE_A initiated)."
        // 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 CFG_INT_GM_01 // 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 and
                    the UE_A entity hasAchieveFirstRegistration
                }
                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 empty",
                            qop indicating value "auth",
                        not SecurityClient
                        ;;
                    and 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
                        ;
                }
            }
            
    } // 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 SUT successfully processes an invalid first registration (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.1 and 6.1.1"
        
        Config Id CFG_INT_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_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)
        // 
        
        Test objective  "Verify that the SUT successfully processes a SUBSCRIBE (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.2 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
        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
                        ;
                     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
                        ;
                 }
            }
    } // 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 SUT successfully processes an initial INVITE (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
        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
                            ;
                        ;;
                 }
            }
    } // 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 SUT successfully processes an initial INVITE (UE_B initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
        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
                            ;
                        ;;
                 }
            }
    } // 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 P-CSCF forwards a 100 (Trying) provisional response on initial INVITE (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
        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_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 P-CSCF forwards a 180 (Ringing) provisional response on initial INVITE (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
        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 P-CSCF forwards a 180 (Ringing) provisional response on initial INVITE (UE_B initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
        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 hasAchieveInitialINVITE
                }
                then {
                    the IMS_P_CSCF_A entity receives a 180_Ringing containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                    from the UE_A 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 P-CSCF forwards a 200 (OK) provisional response on initial INVITE (UE_B initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
        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_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 P-CSCF forwards a ACK provisional response on initial INVITE (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
        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 P-CSCF sends a ACK provisional response on initial INVITE (UE_B initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
        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 IMS_P_CSCF_A entity isRequestedToSend ACK
                }
                then {
                    the IMS_P_CSCF_A entity sends an ACK containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_ACK_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 P-CSCF forwards a BYE (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
        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 P-CSCF forwards 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 CFG_INT_GM_01
        
        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 IMS_P_CSCF_A entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_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 UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_CANCEL_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that P-CSCF forwards a BYE (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
        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 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
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_CANCEL_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that P-CSCF forwards a BYE (UE_B initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
        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 IMS_P_CSCF_A entity isRequestedToSend a CANCEL
                }
                then {
                    the IMS_P_CSCF_A entity sends an CANCEL containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_CANCEL_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_486INVITE_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that P-CSCF forwards a 486 INVITE (busy) to reject call (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
        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 IMS_P_CSCF_A entity isRequestedToSend a 486_INVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 486_INVITE
                    // TODO
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_486INVITE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_486INVITE_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that P-CSCF forwards a 486 INVITE (busy) to reject call (UE_B initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
        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 hasAchieveInitialINVITE
                }
                then {
                    the IMS_P_CSCF_A entity receives a 486_INVITE
                    // TODO
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_486INVITE_02
    
} // End of Package TP_GM