Commit 15965c4d authored by Yann Garcia's avatar Yann Garcia
Browse files

Review both Gm & Mw TPs

parent 6f4878ca
Loading
Loading
Loading
Loading
+77 −75
Original line number Original line Diff line number Diff line
@@ -23,7 +23,7 @@ Package TP_GM {
        // TP_IMS_4002_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMS_4002_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_GEN_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // TP_IMST2_GM_GEN_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective "IMS CN components shall support SIP messages > 1 500 bytes"
        Test objective "Verify that the P-CSCF successfully processes a SIP messages greather than 1 500 bytes"
               
               
        Reference 
        Reference 
          "TS 124 229 (V15.6.0) [1], clause 4.2A"
          "TS 124 229 (V15.6.0) [1], clause 4.2A"
@@ -57,7 +57,7 @@ Package TP_GM {
        
        
        TP Id TP_GM_PCSCF_REGISTER_01
        TP Id TP_GM_PCSCF_REGISTER_01
        
        
        Test objective "Verify that the P-CSCF successfully processes a first registration (UE_A initiated)."
        Test objective "Verify that the P-CSCF successfully processes a first registration."
        // TP_IMS_5005_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMS_5005_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // TP_IMST2_GM_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
@@ -120,7 +120,7 @@ Package TP_GM {
        
        
        TP Id TP_GM_PCSCF_REGISTER_02
        TP Id TP_GM_PCSCF_REGISTER_02
        
        
        Test objective "Verify that the P-CSCF successfully processes a full registration (UE_A initiated)."
        Test objective "Verify that the P-CSCF successfully processes a full registration."
        // TP_IMS_5092_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMS_5092_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_REG_08 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // TP_IMST2_GM_REG_08 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
@@ -185,7 +185,7 @@ Package TP_GM {
        // TD_IMS_REG_0003 from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // TD_IMS_REG_0003 from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // TP_IMST2_GM_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // TP_IMST2_GM_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes an invalid first registration (UE_A initiated)."
        Test objective  "Verify that the P-CSCF successfully processes an invalid first registration."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.1 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.1 and 6.1.1"
@@ -233,7 +233,7 @@ Package TP_GM {
        // TP_IMS_5044_01 from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // TP_IMS_5044_01 from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ???  from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // ???  from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a SUBSCRIBE (UE_A initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a SUBSCRIBE."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.2 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.2 and 6.1.1"
@@ -261,6 +261,7 @@ Package TP_GM {
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                        // TODO To be continued
                        ;
                        ;
                     from the UE_A entity
                     and the IMS_P_CSCF_A entity sends a 200_Ok containing
                     and the IMS_P_CSCF_A entity sends a 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
@@ -268,6 +269,7 @@ Package TP_GM {
                        Via indicating value PX_UE_A_VIA
                        Via indicating value PX_UE_A_VIA
                        // TODO To be continued
                        // TODO To be continued
                        ;
                        ;
                     to the UE_A entity
                }
                }
            }
            }
    } // End of TP_GM_PCSCF_SUBSCRIBE_01
    } // End of TP_GM_PCSCF_SUBSCRIBE_01
@@ -278,7 +280,7 @@ Package TP_GM {
        // TP_IMS_5046_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMS_5046_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_05 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // TP_IMST2_GM_INI_05 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (UE_A initiated)."
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Originating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
@@ -324,7 +326,7 @@ Package TP_GM {
        // TP_IMS_5046_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMS_5046_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_05 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // TP_IMST2_GM_INI_05 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (UE_B initiated)."
        Test objective  "Verify that the P-CSCF successfully processes an initial INVITE (Terminating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
@@ -343,10 +345,10 @@ Package TP_GM {
        Expected behaviour
        Expected behaviour
            ensure that {
            ensure that {
                when {
                when {
                    the UE_B entity isRequestedToSend an INVITE
                    the UE_A entity isRequestedToSend an INVITE
                }
                }
                then {
                then {
                    the IMS_P_CSCF_A entity sends an INVITE containing
                    the IMS_P_CSCF_B entity sends an INVITE containing
                        From indicating value PX_UE_B_SIP_URI,
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        CallId indicating value PX_UE_B_CALLID,
@@ -359,7 +361,7 @@ Package TP_GM {
                                // TODO To be continued
                                // TODO To be continued
                            ;
                            ;
                        ;;
                        ;;
                    to the UE_A entity
                    to the UE_B entity
                }
                }
            }
            }
    } // End of TP_GM_PCSCF_INVITE_02
    } // End of TP_GM_PCSCF_INVITE_02
@@ -370,7 +372,7 @@ Package TP_GM {
        // TP_IMS_5070_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMS_5070_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // TP_IMST2_GM_INI_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (UE_A initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
@@ -405,7 +407,7 @@ Package TP_GM {
        // TP_IMS_5070_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMS_5070_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_02 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // TP_IMST2_GM_INI_02 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (UE_A initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a 100 (Trying) provisional response on initial INVITE (Originating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
@@ -424,7 +426,7 @@ Package TP_GM {
        Expected behaviour
        Expected behaviour
            ensure that { 
            ensure that { 
                when { 
                when { 
                    the UE_A entity sends a 100_Trying containing
                    the UE_B entity sends a 100_Trying containing
                        From indicating value PX_UE_B_SIP_URI,
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        CallId indicating value PX_UE_B_CALLID,
@@ -432,10 +434,10 @@ Package TP_GM {
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        // TODO To be continued
                        // TODO To be continued
                    ;
                    ;
                    to the IMS_P_CSCF_A entity
                    to the IMS_P_CSCF_B entity
                }
                }
                then {
                then {
                    the IMS_P_CSCF_A entity receives a 100_Trying containing
                    the IMS_P_CSCF_B entity receives a 100_Trying containing
                        From indicating value PX_UE_B_SIP_URI,
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        CallId indicating value PX_UE_B_CALLID,
@@ -443,7 +445,7 @@ Package TP_GM {
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        // TODO To be continued
                        // TODO To be continued
                    ;
                    ;
                    from the UE_A entity
                    from the UE_B entity
                }
                }
            }
            }
        
        
@@ -455,7 +457,7 @@ Package TP_GM {
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (UE_A initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Originating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
@@ -494,7 +496,7 @@ Package TP_GM {
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (UE_B initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a 180 (Ringing) provisional response on initial INVITE (Terminating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
@@ -513,7 +515,7 @@ Package TP_GM {
        Expected behaviour
        Expected behaviour
            ensure that { 
            ensure that { 
                when { 
                when { 
                    the UE_A entity sends a 180_Ringing containing
                    the UE_B entity sends a 180_Ringing containing
                        From indicating value PX_UE_B_SIP_URI,
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        CallId indicating value PX_UE_B_CALLID,
@@ -524,10 +526,10 @@ Package TP_GM {
                        not PPreferredIdentity
                        not PPreferredIdentity
                        // TODO To be continued
                        // TODO To be continued
                    ;
                    ;
                    to the IMS_P_CSCF_A entity
                    to the IMS_P_CSCF_B entity
                }
                }
                then {
                then {
                    the IMS_P_CSCF_A entity receives a 180_Ringing containing
                    the IMS_P_CSCF_B entity receives a 180_Ringing containing
                        From indicating value PX_UE_B_SIP_URI,
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        CallId indicating value PX_UE_B_CALLID,
@@ -538,7 +540,7 @@ Package TP_GM {
                        not PPreferredIdentity
                        not PPreferredIdentity
                        // TODO To be continued
                        // TODO To be continued
                    ;
                    ;
                    from the UE_A entity
                    from the UE_B entity
                }
                }
            }
            }
        
        
@@ -550,7 +552,7 @@ Package TP_GM {
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // TP_IMST2_GM_INI_04A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) provisional response on initial INVITE (UE_A initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a 200 (OK) provisional response on initial INVITE (Originating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
@@ -589,7 +591,7 @@ Package TP_GM {
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // TP_IMST2_GM_INI_03A from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a 200 (Ok) provisional response on initial INVITE (UE_B initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a 200 (Ok) provisional response on initial INVITE (Terminating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
@@ -608,7 +610,7 @@ Package TP_GM {
        Expected behaviour
        Expected behaviour
            ensure that { 
            ensure that { 
                when { 
                when { 
                    the UE_A entity sends a 200_Ok containing
                    the UE_B entity sends a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        CallId indicating value PX_UE_B_CALLID,
@@ -619,10 +621,10 @@ Package TP_GM {
                        not PPreferredIdentity
                        not PPreferredIdentity
                        // TODO To be continued
                        // TODO To be continued
                    ;
                    ;
                    from the IMS_P_CSCF_A entity
                    from the IMS_P_CSCF_B entity
                }
                }
                then {
                then {
                    the IMS_P_CSCF_A entity receives a 200_Ok containing
                    the IMS_P_CSCF_B entity receives a 200_Ok containing
                        From indicating value PX_UE_B_SIP_URI,
                        From indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        CallId indicating value PX_UE_B_CALLID,
@@ -633,7 +635,7 @@ Package TP_GM {
                        not PPreferredIdentity
                        not PPreferredIdentity
                        // TODO To be continued
                        // TODO To be continued
                    ;
                    ;
                    from the UE_A entity
                    from the UE_B entity
                }
                }
            }
            }
        
        
@@ -645,7 +647,7 @@ Package TP_GM {
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMS_5055_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (UE_A initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (Originating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
@@ -687,7 +689,7 @@ Package TP_GM {
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMS_5055_02 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (UE_B initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a ACK provisional response on initial INVITE (Terminating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
@@ -706,26 +708,26 @@ Package TP_GM {
        Expected behaviour
        Expected behaviour
            ensure that { 
            ensure that { 
                when { 
                when { 
                    the UE_A entity sends an ACK containing
                    the UE_B entity sends an ACK containing
                        From indicating value PX_UE_B_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                        // TODO To be continued
                    ;
                    ;
                    to the IMS_P_CSCF_A entity
                    to the IMS_P_CSCF_B entity
                }
                }
                then {
                then {
                    the IMS_P_CSCF_A entity receives an ACK containing
                    the IMS_P_CSCF_B entity receives an ACK containing
                        From indicating value PX_UE_B_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                        // TODO To be continued
                    ;
                    ;
                    from the UE_A entity
                    from the UE_B entity
                }
                }
            }
            }
        
        
@@ -737,7 +739,7 @@ Package TP_GM {
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes an initial RE-INVITE (UE_A initiated)."
        Test objective  "Verify that the P-CSCF successfully processes an initial RE-INVITE (Originating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
@@ -784,7 +786,7 @@ Package TP_GM {
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes an initial RE-INVITE (UE_B initiated)."
        Test objective  "Verify that the P-CSCF successfully processes an initial RE-INVITE (Terminating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
@@ -804,10 +806,10 @@ Package TP_GM {
        Expected behaviour
        Expected behaviour
            ensure that {
            ensure that {
                when {
                when {
                    the UE_B entity isRequestedToSend an ReINVITE
                    the UE_A entity isRequestedToSend an ReINVITE
                }
                }
                then {
                then {
                    the IMS_P_CSCF_A entity sends an ReINVITE containing
                    the IMS_P_CSCF_B entity sends an ReINVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
@@ -820,7 +822,7 @@ Package TP_GM {
                                // TODO To be continued
                                // TODO To be continued
                            ;
                            ;
                        ;;
                        ;;
                    from the UE_A entity
                    from the UE_B entity
                }
                }
            }
            }
    } // End of TP_GM_PCSCF_RE_INVITE_02
    } // End of TP_GM_PCSCF_RE_INVITE_02
@@ -831,7 +833,7 @@ Package TP_GM {
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (UE_A initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Originating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
@@ -874,7 +876,7 @@ Package TP_GM {
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (UE_B initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Terminating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4, 6.1.1 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4, 6.1.1 and 6.1.1"
@@ -894,18 +896,18 @@ Package TP_GM {
        Expected behaviour
        Expected behaviour
            ensure that { 
            ensure that { 
                when { 
                when { 
                    the IMS_P_CSCF_A entity isRequestedToSend a BYE
                    the UE_A entity isRequestedToSend a BYE
                }
                }
                then {
                then {
                    the IMS_P_CSCF_A entity sends an BYE containing
                    the IMS_P_CSCF_B entity sends an BYE containing
                        From indicating value PX_UE_B_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                        // TODO To be continued
                    ;
                    ;
                    to the UE_A entity
                    to the UE_B entity
                }
                }
            }
            }
        
        
@@ -937,7 +939,7 @@ Package TP_GM {
        Expected behaviour
        Expected behaviour
            ensure that { 
            ensure that { 
                when { 
                when { 
                    the UE_B entity isNoLongerAvailable
                    the UE_A entity isNoLongerAvailable
                }
                }
                then {
                then {
                    the IMS_P_CSCF_A entity sends an BYE containing
                    the IMS_P_CSCF_A entity sends an BYE containing
@@ -959,7 +961,7 @@ Package TP_GM {
        TP Id TP_GM_PCSCF_CANCEL_01
        TP Id TP_GM_PCSCF_CANCEL_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (UE_A initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Originating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
@@ -1001,7 +1003,7 @@ Package TP_GM {
        TP Id TP_GM_PCSCF_CANCEL_02
        TP Id TP_GM_PCSCF_CANCEL_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a BYE (UE_B initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a BYE (Terminating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
@@ -1021,18 +1023,18 @@ Package TP_GM {
        Expected behaviour
        Expected behaviour
            ensure that { 
            ensure that { 
                when { 
                when { 
                    the UE_B entity isRequestedToSend a CANCEL
                    the UE_A entity isRequestedToSend a CANCEL
                }
                }
                then {
                then {
                    the IMS_P_CSCF_A entity sends an CANCEL containing
                    the IMS_P_CSCF_B entity sends an CANCEL containing
                        From indicating value PX_UE_B_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_B_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_B_VIA,
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_B_SERVICE_ROUTE
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                        // TODO To be continued
                    ;
                    ;
                    to the UE_A entity
                    to the UE_B entity
                }
                }
            }
            }
        
        
@@ -1043,7 +1045,7 @@ Package TP_GM {
        TP Id TP_GM_PCSCF_486INVITE_01
        TP Id TP_GM_PCSCF_486INVITE_01
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (UE_A initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
@@ -1085,7 +1087,7 @@ Package TP_GM {
        TP Id TP_GM_PCSCF_486INVITE_02
        TP Id TP_GM_PCSCF_486INVITE_02
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // ??? from ETSI TS 186 011-1 V5.1.1 (2013-10)
        
        
        Test objective  "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (UE_B initiated)."
        Test objective  "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Terminating Leg)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.4 and 6.1.1"
@@ -1105,10 +1107,10 @@ Package TP_GM {
        Expected behaviour
        Expected behaviour
            ensure that { 
            ensure that { 
                when { 
                when { 
                    the UE_B entity hasAchieveInitialINVITE
                    the UE_A entity hasAchieveInitialINVITE
                }
                }
                then {
                then {
                    the IMS_P_CSCF_A entity sends a 486_INVITE containing
                    the IMS_P_CSCF_B entity sends a 486_INVITE containing
                        From indicating value PX_UE_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
@@ -1116,7 +1118,7 @@ Package TP_GM {
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                        // TODO To be continued
                    ;
                    ;
                    from the UE_A entity
                    from the UE_B entity
                }
                }
            }
            }
        
        
+44 −44

File changed.

Preview size limit exceeded, changes collapsed.