Commit 7af5ce7b authored by Yann Garcia's avatar Yann Garcia
Browse files

Update SIP Session Abort TDs

parent 0b60e373
Loading
Loading
Loading
Loading
+0 −12
Original line number Diff line number Diff line
@@ -486,8 +486,6 @@ Package TP_MW_PS {
    Test Purpose {
        
        TP Id TP_MW_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)."
        
@@ -523,8 +521,6 @@ Package TP_MW_PS {
    Test Purpose {
        
        TP Id TP_MW_PCSCF_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 P-CSCF successfully processes a user de-registration (no SIP session active)."
        
@@ -594,8 +590,6 @@ Package TP_MW_PS {
    Test Purpose {
        
        TP Id TP_MW_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,8 +630,6 @@ Package TP_MW_PS {
    Test Purpose {
        
        TP Id TP_MW_PCSCF_REGISTER_11
        // ??? 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 network detachment."
        
@@ -676,8 +668,6 @@ Package TP_MW_PS {
    Test Purpose {
        
        TP Id TP_MW_PCSCF_REGISTER_12
        // ??? 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)."
        
@@ -713,8 +703,6 @@ Package TP_MW_PS {
    Test Purpose {
        
        TP Id TP_MW_PCSCF_REGISTER_13
        // ??? 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 network detachment."
        
+90 −0
Original line number Diff line number Diff line
@@ -301,6 +301,49 @@ module AtsImsIot_TP_behavior_GM {
        
    } // End of group imsRegistration
    
    group imsDeRegistration {
        
        /**
         * @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
         * }
         * 
         * 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
         *         }
         *     }
         */
        function f_mtc_check_TP_GM_PCSCF_REGISTER_07(
                                                     in ImsInterfaceMonitor p_monitorCompRef,
                                                     in boolean p_checkMessage := true
                                                     ) runs on ImsTestCoordinator {
            p_monitorCompRef.start(
                                   f_imsIot_receive(
                                                    { 
                                                        mw_SipRequest(mw_REGISTER_Request_Base)
                                                    },
                                                    {},
                                                    {0, omit},
                                                    "TP_GM_PCSCF_REGISTER_07",
                                                    false,
                                                    p_checkMessage
                                                    )
                                   );
           p_monitorCompRef.done;
        } // End of function f_mtc_check_TP_GM_PCSCF_REGISTER_07
        
    } // End of group imsDeRegistration
    
    group imsSubscribe {
        
        /**
@@ -356,6 +399,53 @@ module AtsImsIot_TP_behavior_GM {
        
    } // End of group imsSubscribe
    
    group imsNotify {
        
        /**
         * @desc Verify that the P-CSCF successfully processes a NOTIFY in case of IMS Administrative de-registration.
         * Initial conditions with {
         *     the UE_A entity isAttachedTo the EPC_A and
         *     the UE_A entity isRegisteredTo the IMS_A
         * }
         * 
         * Expected behaviour
         * ensure that {
         *     when {
         *         the IMS_S_CSCF_A entity isRequestedToSend a NOTIFY containing
         *             Event indicating value "reg,de-reg"
         *             ;
         *          to the IMS_P_CSCF_A entity
         *     }
         *     then {
         *         the IMS_P_CSCF_A entity sends an NOTIFY containing
         *             Event indicating value "reg,de-reg"
         *             ;
         *          to the UE_A entity
         *         }
         *     }
         */
        function f_mtc_check_TP_GM_PCSCF_NOTIFY_01(
                                                      in ImsInterfaceMonitor p_monitorCompRef,
                                                      in boolean p_checkMessage := true
                                                      ) runs on ImsTestCoordinator {
            p_monitorCompRef.start(
                                   f_imsIot_receive(
                                                    { 
                                                        mw_SipRequest(mw_NOTIFY_Request_Base),
                                                        mw_SipResponse (mw_200OK_Base)
                                                    },
                                                    {},
                                                    {0, omit},
                                                    "TP_GM_PCSCF_NOTIFY_01",
                                                    false,
                                                    p_checkMessage
                                                    )
                                   );
           p_monitorCompRef.done;
        } // End of function f_mtc_check_TP_GM_PCSCF_NOTIFY_01
        
    } // End of group imsNotify
    
    group imsInvite {
        
        /**
+93 −0
Original line number Diff line number Diff line
@@ -326,6 +326,52 @@ module AtsImsIot_TP_behavior_MW_PS {
        
    } // End of group imsRegistration
    
    group imsDeRegistration {
        
        /**
         * @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
         * }
         * 
         * Expected behaviour
         *     ensure that {
         *         when {
         *             the IMS_P_CSCF_A entity sends a REGISTER containing
         *                 Expire indicating value 0
         *                 ;
         *             from the UE_A entity
         *         }
         *         then {
         *             the IMS_P_CSCF_A entity sends a REGISTER containing
         *                 Expire indicating value 0
         *                 ;
         *             to the IMS_I_CSCF_A entity
         *         }
         *     }
         */
        function f_mtc_check_TP_MW_PCSCF_REGISTER_07(
                                                     in ImsInterfaceMonitor p_monitorCompRef,
                                                     in boolean p_checkMessage := true
                                                     ) runs on ImsTestCoordinator {
            p_monitorCompRef.start(
                                   f_imsIot_receive(
                                                    { 
                                                        mw_SipRequest(mw_REGISTER_Request_Base)
                                                    },
                                                    {},
                                                    {0, omit},
                                                    "TP_MW_PCSCF_REGISTER_07",
                                                    false,
                                                    p_checkMessage
                                                    )
                                   );
           p_monitorCompRef.done;
        } // End of function f_mtc_check_TP_MW_PCSCF_REGISTER_07
        
    } // End of group imsDeRegistration
    
    group imsSubscribe {
        
        /**
@@ -390,6 +436,53 @@ module AtsImsIot_TP_behavior_MW_PS {
        
    } // End of group imsSubscribe
    
    group imsNotify {
        
        /**
         * @desc Verify that the P-CSCF successfully processes a NOTIFY in case of IMS Administrative de-registration.
         * Initial conditions with {
         *     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 NOTIFY containing
         *             Event indicating value "reg,de-reg"
         *             ;
         *          from the IMS_S_CSCF_A entity
         *     }
         *     then {
         *         the IMS_P_CSCF_A entity sends an NOTIFY containing
         *             Event indicating value "reg,de-reg"
         *             ;
         *          to the UE_A entity
         *         }
         *     }
         */
        function f_mtc_check_TP_MW_PCSCF_NOTIFY_01(
                                                      in ImsInterfaceMonitor p_monitorCompRef,
                                                      in boolean p_checkMessage := true
                                                      ) runs on ImsTestCoordinator {
            p_monitorCompRef.start(
                                   f_imsIot_receive(
                                                    { 
                                                        mw_SipRequest(mw_NOTIFY_Request_Base),
                                                        mw_SipResponse (mw_200OK_Base)
                                                    },
                                                    {},
                                                    {0, omit},
                                                    "TP_MW_PCSCF_NOTIFY_01",
                                                    false,
                                                    p_checkMessage
                                                    )
                                   );
           p_monitorCompRef.done;
        } // End of function f_mtc_check_TP_MW_PCSCF_NOTIFY_01
        
    } // End of group imsNotify
    
    group imsInvite {
        
        /**