TP_MW_SS.tplan2

                }
            }
        
    } // End of TP_MW_SCSCF_BYE_02
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_BYE_03
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Originating Network)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.7 and 6.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the IMS_P_CSCF_B entity previouslyEstablishedCallWith the IMS_P_CSCF_A
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_B entity isNoLongerAvailable
                }
                then {
                    the IMS_S_CSCF_A entity sends an BYE containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_BYE_03
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_CANCEL_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.7 and 6.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the IMS_P_CSCF_A entity hasAchieveInitialINVITE and
            the UE_A entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_P_CSCF_A entity sends an CANCEL containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the IMS_S_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends an CANCEL containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the IMS_I_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_CANCEL_01
    
    Test Purpose {
        
        TP Id TP_MW_SCSCF_CANCEL_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a CANCEL (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.7 and 6.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the IMS_P_CSCF_B entity hasAchieveInitialINVITE and
            the UE_B entity isRequestedToSend a CANCEL
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives an CANCEL containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the IMS_I_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends an CANCEL containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_B_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Route indicating value PX_UA_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_CANCEL_02
    
    Test Purpose {
        
        TP Id TP_ME_PCSCF_486INVITE_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.7 and 6.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_B entity isBusy
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives a 486_INVITE containing
                        From indicating value PX_UA_B_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_B_CALLID,
                        Via indicating value PX_UA_B_VIA,
                        Route indicating value PX_UA_B_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the IMS_I_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 486_INVITE containing
                        From indicating value PX_UA_B_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_B_CALLID,
                        Via indicating value PX_UA_B_VIA,
                        Route indicating value PX_UA_B_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the IMS_P_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_486INVITE_01
    
    Test Purpose {
        
        TP Id TP_ME_PCSCF_486INVITE_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        Test objective  "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.7 and 6.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection  NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B and
            the UE_A entity isBusy
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_S_CSCF_A entity receives a 486_INVITE containing
                        From indicating value PX_UA_B_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_B_CALLID,
                        Via indicating value PX_UA_B_VIA,
                        Route indicating value PX_UA_B_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_S_CSCF_A entity sends a 486_INVITE containing
                        From indicating value PX_UA_B_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_B_CALLID,
                        Via indicating value PX_UA_B_VIA,
                        Route indicating value PX_UA_B_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the IMS_I_CSCF_A entity
                }
            }
        
    } // End of TP_MW_SCSCF_486INVITE_02
    
} // End of Package TP_MW_SI