Commit c981eb3b authored by Bostjan Pintar's avatar Bostjan Pintar
Browse files

New TPs for Registration procedures

parent b2bb880f
Loading
Loading
Loading
Loading
+53 −12
Original line number Original line Diff line number Diff line
@@ -139,7 +139,7 @@ Package TP_GM {
        
        
        TP Id TP_GM_PCSCF_ECO_REGISTER_03
        TP Id TP_GM_PCSCF_ECO_REGISTER_03
        
        
        Test objective "Verify that the emergency registration is rejected with 420 (Bad Extension) in case the UE does not support GPRS-IMS-Bundled authentication while the P-CSCF supports it. (Unsuccessful emergency registration)."
        Test objective "Verify that the emergency registration is rejected with 403 (Forbidden) in case invalid credentials sent from UE. (Unsuccessful emergency registration)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.6.2 and 5.2.10.5"
            "ETSI TS 124 229 [1], Clauses 5.1.6.2 and 5.2.10.5"
@@ -157,6 +157,47 @@ Package TP_GM {
            ensure that {
            ensure that {
                when {
                when {
                    the IMS_P_CSCF_A entity receives a REGISTER containing
                    the IMS_P_CSCF_A entity receives a REGISTER 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,
                        Authorization indicating value "Invalid credentials",
                        Contact indicating value "sos";
                    to the UE_A entity
                }
                then {
                	the IMS_P_CSCF_A entity sends a 403_Forbiden 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;
                    from the UE_A entity
                }
            }
    } // End of TP_GM_PCSCF_ECO_REGISTER_03

    Test Purpose {
        
        TP Id TP_GM_PCSCF_ECO_REGISTER_04
        
        Test objective "Verify that the emergency registration is rejected with 403 (Forbidden) in case the UE and P-CSCF does not support GPRS-IMS-Bundled authentication. (Unsuccessful emergency registration)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.6.2 and 5.2.10.5"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_B and
            the UE_A entity not isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_P_CSCF_B entity receives a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
@@ -166,42 +207,41 @@ Package TP_GM {
                    to the UE_A entity
                    to the UE_A entity
                }
                }
                then {
                then {
                	the IMS_P_CSCF_A entity sends a 420_BadExtension containing
                	the IMS_P_CSCF_B entity sends a 403_Forbidden containing
                        From indicating value PX_UE_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Via indicating value PX_UE_A_VIA,
                        Unsupported indicating value sec_agree,
                        MessageBody containing
                        MessageBody containing
                           XML containing
                           XML containing
                               ims_3gpp_element indicating value anonymous_emergencycall;;;
                               ims_3gpp_element indicating value anonymous_emergencycall;;;
                    from the UE_A entity
                    from the UE_A entity
                }
                }
            }
            }
    } // End of TP_GM_PCSCF_ECO_REGISTER_03
    } // End of TP_GM_PCSCF_ECO_REGISTER_04


    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_GM_PCSCF_ECO_REGISTER_04
        TP Id TP_GM_PCSCF_ECO_REGISTER_05
        
        
        Test objective "Verify that the emergency registration is rejected with 403 (Forbidden) in case the UE and P-CSCF does not support GPRS-IMS-Bundled authentication. (Unsuccessful emergency registration)."
        Test objective "Verify that the emergency registration is rejected with 420 (Bad Extension) in case the UE does not support GPRS-IMS-Bundled authentication while the P-CSCF supports it. (Unsuccessful emergency registration)."
        
        
        Reference 
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.6.2 and 5.2.10.5"
            "ETSI TS 124 229 [1], Clauses 5.1.6.2 and 5.2.10.5"
        
        
        Config Id CF_VxLTE_INT
        Config Id CF_VxLTE_RMI
        
        
        PICS Selection NONE
        PICS Selection NONE
        
        
        Initial conditions with {
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity isEmergencyAttachedTo the EPC_B and
            the UE_A entity not isRegisteredTo the IMS_A
            the UE_A entity not isRegisteredTo the IMS_B
        }
        }
        
        
        Expected behaviour
        Expected behaviour
            ensure that {
            ensure that {
                when {
                when {
                    the IMS_P_CSCF_A entity receives a REGISTER containing
                    the IMS_P_CSCF_B entity receives a REGISTER containing
                        From indicating value PX_UE_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
@@ -211,18 +251,19 @@ Package TP_GM {
                    to the UE_A entity
                    to the UE_A entity
                }
                }
                then {
                then {
                	the IMS_P_CSCF_A entity sends a 403_Forbidden containing
                	the IMS_P_CSCF_B entity sends a 420_BadExtension containing
                        From indicating value PX_UE_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UE_A_VIA,
                        Via indicating value PX_UE_A_VIA,
                        Unsupported indicating value sec_agree,
                        MessageBody containing
                        MessageBody containing
                           XML containing
                           XML containing
                               ims_3gpp_element indicating value anonymous_emergencycall;;;
                               ims_3gpp_element indicating value anonymous_emergencycall;;;
                    from the UE_A entity
                    from the UE_A entity
                }
                }
            }
            }
    } // End of TP_GM_PCSCF_ECO_REGISTER_04
    } // End of TP_GM_PCSCF_ECO_REGISTER_05


    Test Purpose {
    Test Purpose {
        
        
+118 −0
Original line number Original line Diff line number Diff line
@@ -128,5 +128,123 @@ Package TP_MW_IS {
            }
            }
    } // End of TP_MW_ICSCF_ECO_REGISTER_02
    } // End of TP_MW_ICSCF_ECO_REGISTER_02
    
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_ECO_REGISTER_03
        
        Test objective  "Verify that the I-CSCF successfully processes an registration with invalid credentials (Unsuccessful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clause 5.2.2.1 and Clause 6.2"
        
        Config Id CF_VxLTE_INT
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity not isRegisteredTo the IMS_A and
            the UE_A entity hasAchievedFirstREGISTER
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_I_CSCF_A entity receives a REGISTER 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,
                        Authorization indicating value "invalid credentials";
                    from the IMS_P_CSCF_A entity
                }
                then {
                    the IMS_I_CSCF_A entity sends an 403_Forbiden containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID;
                    to the IMS_P_CSCF_A entity
                }
            }
    } // End of TP_MW_ICSCF_ECO_REGISTER_03
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_ECO_REGISTER_04
        
        Test objective  "Verify that the I-CSCF processes an invalid first registration in visited network and sends 403 response (Unsuccessful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.6.2 and 5.2.10.5"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_I_CSCF_B entity receives a REGISTER 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,
                        Authorization indicating value "invalid credentials";
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_I_CSCF_B entity sends an 403_Forbiden containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID;
                    to the IMS_P_CSCF_B entity
                }
            }
    } // End of TP_MW_ICSCF_ECO_REGISTER_04
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_ECO_REGISTER_05
        
        Test objective  "Verify that the I-CSCF processes an invalid first registration without SecurityClient header in visited network(GIBA supported) and sends 420 response (Unsuccessful)."
        
        Reference 
            "ETSI TS 124 229 [1], Clauses 5.1.6.2 and 5.2.10.5"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_B and
            the UE_A entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_I_CSCF_B entity receives a REGISTER 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,
                        not SecurityClient;
                    from the IMS_P_CSCF_B entity
                }
                then {
                    the IMS_I_CSCF_B entity sends an 420_BadExtension containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID;
                    to the IMS_P_CSCF_B entity
                }
            }
    } // End of TP_MW_ICSCF_ECO_REGISTER_05
    
} // End of Package TP_MW_IS
} // End of Package TP_MW_IS
+49 −67
Original line number Original line Diff line number Diff line
@@ -155,73 +155,55 @@ Package TP_MW_PS {
            }
            }
    } // End of TP_MW_PCSCF_ECO_REGISTER_02
    } // End of TP_MW_PCSCF_ECO_REGISTER_02
    
    
