Commit 4451260b authored by Rennoch's avatar Rennoch
Browse files

Merge branch 'STF574' of https://forge.etsi.org/rep/vxlte/vxlte-iop into STF574

parents 2ba18570 e7747500
Loading
Loading
Loading
Loading
+3 −10
Original line number Diff line number Diff line
@@ -424,8 +424,6 @@ Package TP_GM {
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_07
        // ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a user de-registration (no SIP session active)."
        
@@ -492,8 +490,6 @@ Package TP_GM {
    Test Purpose {
        
        TP Id TP_GM_PCSCF_REGISTER_10
        // ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a user de-registration (with SIP session active)."
        
@@ -636,9 +632,7 @@ Package TP_GM {
        Expected behaviour
            ensure that {
                when {
                    the IMS_S_CSCF_A entity isRequestedToSend a NOTIFY containing
                        Event indicating value "reg,de-reg"
                    ;
                    the IMS_S_CSCF_A entity isRequestedToSend a NOTIFY
                }
                then {
                    the IMS_P_CSCF_A entity sends an NOTIFY containing
@@ -1515,7 +1509,7 @@ Package TP_GM {
        Reference 
            "ETSI TS 124 229 [2], clauses 5.1.3 and 6.1.1"
        
        Config Id CF_VxLTE_INT
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
@@ -2379,7 +2373,7 @@ Package TP_GM {
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.1"
        
        Config Id CF_VxLTE_INT
        Config Id CF_VxLTE_RMI_B
        
        PICS Selection  NONE
        
@@ -2701,7 +2695,6 @@ Package TP_GM {
    Test Purpose {
        
        TP Id TP_GM_PCSCF_486INVITE_03
        // ??? 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 (Originating Leg)."
        
+65 −83
Original line number Diff line number Diff line
@@ -21,8 +21,6 @@ Package TP_MW_IS {
    Test Purpose {
        
        TP Id TP_MW_ICSCF_MESSAGE_01
        // TP_IMS_4002_01 from ETSI TS 186 011-1 V5.1.1 (2013-10)
        // TP_IMST2_MW_GEN_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective "Verify that the I-CSCF successfully processes a SIP messages greater than 1300 bytes"
               
@@ -56,8 +54,6 @@ Package TP_MW_IS {
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_01
        // 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 I-CSCF successfully processes a first registration (Successful)."
        
@@ -78,26 +74,26 @@ Package TP_MW_IS {
            ensure that {
                when {
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA
                        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 IMS_P_CSCF_A entity
                }
                then {
                    the IMS_I_CSCF_A entity sends an 401_Unauthorized containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        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
                            Digest,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
@@ -109,8 +105,6 @@ Package TP_MW_IS {
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_02
        // 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 I-CSCF successfully processes a full registration (Successful)."
        
@@ -132,16 +126,16 @@ Package TP_MW_IS {
            ensure that {
                when {
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        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_UA_A_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            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"
                        ;;
@@ -149,13 +143,13 @@ Package TP_MW_IS {
                }
                then {
                    the IMS_I_CSCF_A entity sends an 200_Ok containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        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,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UA_A_SIP_URI,
                        PAssociatedURI indicating value PX_UE_A_SIP_URI,
                        PChargingVector,
                           orig_ioi_parameter 
                               indicating value "Operator Identifier Of ImsA" ,
@@ -172,7 +166,6 @@ Package TP_MW_IS {
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_03
        // TP_IMST2_MW_REG_01 from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the I-CSCF successfully processes a invalid first registration (Unsuccessful)."
        
@@ -223,8 +216,6 @@ Package TP_MW_IS {
    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 I-CSCF successfully processes a first registration (Successful)."
        
@@ -245,20 +236,20 @@ Package TP_MW_IS {
            ensure that {
                when {
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        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
                        ;
                    from the IMS_IBCF_A entity
                }
                then {
                    the IMS_I_CSCF_A entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        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,
@@ -268,18 +259,18 @@ Package TP_MW_IS {
                        ;;
                        to the IMS_S_CSCF_A entity
                    and the IMS_I_CSCF_A entity sends an 401_Unauthorized containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        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,
                        PVisitedNetworkID,
                        WwwAuthenticate containing
                            Digest,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                        ;;
@@ -291,8 +282,6 @@ Package TP_MW_IS {
    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 I-CSCF successfully processes a full registration (Successful)."
        
@@ -314,16 +303,16 @@ Package TP_MW_IS {
            ensure that {
                when {
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        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_UA_A_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            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"
                        ;;
@@ -331,29 +320,29 @@ Package TP_MW_IS {
                }
                then {
                    the IMS_I_CSCF_B entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        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_UA_A_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            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",
                        PChargingVector
                        ;;
                    to the IMS_S_CSCF_A entity
                    and the IMS_I_CSCF_A entity sends an 200_Ok containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        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,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UA_A_SIP_URI,
                        PAssociatedURI indicating value PX_UE_A_SIP_URI,
                        PChargingVector,
                           orig_ioi_parameter 
                               indicating value "Operator Identifier Of ImsA" ,
@@ -370,7 +359,6 @@ Package TP_MW_IS {
    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 I-CSCF successfully processes a invalid first registration (Unsuccessful)."
        
@@ -391,25 +379,25 @@ Package TP_MW_IS {
            ensure that {
                when {
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        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_UA_A_INVALID_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            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 ""
                        ;;
                    to the IMS_IBCF_A entity
                }
                then {
                    the IMS_I_CSCF_A entity sends an 404_NotFound containing
                        From indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID
                        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_IBCF_A entity
                }
@@ -419,8 +407,6 @@ Package TP_MW_IS {
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_07
        // ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the I-CSCF successfully processes a user de-registration (no SIP session active)."
        
@@ -456,8 +442,6 @@ Package TP_MW_IS {
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_08
        // ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the I-CSCF successfully processes a user de-registration (no SIP session active)."
        
@@ -493,8 +477,6 @@ Package TP_MW_IS {
    Test Purpose {
        
        TP Id TP_MW_ICSCF_REGISTER_09
        // ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a network de-registration."
        
+3 −5
Original line number Diff line number Diff line
@@ -265,7 +265,7 @@ Package TP_MW_PS {
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UE_A_CALLID
                        ;
                    to the UE_A entity
                    to the IMS_P_CSCF_A entity
                }
            }
    } // End of TP_MW_PCSCF_REGISTER_03
@@ -556,8 +556,6 @@ Package TP_MW_PS {
    Test Purpose {
        
        TP Id TP_MW_PCSCF_REGISTER_09
        // ??? from ETSI TS 186 011-2 V5.1.1 (2013-10)
        // ??? from ETSI TS 102 790-2 V3.1.1 (2014-07)
        
        Test objective  "Verify that the P-CSCF successfully processes a network de-registration (no SIP session active)."
        
@@ -2897,7 +2895,7 @@ Package TP_MW_PS {
        
        TP Id TP_MW_PCSCF_486INVITE_02
        
        Test objective  "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Originating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a 486 INVITE (busy) to reject call (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], Clause 5.1.3 and Clause 6.2"
@@ -3087,7 +3085,7 @@ Package TP_MW_PS {
        
        TP Id TP_MW_PCSCF_487INVITE_02
        
        Test objective  "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) to reject call (Originating Leg)."
        Test objective  "Verify that the P-CSCF successfully processes a 487 INVITE (Request Terminated) to reject call (Terminating Leg)."
        
        Reference 
            "ETSI TS 124 229 [2], clauses 5.2.7 and 6.2"
+178 −194

File changed.

Preview size limit exceeded, changes collapsed.

+2 −2
Original line number Diff line number Diff line
@@ -24,12 +24,12 @@ module AtsImsIot_TD_ATT{
    import from AtsImsIot_Functions all;
    import from AtsImsIot_TP_behavior_GM all;
    import from AtsImsIot_TP_behavior_MW_PS all;
    import from AtsImsIot_TP_behavior_MW_SI all;
    import from AtsImsIot_TP_behavior_MW_IS all;
    import from AtsImsIot_TP_behavior_IC all;
    import from AtsImsIot_TP_behavior_CX all;
    import from AtsImsIot_TP_behavior_GX all;
    import from AtsImsIot_TP_behavior_ISC all;
    import from AtsImsIot_TP_behavior_MW_PS all;
    import from AtsImsIot_TP_behavior_MW_SI all;
    import from AtsImsIot_TP_behavior_S6A all;
    import from AtsImsIot_TP_behavior_S9 all;
    import from AtsImsIot_TP_behavior_SH all;
Loading