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

Update TPs for Gm interfaces

parent 9c3b1b04
Loading
Loading
Loading
Loading
+271 −43
Original line number Diff line number Diff line
@@ -20,9 +20,10 @@ Package TP_GM {
    Test Purpose {
        
        TP Id TP_GM_PCSCF_MESSAGE_01
        // 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)
        
        Test objective "All IMS CN components shall support SIP messages which are greater than 1 300 bytes in length"
        Test objective "IMS CN components shall support SIP messages > 1 500 bytes"
               
        Reference 
          "TS 124 229 (V15.6.0) [1], clause 4.2A"
@@ -32,35 +33,38 @@ Package TP_GM {
        PICS Selection PICS_1
        
        Initial conditions with {
            the UE_A entity isRegisteredTo the IMS_A and
            the NW_UE_B entity isAttachedTo the IMS_A
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_A
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_A entity receives a MESSAGE
                       containing ContentLength indicating value greater than 1300 bytes
                       containing ContentLength indicating value greater than 1500 bytes
                       ;
                    to the IMS_A entity
                    from the UE_A entity
                }
                then {
                    the IMS_P_CSCF_A entity forwards the MESSAGE to the IMS_I_CSCF_A entity
                    the IMS_P_CSCF_A entity forwards the MESSAGE
                    to the IMS_S_CSCF_A entity
                }
            }
            
    }  // End of TP_GM_PCSCF_MESSAGE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_01
        // TP_IMST2_GM_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective "Verify that the SUT successfully processes a first registration (UE_A initiated)."
        // 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)
        
        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.1 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        Config Id CFG_INT_GM_01 // And CFG_RMI_GM_01
        
        PICS Selection PICS_1
        
@@ -86,13 +90,16 @@ Package TP_GM {
                            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 ""
                            Nonce indicating value "",
                            not term_ioi,
                        not SecurityClient
                        ;;
                    and the IMS_P_CSCF_A entity sends an 401_Unauthorized containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Path,
                        Warning,
                        PAccessNetworkInfo,
                        WwwAuthenticate containing
@@ -104,19 +111,21 @@ Package TP_GM {
                        ;;
                }
            }
            
    } // End of TP_GM_PCSCF_REGISTER_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_02
        // TP_IMST2_GM_REG_08 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective "Verify that the SUT successfully processes a full registration (UE_A initiated)."
        // 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)
        
        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.1 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        Config Id CFG_INT_GM_01 // And CFG_RMI_GM_01
        
        PICS Selection PICS_1
        
@@ -144,7 +153,8 @@ Package TP_GM {
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                            qop indicating value "auth",
                        not SecurityClient
                        ;;
                    and the IMS_P_CSCF_A entity sends an 200_Ok containing
                        From indicating value PX_UE_A_SIP_URI,
@@ -154,23 +164,29 @@ Package TP_GM {
                        AuthenticationInfo,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UE_A_SIP_URI,
                        P_Charging_Function_Addresses_HDR,
                        PChargingVector,
                           orig_ioi_parameter 
                               indicating value "Operator Identifier Of ImsA" ,
                           term_ioi_parameter 
                               indicating value "Operator Identifier Of ImsB"
                        Path,
                        ServiceRoute
                        ;
                }
            }
            
    } // End of TP_GM_PCSCF_REGISTER_02
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_03
        // 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)
        
        Test objective  "Verify that the SUT successfully processes a invalid first registration (UE_A initiated)."
        Test objective  "Verify that the SUT successfully processes an 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.1 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
