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

Upadate Registration at Gm interface

parent 96df3b78
Loading
Loading
Loading
Loading
+171 −36
Original line number Original line Diff line number Diff line
@@ -20,12 +20,120 @@ Package TP_GM {
    
    
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_GM_UE_INVITE_01
        TP Id TP_GM_PCSCF_REGISTER_01
        Test objective  "Verify that the SUT successfully processes an initial INVITE (UE_A side)."
        Test objective  "Verify that the SUT successfully processes a first registration (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"
            "TP_IMS_5097_01"
        
        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 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
                            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"
        
        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 hasAchieveFirstREGISTER
                }
                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 indicating value PX_UE_A_SERVICE_ROUTE
                        ;
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_02
    
    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"
        
        
        Config Id CFG_GM_01
        Config Id CFG_GM_01
        
        
@@ -41,38 +149,35 @@ Package TP_GM {
        Expected behaviour
        Expected behaviour
            ensure that {
            ensure that {
                when {
                when {
                    the UE_A entity isRequestedToSend an InitialINVITE
                    the UE_A entity isRequestedToSend a SUBSCRIBE
                }
                }
                then {
                then {
                    the IMS_P_CSCF_A entity receives an InitialINVITE containing
                    the IMS_P_CSCF_A entity receives an SUBSCRIBE 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_UE_A_SERVICE_ROUTE
                            P PX_P_SCF_A_VIA,
                        // TODO To be continued
                        P_Charging_Vector_HDR containing
                        ;
                            ICID indicating value PX_IMS_A_ICID,
                     and the IMS_P_CSCF_A entity sends a Ok containing
                            ORIG_IOI indicating value PX_IMS_A_ORIG_IOI,
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                            "not" Access_Network_Charging_Info_HDR,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                            "not" Term_Ioi_HDR
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                        Record_Route_HDR containing
                        Via_HDR indicating value PX_UE_A_VIA
                            Originating indicating value PX_S_SCF_A_SIP_URI,
                        // TODO To be continued
                        "not" containing P_Access_Network_Info_HDR
                        ;
                        ;
                        ;;;
                 }
                 }
            }
            }
    } // End of TP TP_GM_UE_INVITE_01
    } // End of TP_GM_PCSCF_SUBSCRIBE_01
    
    
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_GM_UE_INVITE_02
        TP Id TP_GM_PCSCF_INVITE_01
        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_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"
            "TP_IMS_5097_02"
        
        
        Config Id CFG_GM_01
        Config Id CFG_GM_01
        
        
@@ -88,19 +193,49 @@ Package TP_GM {
        Expected behaviour
        Expected behaviour
            ensure that {
            ensure that {
                when {
                when {
                    the UE_A entity sends an InitialINVITE
                    the UE_A entity isRequestedToSend an INVITE
                }
                }
                then {
                then {
                    the UE_B entity receives an InitialINVITE containing
                    the IMS_P_CSCF_A entity receives an INVITE containing
                        P_Asserted_Identity_HDR containing
                        FROM_HDR indicating value PX_UE_A_SIP_URI,
                            SIP_URI indicating value PX_UE_A_SIP_URI,
                        TO_HDR indicating value PX_UE_B_SIP_URI,
                        P_Asserted_Identity_HDR containing
                        CALLID_HDR indicating value PX_UE_A_CALLID,
                            TEL_URI indicating value PX_UE_A_TEL_URI
                        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 TP_GM_UE_INVITE_02
    } // End of TP_GM_PCSCF_INVITE_01
    
    
} // End of Package TP_GM
} // End of Package TP_GM
+22 −1
Original line number Original line Diff line number Diff line
@@ -56,12 +56,24 @@ Package Sip_Common {
            - sends
            - sends
            - forwards
            - forwards
            // Initial conditions
            // Initial conditions
            - isTriggeredToStart
            - isNotRegisteredTo
            - isNotRegisteredTo
            - isRegisteredTo
            - isRegisteredTo
            - isNotAttachedTo
            - isNotAttachedTo
            - isAttachedTo
            - isAttachedTo
            - isRequestedToSend
            - isRequestedToSend
            - InitialINVITE
            // SIP Requests
            - hasAchieveFirstREGISTER
            - REGISTER
            - SUBSCRIBE
            - hasAchieveInitialINVITE
            - INVITE
            // SIP Responses
            - Unauthorized
            - Trying
            - Ringing
            - Ok
            - Ack
        ;
        ;
    } // End of Domain section
    } // End of Domain section


@@ -70,9 +82,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