Commit e1516036 authored by Yann Garcia's avatar Yann Garcia
Browse files

Upadate Registration at Gm interface

parent 96df3b78
Loading
Loading
Loading
Loading
+120 −12
Original line number Original line Diff line number Diff line
@@ -18,10 +18,119 @@ Package TP_GM {
    
    
    import all from Sip_Common;
    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"
        
        Config Id CFG_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 isNotRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart
                }
                then {
                    the UE_A entity sends 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
                            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 UE_A entity receives 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"
        
        Config Id CFG_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 isNotRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the UE_A entity isTriggeredToStart and
                    the UE_A entity hasAchieveFirstRegistration
                }
                then {
                    the UE_A entity sends 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 UE_A entity receives 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 {
    Test Purpose {
        
        
        TP Id TP_GM_UE_INVITE_01
        TP Id TP_GM_UE_INVITE_01
        Test objective  "Verify that the SUT successfully processes an initial INVITE (UE_A side)."
        Test objective  "Verify that the SUT successfully processes an initial INVITE (UE_A initiated)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",
@@ -45,12 +154,12 @@ Package TP_GM {
                }
                }
                then {
                then {
                    the IMS_P_CSCF_A entity receives an InitialINVITE containing
                    the IMS_P_CSCF_A entity receives an InitialINVITE containing
                        Route_HDR indicating value
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                            PX_P_SCF_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        Route_HDR indicating value
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                            PX_S_SCF_A_SIP_URI,
                        Via_HDR indicating value PX_UE_A_VIA,
                        Via_HDR indicating value
                        Route_HDR indicating value PX_S_SCF_A_SIP_URI,
                            P PX_P_SCF_A_VIA,
                        Via_HDR indicating value PX_UE_A_VIA,
                        P_Charging_Vector_HDR containing
                        P_Charging_Vector_HDR containing
                            ICID indicating value PX_IMS_A_ICID,
                            ICID indicating value PX_IMS_A_ICID,
                            ORIG_IOI indicating value PX_IMS_A_ORIG_IOI,
                            ORIG_IOI indicating value PX_IMS_A_ORIG_IOI,
@@ -63,12 +172,12 @@ Package TP_GM {
                        ;;;
                        ;;;
                }
                }
            }
            }
    } // End of TP TP_GM_UE_INVITE_01
    } // End of TP_GM_UE_INVITE_01
    
    
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_GM_UE_INVITE_02
        TP Id TP_GM_UE_INVITE_02
        Test objective  "Verify that the SUT successfully processes an initial INVITE (UE_B side)."
        Test objective  "Verify that the SUT successfully processes an initial INVITE (UE_B initiated)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",
@@ -94,13 +203,12 @@ Package TP_GM {
                    the UE_B entity receives an InitialINVITE containing
                    the UE_B entity receives an InitialINVITE containing
                        P_Asserted_Identity_HDR containing
                        P_Asserted_Identity_HDR containing
                            SIP_URI indicating value PX_UE_A_SIP_URI,
                            SIP_URI indicating value PX_UE_A_SIP_URI,
                        P_Asserted_Identity_HDR containing
                            TEL_URI indicating value PX_UE_A_TEL_URI
                            TEL_URI indicating value PX_UE_A_TEL_URI
                            ;
                            ;
                        ;;
                        ;
                }
                }
            }
            }
    } // End of TP TP_GM_UE_INVITE_02
    } // End of TP_GM_UE_INVITE_02
    
    
} // End of Package TP_GM
} // End of Package TP_GM
+16 −0
Original line number Original line Diff line number Diff line
@@ -56,12 +56,19 @@ Package Sip_Common {
            - sends
            - sends
            - forwards
            - forwards
            // Initial conditions
            // Initial conditions
            - isTriggeredToStart
            - isNotRegisteredTo
            - isNotRegisteredTo
            - hasAchieveFirstRegistration
            - isRegisteredTo
            - isRegisteredTo
            - isNotAttachedTo
            - isNotAttachedTo
            - isAttachedTo
            - isAttachedTo
            - isRequestedToSend
            - isRequestedToSend
            // SIP Requests
            - REGISTER
            - InitialINVITE
            - InitialINVITE
            // SIP Responses
            - Ok
            - Unauthorized
        ;
        ;
    } // End of Domain section
    } // End of Domain section


@@ -70,9 +77,18 @@ Package Sip_Common {
//        PX_Affected_IMPU,
//        PX_Affected_IMPU,
//        PX_Contact,
//        PX_Contact,
//        PX_UE_A_SIP_URI,
//        PX_UE_A_SIP_URI,
//        PX_UE_A_TEL_URI,
//        PX_UE_A_CALLID,
//        PX_UE_A_REALM,
//        PX_UE_A_USERNAME,
//        PX_UE_A_VIA
//        PX_UE_A_AUTH_ALG
//        PX_UE_B_SIP_URI,
//        PX_UE_B_SIP_URI,
//        PX_UE_B_TEL_URI,,
//        PX_P_CSCF_A_SIP_URI,
//        PX_IMS_A_ICID,
//        PX_IMS_A_ICID,
//        PX_IMS_A_ORIG_IOI
//        PX_IMS_A_ORIG_IOI
//        PX_TO_BE_DEFINED
//        ;
//        ;
//    } // End of Const section
//    } // End of Const section