@@ -213,11 +229,12 @@ Package TP_GM {
        
        TP Id TP_GM_PCSCF_SUBSCRIBE_01
        // TP_IMS_5044_01 from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // 
        
        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.2 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
@@ -256,12 +273,13 @@ Package TP_GM {
    Test Purpose {
        
        TP Id TP_GM_PCSCF_INVITE_01
        // 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)
        
        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"
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        Config Id CFG_INT_GM_01
        
@@ -293,33 +311,243 @@ Package TP_GM {
                                // TODO To be continued
                            ;
                        ;;
                     and the IMS_P_CSCF_A entity sends a 100_Trying containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA
                 }
            }
    } // End of TP_GM_PCSCF_INVITE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_100TRY_01
        // 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)
        
        Test objective  "Verify that P-CSCF forwards a 100 (Trying) provisional response on initial INVITE (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        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 hasAchieveInitialINVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 100_Trying
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_100TRY_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_180RINGING_01
        // 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)
        
        Test objective  "Verify that P-CSCF forwards a 180 (Ringing) provisional response on initial INVITE (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        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 hasAchieveInitialINVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 180_Ringing containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                     or the IMS_P_CSCF_A entity sends a 180_Ringing containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_180RINGING_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_200OK_01
        // 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)
        
        Test objective  "Verify that P-CSCF forwards a 200 (OK) provisional response on initial INVITE (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        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 hasAchieveInitialINVITE
                }
                then {
                    the IMS_P_CSCF_A entity sends a 200_Ok containing
                        not PChargingVector,
                        not PChargingFunctionAddresses,
                        not PPreferredIdentity
                    ;
                     and the IMS_P_CSCF_A entity sends a 200_Ok containing
                    to the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_200OK_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_ACK_01
        // 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)
        
        Test objective  "Verify that P-CSCF forwards a ACK provisional response on initial INVITE (UE_A initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3 and 6.1.1"
        
        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 hasAchieveINVITE
                }
                then {
                    the IMS_P_CSCF_A entity receives an ACK
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_ACK_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_BYE_01
        // 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)
        
        Test objective  "Verify that P-CSCF forwards a BYE (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_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 and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the UE_A entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_A entity receives an BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                     and the IMS_P_CSCF_A entity receives a ACK containing
                    from the UE_A entity
                }
            }
        
    } // End of TP_GM_PCSCF_BYE_01
    
    Test Purpose {
        
        TP Id TP_GM_PCSCF_BYE_02
        // 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)
        
        Test objective  "Verify that P-CSCF forwards a BYE (Network initiated)."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.1.3, 6.1.1 and 6.1.2"
        
        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 and
            the UE_A entity previouslyEstablishedCallWith the UE_B
        }
        
        Expected behaviour
            ensure that { 
                when { 
                    the IMS_P_CSCF_A entity isRequestedToSend a BYE
                }
                then {
                    the IMS_P_CSCF_A entity sends an BYE containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_B_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA
                        Via indicating value PX_UE_A_VIA,
                        Route indicating value PX_UE_A_SERVICE_ROUTE
                        // TODO To be continued
                    ;
                    to the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_INVITE_01
        
    } // End of TP_GM_PCSCF_BYE_02
    
} // End of Package TP_GM
+24 −2
Original line number Diff line number Diff line
@@ -82,6 +82,7 @@ Package Sip_Common {
            - REGISTER
            - SUBSCRIBE
            - hasAchieveInitialINVITE
            - hasAchieveINVITE
            - INVITE
            - ACK
            // SIP Responses
@@ -91,6 +92,7 @@ Package Sip_Common {
            - 200_Ok
            - 404_NotFound
            - 403_Forbidden
            - 4xx_Any
        ;
    } // End of Domain section

@@ -144,7 +146,7 @@ Package Sip_Common {
                    connection between IMS_P_CSCF_A.g and IMS_I_CSCF_A.g 
            ;
            
            Test Configuration CFG_INT_MW_01
            Test Configuration CFG_RMI_GM_01
                containing 
                    Tester component UE_A of type SipComponent
                    Tester component IMS_P_CSCF_A of type SipComponent
@@ -154,6 +156,26 @@ Package Sip_Common {
                    connection between IMS_P_CSCF_A.g and IMS_I_CSCF_A.g 
            ;
            
            Test Configuration CFG_INT_MW_01 // MW at P-CSCF
                containing 
                    Tester component UE_A of type SipComponent
                    Tester component IMS_P_CSCF_A of type SipComponent
                    
                    SUT component IMS_P_CSCF_A of type SipComponent
                    connection between UE_A.g and IMS_P_CSCF_A.g
                    connection between IMS_P_CSCF_A.g and IMS_S_CSCF_A.g
            ;
            
            Test Configuration CFG_INT_MW_02 // MW at S-CSCF
                containing 
                    Tester component IMS_P_CSCF_A of type SipComponent
                    Tester component IMS_S_CSCF_A of type SipComponent
                    
                    SUT component  of type SipComponent
                    connection between IMS_P_CSCF_A.g and IMS_S_CSCF_A.g
                    connection between IMS_S_CSCF_A.g and IMS_I_CSCF_A.g
            ;
            
            Test Configuration CFG_IC_01
                containing 
                    Tester component UE_A of type SipComponent