//    Test Purpose {
    Test Purpose {
//        
        
//        TP Id TP_MW_PCSCF_ECO_REGISTER_03
        TP Id TP_MW_PCSCF_REGISTER_03
//        
        
//        Test objective  "Verify that the P-CSCF successfully processes an invalid first emergency registration (Unsuccessful)."
        Test objective  "Verify that the P-CSCF rejects invalid credentials within registration (Unsuccessful)."
//        
        
//        Reference 
        Reference 
//            "ETSI TS 124 229 [1], Clauses 5.2.10.5 and 5.2.2.1 and 6.2"
            "ETSI TS 124 229 [1], Clauses 5.2.2.1"
//        
        
//        Config Id CF_VxLTE_INT
        Config Id CF_VxLTE_RMI_B
//        
        
//        PICS Selection NONE
        PICS Selection NONE
//        
        
//        Initial conditions with {
        Initial conditions with {
//            the UE_A entity isEmergencyAttachedTo the EPC_A and
            the UE_A entity isAttachedTo the EPC_B and
//            the UE_A entity not isRegisteredTo the IMS_A
            the UE_A entity isNotRegisteredTo the IMS_B and
//        }
            the UE_B entity isNotRegisteredTo the IMS_B and
//        
            the UE_A entity hasAchievedFirstREGISTER
//        Expected behaviour
        }
//            ensure that {
        
//                when {
        Expected behaviour
//                    the IMS_P_CSCF_A entity receives a REGISTER containing
            ensure that {
//                        From indicating value PX_UE_A_SIP_URI,
                when {
//                        To indicating value PX_UE_A_SIP_URI,
                    the IMS_P_CSCF_B entity receives a REGISTER containing
//                        CallId indicating value PX_UE_A_CALLID,
                        From indicating value PX_UE_A_SIP_URI,
//                        Via indicating value PX_UE_A_VIA,
                        To indicating value PX_UE_A_SIP_URI,
//                        Authorization containing
                        CallId indicating value PX_UE_A_CALLID,
//                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                        Via indicating value PX_UE_A_VIA,
//                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                        Authorization indicating value "invalid credentials";
//                            Username indicating value PX_UE_A_INVALID_USERNAME,
                    from the UE_A entity
//                            Realm indicating value PX_UE_A_REALM,
                }
//                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                then {
//                            Nonce indicating value "",
                    the IMS_P_CSCF_B entity sends a REGISTER containing
//                        Contact indicating value "sos";;
                        From indicating value PX_UE_A_SIP_URI,
//                    from the UE_A entity
                        To indicating value PX_UE_A_SIP_URI,
//                }
                        CallId indicating value PX_UE_A_CALLID,
//                then {
                        Via indicating value PX_UE_A_VIA,
//                    the IMS_P_CSCF_A entity sends a REGISTER containing
                        Authorization indicating value "invalid credentials",
//                        From indicating value PX_UE_A_SIP_URI,
                        PChargingVector,
//                        To indicating value PX_UE_A_SIP_URI,
                        PVisitedNetwork;
//                        CallId indicating value PX_UE_A_CALLID,
                    to the IMS_I_CSCF_B entity
//                        Via indicating value PX_UE_A_VIA,
                    and the IMS_P_CSCF_B entity sends an 403_Forbidden containing
//                        Authorization containing
                        From indicating value PX_UE_A_SIP_URI,
//                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                        To indicating value PX_UE_A_SIP_URI,
//                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                        CallId indicating value PX_UE_A_CALLID;
//                            Username indicating value PX_UE_A_INVALID_USERNAME,
                    to the UE_A entity
//                            Realm indicating value PX_UE_A_REALM,
                }
//                            Algorithm indicating value PX_UE_A_AUTH_ALG,
            }
//                            Nonce indicating value "not empty",
    } // End of TP_MW_PCSCF_REGISTER_03
//                            qop indicating value "auth",
//                        PChargingVector,
//                        Contact indicating value "sos";;
//                    to the IMS_I_CSCF_A entity
//                    and the IMS_I_CSCF_A entity sends an 420_BadExtension containing
//                        From indicating value PX_UE_A_SIP_URI,
//                        To indicating value PX_UE_A_SIP_URI,
//                        CallId indicating value PX_UE_A_CALLID,
//                        Content_Type,
//                        Content_Disposition,
//                        P_Asserted_Identity,
//                        MessageBody containing
//                           XML containing
//                               ims_3gpp_element;;;
//                    to the IMS_P_CSCF_A entity
//                }
//            }
//    } // End of TP_MW_PCSCF_ECO_REGISTER_03