/*
Copyright (c) ETSI 2019.

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_REGISTER_01
        Test objective  "Verify that the SUT successfully processes a first registration (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",
            "TP_IMST2_GM_REG_01"
        
        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_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_A_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Authorization_HDR 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 ""
                        ;;
                    and the IMS_P_CSCF_A entity sends an Unauthorized containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_A_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Warning_HDR,
                        P_Access_Network_Info_HDR
                        WWW_Authenticate_HDR containing
                            Digest_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)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",
            "TP_IMST2_GM_REG_08"
        
        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 and
                    the UE_A entity hasAchieveFirstRegistration
                }
                then {
                    the IMS_P_CSCF_A entity receives a REGISTER containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_A_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Authorization_HDR 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"
                        ;;
                    and the IMS_P_CSCF_A entity sends an Ok containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_A_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Authentication_Info_HDR,
                        P_Access_Network_Info_HDR,
                        P_Associated_URI_HDR indicating value PX_UE_A_SIP_URI,
                        P_Charging_Function_Addresses_HDR,
                        Path_HDR,
                        Service_Route_HDR
                        ;
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_03
        Test objective  "Verify that the SUT successfully processes a invalid first registration (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",
            "TP_IMST2_GM_REG_01"
        
        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_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_A_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Authorization_HDR 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 NotFound containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_A_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID
                        ;
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_03
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_SUBSCRIBE_01
        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.3, 6.1.1 and 6.1.2",
            "TP_IMS_5044_01"
        
        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_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Route_HDR indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                        ;
                     and the IMS_P_CSCF_A entity sends a Ok containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR 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
        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, 6.1.1 and 6.1.2",
            "TP_IMST2_GM_INI_05"
        
        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_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Route_HDR indicating value PX_UE_A_SERVICE_ROUTE,
                        P_Access_Network_Info_HDR,
                        MessageBody containing
                            SDP_HDR containing
                                SDP_Version indicating value "0" 
                                // TODO To be continued
                            ;
                        ;;
                     and the IMS_P_CSCF_A entity sends a Trying containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA
                        ;
                     or the IMS_P_CSCF_A entity sends a Ringing containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA
                        ;
                     and the IMS_P_CSCF_A entity sends a Ok containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA
                        ;
                     and the IMS_P_CSCF_A entity receives a ACK containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Via_HDR indicating value PX_UE_A_VIA
                        ;
                 }
            }
    } // End of TP_GM_PCSCF_INVITE_01
    
} // End of Package TP_GM