Commit 93dc508b authored by Yann Garcia's avatar Yann Garcia
Browse files

Add MwPS/MWIS REGISTER & SUBSCRIBE for roaming

parent 2616a859
Loading
Loading
Loading
Loading
+10 −4
Original line number Diff line number Diff line
@@ -91,7 +91,8 @@ Package TP_GM {
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
@@ -155,6 +156,7 @@ Package TP_GM {
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the UE_A entity hasAchieveFirstRegistration
        }
        
@@ -217,7 +219,8 @@ Package TP_GM {
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
@@ -265,7 +268,8 @@ Package TP_GM {
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_B
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
@@ -330,6 +334,7 @@ Package TP_GM {
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the UE_A entity hasAchieveFirstRegistration
        }
        
@@ -393,7 +398,8 @@ Package TP_GM {
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_B
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
+283 −3
Original line number Diff line number Diff line
@@ -13,7 +13,7 @@ copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
*/

/* Mw interface at I-CSCF */
/* Mw interface at I-CSCF/IBCF */
Package TP_MW_IB {
    
    import all from Sip_Common;
@@ -70,7 +70,8 @@ Package TP_MW_IB {
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
@@ -136,6 +137,7 @@ Package TP_MW_IB {
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the IMS_S_CSCF_A entity hasAchieveFirstREGISTER
        }
        
@@ -212,7 +214,8 @@ Package TP_MW_IB {
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_A
            the UE_A entity isNotRegisteredTo the IMS_A and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
@@ -260,6 +263,224 @@ Package TP_MW_IB {
            }
    } // End of TP_MW_ICSCF_REGISTER_03
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_04
        // TP_IMS_5005_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the SUT successfully processes a first registration."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.1, 5.2.2 and 6.2"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_B entity sends 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,
                        PVisitedNetworkID
                        ;
                    to the IMS_I_CSCF_B entity
                }
                then {
                    the IMS_I_CSCF_B entity sends 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,
                        Path indicating value PX_P_CSCF_A_SIP_URI,
                        PChargingVector containing
                            icid indicating value PX_TO_BE_DEFINED,
                        PVisitedNetworkID indicating value PX_TO_BE_DEFINED,
                        Require_HDR indicating value "path",
                        Supported indicating value "path"
                        ;;
                        to the IMS_IBCF_B entity
                    and the IMS_I_CSCF_B 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,
                        PVisitedNetworkID,
                        PAccessNetworkInfo,
                        WwwAuthenticate containing
                            Digest,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
                    to the IMS_S_CSCF_B entity
                }
            }
    } // End of TP_MW_ICSCF_REGISTER_04
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_05
        // TP_IMS_5092_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_REG_08 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the SUT successfully processes a full registration."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.1, 5.2.2 and 6.2"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B and
            the IMS_S_CSCF_A entity hasAchieveFirstREGISTER
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_B entity sends 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 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",
                        PVisitedNetworkID
                        ;;
                    to the IMS_I_CSCF_B entity
                }
                then {
                    the IMS_I_CSCF_B entity sends 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 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",
                        PVisitedNetworkID,
                        PChargingVector
                        ;;
                    to the IMS_IBCF_B entity
                    and the IMS_I_CSCF_B entity sends an 200_Ok 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,
                        AuthenticationInfo,
                        PVisitedNetworkID,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UE_A_SIP_URI,
                        PChargingVector,
                           orig_ioi_parameter 
                               indicating value "Operator Identifier Of ImsA" ,
                           term_ioi_parameter 
                               indicating value "Operator Identifier Of ImsB"
                        Path,
                        ServiceRoute
                        ;
                    to the IMS_S_CSCF_B entity
                }
            }
    } // End of TP_MW_ICSCF_REGISTER_05
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_06
        // TP_IMST2_MW_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."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.1, 5.2.2 and 6.2"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isNotRegisteredTo the IMS_B and
            the UE_B entity isNotRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_B entity sends 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 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 "",
                        PVisitedNetworkID
                        ;;
                    to the IMS_I_CSCF_B entity
                }
                then {
                    the IMS_I_CSCF_B entity sends 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 containing
                            Authentication_Scheme 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 "not empty",
                            qop indicating value "auth",
                        PVisitedNetworkID,
                        PChargingVector
                        ;;
                    to the IMS_IBCF_A entity
                    and the IMS_I_CSCF_A entity sends an 404_NotFound containing
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID,
                        PVisitedNetworkID
                        ;
                    to the IMS_S_CSCF_B entity
                }
            }
    } // End of TP_MW_ICSCF_REGISTER_06
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_SUBSCRIBE_01
@@ -319,6 +540,65 @@ Package TP_MW_IB {
            }
    } // End of TP_MW_ICSCF_SUBSCRIBE_01
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_SUBSCRIBE_02
        // TP_IMS_5044_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_REG_14 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the SUT successfully processes a SUBSCRIBE."
        
        Reference 
            "ETSI TS 124 229 (V15.3.0) [5], clauses 5.2.3 and 6.2"
        
        Config Id CF_VxLTE_RMI
        
        PICS Selection NONE
        
        Initial conditions with {
            the UE_A entity isAttachedTo the EPC_A and
            the UE_A entity isRegisteredTo the IMS_B
        }
        
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_B entity sends an SUBSCRIBE 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,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        Event,
                        Expires
                        // TODO To be continued
                        ;
                    to the IMS_I_CSCF_B entity
                }
                then {
                    the IMS_I_CSCF_B entity sends an SUBSCRIBE 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,
                        Route indicating value PX_UE_A_SERVICE_ROUTE,
                        Event,
                        Expires
                        // TODO To be continued
                        ;
                    to the IMS_IBCF_B entity
                    and the IMS_I_CSCF_A entity sends a 200_Ok 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
                        // TODO To be continued
                        ;
                    to the IMS_S_CSCF_B entity
                }
            }
    } // End of TP_MW_ICSCF_SUBSCRIBE_02
    
    Test Purpose {
        
        TP Id TP_MW_ICSCF_INVITE_01
+320 −11

File changed.

Preview size limit exceeded, changes collapsed.

+314 −3

File changed.

Preview size limit exceeded, changes collapsed.

+1 −0
Original line number Diff line number Diff line
@@ -79,6 +79,7 @@ Package Sip_Common {
            - isRequestedToSend
            - isBusy
            - isNoLongerAvailable
            - isTriggeredToDetachUser
            // SIP Requests
            - hasAchieveFirstREGISTER
            - REGISTER