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

Update IS interface

parent 69b82a4c
Loading
Loading
Loading
Loading
+1 −7
Original line number Original line Diff line number Diff line
@@ -424,8 +424,6 @@ Package TP_GM {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_GM_PCSCF_REGISTER_07
        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)."
        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 {
    Test Purpose {
        
        
        TP Id TP_GM_PCSCF_REGISTER_10
        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)."
        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
        Expected behaviour
            ensure that {
            ensure that {
                when {
                when {
                    the IMS_S_CSCF_A entity isRequestedToSend a NOTIFY containing
                    the IMS_S_CSCF_A entity isRequestedToSend a NOTIFY
                        Event indicating value "reg,de-reg"
                    ;
                }
                }
                then {
                then {
                    the IMS_P_CSCF_A entity sends an NOTIFY containing
                    the IMS_P_CSCF_A entity sends an NOTIFY containing
+65 −83
Original line number Original line Diff line number Diff line
@@ -21,8 +21,6 @@ Package TP_MW_IS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_ICSCF_MESSAGE_01
        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"
        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 {
    Test Purpose {
        
        
        TP Id TP_MW_ICSCF_REGISTER_01
        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)."
        Test objective  "Verify that the I-CSCF successfully processes a first registration (Successful)."
        
        
@@ -78,26 +74,26 @@ Package TP_MW_IS {
            ensure that {
            ensure that {
                when {
                when {
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UA_A_VIA
                        Via indicating value PX_UE_A_VIA
                        ;
                        ;
                    from the IMS_P_CSCF_A entity
                    from the IMS_P_CSCF_A entity
                }
                }
                then {
                then {
                    the IMS_I_CSCF_A entity sends an 401_Unauthorized containing
                    the IMS_I_CSCF_A entity sends an 401_Unauthorized containing
                        From indicating value PX_UA_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Via indicating value PX_UE_A_VIA,
                        Path,
                        Path,
                        Warning,
                        Warning,
                        PAccessNetworkInfo,
                        PAccessNetworkInfo,
                        WwwAuthenticate containing
                        WwwAuthenticate containing
                            Digest,
                            Digest,
                            Realm indicating value PX_UA_A_REALM,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                            qop indicating value "auth"
                        ;;
                        ;;
@@ -109,8 +105,6 @@ Package TP_MW_IS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_ICSCF_REGISTER_02
        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)."
        Test objective  "Verify that the I-CSCF successfully processes a full registration (Successful)."
        
        
@@ -132,16 +126,16 @@ Package TP_MW_IS {
            ensure that {
            ensure that {
                when {
                when {
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                        Authorization containing
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UA_A_USERNAME,
                            Username indicating value PX_UE_A_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                            qop indicating value "auth"
                        ;;
                        ;;
@@ -149,13 +143,13 @@ Package TP_MW_IS {
                }
                }
                then {
                then {
                    the IMS_I_CSCF_A entity sends an 200_Ok containing
                    the IMS_I_CSCF_A entity sends an 200_Ok containing
                        From indicating value PX_UA_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Via indicating value PX_UE_A_VIA,
                        AuthenticationInfo,
                        AuthenticationInfo,
                        PAccessNetworkInfo,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UA_A_SIP_URI,
                        PAssociatedURI indicating value PX_UE_A_SIP_URI,
                        PChargingVector,
                        PChargingVector,
                           orig_ioi_parameter 
                           orig_ioi_parameter 
                               indicating value "Operator Identifier Of ImsA" ,
                               indicating value "Operator Identifier Of ImsA" ,
@@ -172,7 +166,6 @@ Package TP_MW_IS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_ICSCF_REGISTER_03
        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)."
        Test objective  "Verify that the I-CSCF successfully processes a invalid first registration (Unsuccessful)."
        
        
@@ -223,8 +216,6 @@ Package TP_MW_IS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_ICSCF_REGISTER_04
        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)."
        Test objective  "Verify that the I-CSCF successfully processes a first registration (Successful)."
        
        
@@ -245,20 +236,20 @@ Package TP_MW_IS {
            ensure that {
            ensure that {
                when {
                when {
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Via indicating value PX_UE_A_VIA,
                        PVisitedNetworkID
                        PVisitedNetworkID
                        ;
                        ;
                    from the IMS_IBCF_A entity
                    from the IMS_IBCF_A entity
                }
                }
                then {
                then {
                    the IMS_I_CSCF_A entity sends a REGISTER containing
                    the IMS_I_CSCF_A entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Via indicating value PX_UE_A_VIA,
                        Path indicating value PX_P_CSCF_A_SIP_URI,
                        Path indicating value PX_P_CSCF_A_SIP_URI,
                        PChargingVector containing
                        PChargingVector containing
                            icid indicating value PX_TO_BE_DEFINED,
                            icid indicating value PX_TO_BE_DEFINED,
@@ -268,18 +259,18 @@ Package TP_MW_IS {
                        ;;
                        ;;
                        to the IMS_S_CSCF_A entity
                        to the IMS_S_CSCF_A entity
                    and the IMS_I_CSCF_A entity sends an 401_Unauthorized containing
                    and the IMS_I_CSCF_A entity sends an 401_Unauthorized containing
                        From indicating value PX_UA_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Via indicating value PX_UE_A_VIA,
                        Path,
                        Path,
                        Warning,
                        Warning,
                        PAccessNetworkInfo,
                        PAccessNetworkInfo,
                        PVisitedNetworkID,
                        PVisitedNetworkID,
                        WwwAuthenticate containing
                        WwwAuthenticate containing
                            Digest,
                            Digest,
                            Realm indicating value PX_UA_A_REALM,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                            qop indicating value "auth"
                        ;;
                        ;;
@@ -291,8 +282,6 @@ Package TP_MW_IS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_ICSCF_REGISTER_05
        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)."
        Test objective  "Verify that the I-CSCF successfully processes a full registration (Successful)."
        
        
@@ -314,16 +303,16 @@ Package TP_MW_IS {
            ensure that {
            ensure that {
                when {
                when {
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                        Authorization containing
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UA_A_USERNAME,
                            Username indicating value PX_UE_A_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            Nonce indicating value "not empty",
                            qop indicating value "auth"
                            qop indicating value "auth"
                        ;;
                        ;;
@@ -331,29 +320,29 @@ Package TP_MW_IS {
                }
                }
                then {
                then {
                    the IMS_I_CSCF_B entity sends a REGISTER containing
                    the IMS_I_CSCF_B entity sends a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                        Authorization containing
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_Scheme indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UA_A_USERNAME,
                            Username indicating value PX_UE_A_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value "not empty",
                            Nonce indicating value "not empty",
                            qop indicating value "auth",
                            qop indicating value "auth",
                        PChargingVector
                        PChargingVector
                        ;;
                        ;;
                    to the IMS_S_CSCF_A entity
                    to the IMS_S_CSCF_A entity
                    and the IMS_I_CSCF_A entity sends an 200_Ok containing
                    and the IMS_I_CSCF_A entity sends an 200_Ok containing
                        From indicating value PX_UA_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Via indicating value PX_UE_A_VIA,
                        AuthenticationInfo,
                        AuthenticationInfo,
                        PAccessNetworkInfo,
                        PAccessNetworkInfo,
                        PAssociatedURI indicating value PX_UA_A_SIP_URI,
                        PAssociatedURI indicating value PX_UE_A_SIP_URI,
                        PChargingVector,
                        PChargingVector,
                           orig_ioi_parameter 
                           orig_ioi_parameter 
                               indicating value "Operator Identifier Of ImsA" ,
                               indicating value "Operator Identifier Of ImsA" ,
@@ -370,7 +359,6 @@ Package TP_MW_IS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_ICSCF_REGISTER_06
        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)."
        Test objective  "Verify that the I-CSCF successfully processes a invalid first registration (Unsuccessful)."
        
        
@@ -391,25 +379,25 @@ Package TP_MW_IS {
            ensure that {
            ensure that {
                when {
                when {
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                    the IMS_I_CSCF_A entity receives a REGISTER containing
                        From indicating value PX_UA_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID,
                        CallId indicating value PX_UE_A_CALLID,
                        Via indicating value PX_UA_A_VIA,
                        Via indicating value PX_UE_A_VIA,
                        Authorization containing
                        Authorization containing
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_Schema indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Authentication_URI indicating value PX_TO_BE_DEFINED,
                            Username indicating value PX_UA_A_INVALID_USERNAME,
                            Username indicating value PX_UE_A_INVALID_USERNAME,
                            Realm indicating value PX_UA_A_REALM,
                            Realm indicating value PX_UE_A_REALM,
                            Algorithm indicating value PX_UA_A_AUTH_ALG,
                            Algorithm indicating value PX_UE_A_AUTH_ALG,
                            Nonce indicating value ""
                            Nonce indicating value ""
                        ;;
                        ;;
                    to the IMS_IBCF_A entity
                    to the IMS_IBCF_A entity
                }
                }
                then {
                then {
                    the IMS_I_CSCF_A entity sends an 404_NotFound containing
                    the IMS_I_CSCF_A entity sends an 404_NotFound containing
                        From indicating value PX_UA_A_SIP_URI,
                        From indicating value PX_UE_A_SIP_URI,
                        To indicating value PX_UA_A_SIP_URI,
                        To indicating value PX_UE_A_SIP_URI,
                        CallId indicating value PX_UA_A_CALLID
                        CallId indicating value PX_UE_A_CALLID
                        ;
                        ;
                    to the IMS_IBCF_A entity
                    to the IMS_IBCF_A entity
                }
                }
@@ -419,8 +407,6 @@ Package TP_MW_IS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_ICSCF_REGISTER_07
        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)."
        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 {
    Test Purpose {
        
        
        TP Id TP_MW_ICSCF_REGISTER_08
        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)."
        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 {
    Test Purpose {
        
        
        TP Id TP_MW_ICSCF_REGISTER_09
        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."
        Test objective  "Verify that the P-CSCF successfully processes a network de-registration."
        
        
+1 −3
Original line number Original line Diff line number Diff line
@@ -265,7 +265,7 @@ Package TP_MW_PS {
                        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
                        ;
                        ;
                    to the UE_A entity
                    to the IMS_P_CSCF_A entity
                }
                }
            }
            }
    } // End of TP_MW_PCSCF_REGISTER_03
    } // End of TP_MW_PCSCF_REGISTER_03
@@ -556,8 +556,6 @@ Package TP_MW_PS {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_PCSCF_REGISTER_09
        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)."
        Test objective  "Verify that the P-CSCF successfully processes a network de-registration (no SIP session active)."
        
        
+0 −2
Original line number Original line Diff line number Diff line
@@ -390,8 +390,6 @@ Package TP_MW_SI {
    Test Purpose {
    Test Purpose {
        
        
        TP Id TP_MW_SCSCF_REGISTER_10
        TP Id TP_MW_SCSCF_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 S-CSCF successfully processes a user de-registration (with SIP session active)."
        Test objective  "Verify that the S-CSCF successfully processes a user de-registration (with SIP session active)."
        
        
+46 −4
Original line number Original line Diff line number Diff line
@@ -335,6 +335,51 @@ module AtsImsIot_TP_behavior_GM {
           p_monitorCompRef.done;
           p_monitorCompRef.done;
        } // End of function f_mtc_check_TP_GM_PCSCF_REGISTER_07
        } // End of function f_mtc_check_TP_GM_PCSCF_REGISTER_07
        
        
        /**
         * @desc Verify that the P-CSCF successfully processes a user de-registration (no SIP session active).
         * Initial conditions with {
         *     the UE_A entity isAttachedTo the EPC_A and
         *     the UE_A entity isRegisteredTo the IMS_A
         *     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 isTriggeredToDetachUser
         *         }
         *         then {
         *             the UE_A entity sends a REGISTER containing
         *                 Expire indicating value 0
         *                 ;
         *             to the IMS_P_CSCF_A entity and
         *             the UE_A entity receives a BYE
         *             from the IMS_P_CSCF_A entity
         *         }
         *     }
         */
        function f_mtc_check_TP_GM_PCSCF_REGISTER_10(
                                                     in ImsInterfaceMonitor p_monitorCompRef,
                                                     in boolean p_checkMessage := true
                                                     ) runs on ImsTestCoordinator {
            p_monitorCompRef.start(
                                   f_imsIot_receive(
                                                    { 
                                                        mw_SipRequest(mw_REGISTER_Request_Base),
                                                        mw_SipRequest(mw_BYE_Base),
                                                    },
                                                    {},
                                                    {0, omit},
                                                    "TP_GM_PCSCF_REGISTER_10",
                                                    false,
                                                    p_checkMessage
                                                    )
                                   );
           p_monitorCompRef.done;
        } // End of function f_mtc_check_TP_GM_PCSCF_REGISTER_10
        
    } // End of group imsDeRegistration
    } // End of group imsDeRegistration
    
    
    group imsSubscribe {
    group imsSubscribe {
@@ -404,10 +449,7 @@ module AtsImsIot_TP_behavior_GM {
         * Expected behaviour
         * Expected behaviour
         * ensure that {
         * ensure that {
         *     when {
         *     when {
         *         the IMS_S_CSCF_A entity isRequestedToSend a NOTIFY containing
         *         the IMS_S_CSCF_A entity isRequestedToSend a NOTIFY
         *             Event indicating value "reg,de-reg"
         *             ;
         *          to the IMS_P_CSCF_A entity
         *     }
         *     }
         *     then {
         *     then {
         *         the IMS_P_CSCF_A entity sends an NOTIFY containing
         *         the IMS_P_CSCF_A entity sends an NOTIFY containing
Loading