/*
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_ECO_REGISTER_01
        
        Test objective "Verify that the P-CSCF successfully processes initial emergency registration (Successful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.6.2 and 5.2.10.1"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity not isRegisteredTo the IMS_A
        }
        
        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,
                        Contact indicating value "sos"
                        ;
                    to the UE_A entity
                }
                then {
                    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,
                        P_Associated_URI indicating value ListOfImplicitelyRegisteredPublicUserIdentities;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_ECO_REGISTER_01

    Test Purpose {
        
        TP Id TP_GM_PCSCF_ECO_REGISTER_02
        
        Test objective "Verify that the emergency registration is rejected with 420 (Bad Extension) and emergency call shall continue without registration (Unsuccessful registration)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.6.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity not isRegisteredTo the IMS_A
        }
        
        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,
                        Contact indicating value "sos"
                        ;
                    to the UE_A entity
                }
                then {
                	the IMS_P_CSCF_A entity sends a 420_BadExtension 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;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_ECO_REGISTER_02

    Test Purpose {
        
        TP Id TP_GM_PCSCF_ECO_INVITE_01
        
        Test objective  "Verify that the P-CSCF successfully receives an initial emergency INVITE from an unregistered UE."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.6.8.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 not isRegisteredTo the IMS_A and
            the UE_A entity not isEmergencyRegisteredTo the IMS_A
         }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToEstablishEmergencyCall
                }
                then {
                    the IMS_P_CSCF_A entity receives an INVITE containing
                        From indicating value "Anonymous",
                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA, // see 5.1.6.8.2 7)
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        MessageBody;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_ECO_INVITE_01

    Test Purpose {
        
        TP Id TP_GM_PCSCF_ECO_INVITE_02
        
        Test objective  "Verify that the P-CSCF successfully receives an initial emergency INVITE from an emergency registered UE."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.6.8.3"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity isEmergencyRegisteredTo the IMS_A
         }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToEstablishEmergencyCall
                }
                then {
                    the IMS_P_CSCF_A entity receives an INVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PPreferredIdentity, // one or two instances
                        // TODO Geolocation header maybe added later, check!
                        MessageBody;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_ECO_INVITE_02

    Test Purpose {
        
        TP Id TP_GM_PCSCF_ECO_INVITE_03
        
        Test objective  "Verify that the P-CSCF successfully receives an initial emergency INVITE from a registered but not emergency registered UE."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.6.8.4"
        
        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 and
            the UE_A entity not isEmergencyRegisteredTo the IMS_A
            /* This implies that the UE is currently attached and registered 
               to its home operator's network and the IP-CAN does not define emergency bearers
               see 5.1.6.1 3rd paragraph */
         }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToEstablishEmergencyCall
                }
                then {
                    the IMS_P_CSCF_A entity receives an INVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_SIP_EMERGENCY_SERVICE_URN,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        PPreferredIdentity, // one or two instances
                        MessageBody;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_ECO_INVITE_03

    Test Purpose {
        
        TP Id TP_GM_PCSCF_ECO_INVITE_04
        
        Test objective  "Verify that the P-CSCF successfully receives an initial eCall type INVITE from an emergency registered UE."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.6.11"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity isEmergencyRegisteredTo the IMS_A
         }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isRequestedToEstablisheCallTypeEmergencyCall
                }
                then {
                    the IMS_P_CSCF_A entity receives an INVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_SIP_ECALL_EMERGENCY_SERVICE_URN, // "urn:service:sos.ecall.manual" or "urn:service:sos.ecall.automatic"
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        Accept indicating value "application/EmergencyCallData.Control+xml",
                        RecvInfo indicating value "EmergencyCallData.eCall.MSD",
                        PPreferredIdentity, // one or two instances
                        // TODO Geolocation header maybe added later, check!
                        MessageBody containing
                           MIME containing MSD;;; // MIME may contain additional parts e.g., sdp, xml
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_ECO_INVITE_04

} // End of Package TP_GM