Commit 019a5577 authored by Yann Garcia's avatar Yann Garcia
Browse files

Upadate Subscribe at Gm/Mw interfaces

parent 35388133
Loading
Loading
Loading
Loading
+18 −80
Original line number Diff line number Diff line
@@ -27,7 +27,7 @@ Package TP_GM {
            "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_GM_01
        Config Id CFG_INT_GM_01
        
        PICS Selection PICS_1
        
@@ -81,7 +81,7 @@ Package TP_GM {
            "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_GM_01
        Config Id CFG_INT_GM_01
        
        PICS Selection PICS_1
        
@@ -129,13 +129,14 @@ Package TP_GM {
    
    Test Purpose {
        
        TP Id TP_GM_UE_INVITE_01
        Test objective  "Verify that the SUT successfully processes an initial INVITE (UE_A initiated)."
        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"
            "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_GM_01
        Config Id CFG_INT_GM_01
        
        PICS Selection PICS_1
        
@@ -155,84 +156,22 @@ Package TP_GM {
                        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
                        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,
                            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 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_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_Scheme 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
                    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,
                        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
                        CALLID_HDR indicating value PX_UE_A_CALLID
                        ;
                }
            }
    } // End of TP_GM_PCSCF_REGISTER_02
    } // End of TP_GM_PCSCF_REGISTER_03
    
    Test Purpose {
        
@@ -240,17 +179,16 @@ Package TP_GM {
        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"
            "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_GM_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_B entity isAttachedTo the EPC_B and
            the UE_A entity isRegisteredTo the IMS_A and
            the UE_B entity isRegisteredTo the IMS_B
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
@@ -285,9 +223,9 @@ Package TP_GM {
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2",
            "TP_IMST2_GM_INI_01, TP_IMST2_GM_INI_03, TP_IMST2_GM_INI_04"
            "TP_IMST2_GM_INI_05"
        
        Config Id CFG_GM_01
        Config Id CFG_INT_GM_01
        
        PICS Selection PICS_1
        
+94 −5
Original line number Diff line number Diff line
@@ -27,7 +27,7 @@ Package TP_MW {
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.1, 6.2",
            "TP_IMST2_MW_REG_01"
        
        Config Id CFG_MW_01
        Config Id CFG_INT_MW_01
        
        PICS Selection PICS_1
        
@@ -79,9 +79,10 @@ Package TP_MW {
        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.2.1, 6.2"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.1, 6.2",
            "TP_IMST2_MW_REG_01"
        
        Config Id CFG_MW_01
        Config Id CFG_INT_MW_01
        
        PICS Selection PICS_1
        
@@ -120,12 +121,100 @@ Package TP_MW {
                        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
                        Path_HDR
                        ;
                }
            }
    } // End of TP_MW_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_MW_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_MW_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.2.1, 6.2",
            "TP_IMST2_MW_REG_14"
        
        Config Id CFG_INT_MW_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 sends 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 receives 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_MW_PCSCF_SUBSCRIBE_01
    
} // End of Package TP_MW
+9 −2
Original line number Diff line number Diff line
@@ -76,6 +76,8 @@ Package Sip_Common {
            - Ringing
            - Ok
            - Ack
            - NotFound
            - Forbidden
        ;
    } // End of Domain section

@@ -88,10 +90,15 @@ Package Sip_Common {
//        PX_UE_A_CALLID,
//        PX_UE_A_REALM,
//        PX_UE_A_USERNAME,
//        PX_UE_A_INVALID_USERNAME,
//        PX_UE_A_VIA
//        PX_UE_A_AUTH_ALG
//        PX_UE_B_SIP_URI,
//        PX_UE_B_TEL_URI,,
//        PX_UE_B_USERNAME,
//        PX_UE_B_INVALID_USERNAME,
//        PX_UE_B_VIA
//        PX_UE_B_AUTH_ALG
//        PX_P_CSCF_A_SIP_URI,
//        PX_IMS_A_ICID,
//        PX_IMS_A_ORIG_IOI
@@ -109,7 +116,7 @@ Package Sip_Common {
        Interface Type defaultGT accepts SipMessage;
        Component Type SipComponent with gate g of type defaultGT;
        
            Test Configuration CFG_GM_01
            Test Configuration CFG_INT_GM_01
                containing 
                    Tester component UE_A of type SipComponent
                    Tester component IMS_P_CSCF_A of type SipComponent
@@ -119,7 +126,7 @@ Package Sip_Common {
                    connection between IMS_P_CSCF_A.g and IMS_I_CSCF_A.g 
            ;
            
            Test Configuration CFG_MW_01
            Test Configuration CFG_INT_MW_01
                containing 
                    Tester component UE_A of type SipComponent
                    Tester component IMS_P_CSCF_A of type SipComponent