Commit 5c85a1d0 authored by Yann Garcia's avatar Yann Garcia
Browse files

Add AtsImsIot_TP_behavior_MW_PS module

parent 20768efc
Loading
Loading
Loading
Loading
+50 −30
Original line number Diff line number Diff line
@@ -42,17 +42,12 @@ module AtsImsIot_TP_behavior_GM {
         * @desc Verify that the P-CSCF successfully processes a SIP messages greater than 1300 bytes
         * 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
         *     the UE_A entity isNotRegisteredTo the IMS_A
         * }
         * 
         * Expected behaviour
         *     ensure that {
         *         when {
         *             the UE_A entity isAttachedTo the EPC_A and
         *             the UE_A entity isRegisteredTo the IMS_A
         *         }
         *         then {
         *             the UE_A entity isRequestedToSend a MESSAGE containing
         *                 From indicating value PX_UE_A_SIP_URI,
         *                 To indicating value PX_UE_A_SIP_URI,
@@ -61,7 +56,9 @@ module AtsImsIot_TP_behavior_GM {
         *                 ContentLength indicating value greater than 1300 bytes
         *                 ;
         *             to the IMS_P_CSCF_A entity
         *             and the UE_A entity receives the MESSAGE containing
         *         }
         *         then {
         *             the IMS_P_CSCF_A entity receives the MESSAGE containing
         *                 From indicating value PX_UE_A_SIP_URI,
         *                 To indicating value PX_UE_A_SIP_URI,
         *                 CallId indicating value PX_UE_A_CALLID,
@@ -156,7 +153,6 @@ module AtsImsIot_TP_behavior_GM {
         *         }
         *     }
         */
         // FIXME To be removed: f_mtc_check_TP_IMS_5203_01_gm
        function f_mtc_check_TP_GM_PCSCF_REGISTER_01(
                                                     in ImsInterfaceMonitor p_monitorCompRef,
                                                     in boolean p_checkMessage := true
@@ -308,7 +304,7 @@ module AtsImsIot_TP_behavior_GM {
    group imsSubscribe {
        
        /**
         * @desc Verify that the P-CSCF successfully processes a first registration (Successful)
         * @desc Verify that the P-CSCF successfully processes a SUBSCRIBE.
         * Initial conditions with {
         *     the UE_A entity isAttachedTo the EPC_A and
         *     the UE_A entity isRegisteredTo the IMS_A
@@ -350,13 +346,13 @@ module AtsImsIot_TP_behavior_GM {
                                                    },
                                                    {},
                                                    {0, omit},
                                                    "TP_GM_PCSCF_REGISTER_02",
                                                    "TP_GM_PCSCF_SUBSCRIBE_01",
                                                    false,
                                                    p_checkMessage
                                                    )
                                   );
           p_monitorCompRef.done;
        } // End of function f_mtc_check_TP_GM_PCSCF_REGISTER_02
        } // End of function f_mtc_check_TP_GM_PCSCF_SUBSCRIBE_01
        
    } // End of group imsSubscribe
    
@@ -473,10 +469,22 @@ module AtsImsIot_TP_behavior_GM {
         * Expected behaviour
         * ensure that {
         *     when {
         *         the UE_A entity isRequestedToSend an ReINVITE
         *         the IMS_P_CSCF_A entity receives a ReINVITE 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,
         *             PAccessNetworkInfo,
         *             MessageBody containing
         *                 SDP containing
         *                     Version indicating value "0" 
         *                         ;
         *             ;;
         *         from the UE_A entity
         *     }
         *     then {
         *         the IMS_P_CSCF_A entity receives an ReINVITE containing
         *         the IMS_P_CSCF_A entity sends a ReINVITE containing
         *             From indicating value PX_UE_A_SIP_URI,
         *             To indicating value PX_UE_B_SIP_URI,
         *             CallId indicating value PX_UE_A_CALLID,
@@ -488,7 +496,7 @@ module AtsImsIot_TP_behavior_GM {
         *                     Version indicating value "0" 
         *                         ;
         *             ;;
         *         fomr the UE_A entity
         *         to the IMS_S_CSCF_A entity
         *         }
         *     }
         */
@@ -523,16 +531,28 @@ module AtsImsIot_TP_behavior_GM {
         *     the UE_B entity isAttachedTo the EPC_B and
         *     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_A
         *     the UE_B entity previouslyEstablishedCallWith the UE_A
         * }
         * 
         * Expected behaviour
         * ensure that {
         *     when {
         *         the UE_B entity isRequestedToSend a ReINVITE
         *         the IMS_P_CSCF_B entity receives an ReINVITE 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,
         *             PAccessNetworkInfo,
         *             MessageBody containing
         *                 SDP containing
         *                     Version indicating value "0" 
         *                         ;
         *             ;;
         *         from the IMS_S_CSCF_B entity
         *     }
         *     then {
         *         the IMS_P_CSCF_B entity sends a ReINVITE containing
         *         the IMS_P_CSCF_B entity sends an ReINVITE containing
         *             From indicating value PX_UE_B_SIP_URI,
         *             To indicating value PX_UE_A_SIP_URI,
         *             CallId indicating value PX_UE_B_CALLID,
@@ -544,7 +564,7 @@ module AtsImsIot_TP_behavior_GM {
         *                     Version indicating value "0" 
         *                         ;
         *             ;;
         *         fomr the UE_B entity
         *         to the UE_B entity
         *         }
         *     }
         */
@@ -1041,4 +1061,4 @@ module AtsImsIot_TP_behavior_GM {
        
    } // End of group imsBye
    
} // end module AtsImsIot_TP_behavior_GM
 No newline at end of file
} // End of module AtsImsIot_TP_behavior_GM
 No newline at end of file
+1110 −0

File added.

Preview size limit exceeded, changes collapsed.

+24 −4
Original line number Diff line number Diff line
@@ -13,9 +13,11 @@ module AtsImsIot_TestCases_CALL {
    import from LibIot_PIXITS all;
    import from LibIot_TestConfiguration all;
    import from LibIot_TestInterface all;
    import from LibIot_VxLTE_Functions all;
    
    // AtsImsIot
    import from AtsImsIot_TP_behavior_GM all;
    import from AtsImsIot_TP_behavior_MW_PS all;
    import from AtsImsIot_Behavior all; // TODO To be removed
    import from AtsImsIot_Functions all;
    import from AtsImsIot_TestSystem all;
@@ -32,6 +34,7 @@ module AtsImsIot_TestCases_CALL {
                // create components
                var IotEquipmentUser v_ueA := f_cf_create_IotEquipmentUser(c_userUE_A);
                var IotEquipmentUser v_ueB := f_cf_create_IotEquipmentUser(c_userUE_B);
                f_cf_createVxLteMonitor();
                var ImsInterfaceMonitor v_gmA := f_cf_create_monitor(c_gm_A);
                var ImsInterfaceMonitor v_ic := f_cf_create_monitor(c_ic);
                var ImsInterfaceMonitor v_gmB := f_cf_create_monitor(c_gm_B);
@@ -44,9 +47,10 @@ module AtsImsIot_TestCases_CALL {
                f_cf_adapter_up();
                f_cf_user_up(v_ueA);
                f_cf_user_up(v_ueB);
                f_cf_int_call_up(v_config);
                f_cf_VxLteMonitor_Up();
                
                // preamble
                f_cf_int_call_up(v_config);
                f_mtc_userRegistration(v_ueA, v_userInfoA); 
                f_mtc_userRegistration(v_ueB, v_userInfoB); 
                
@@ -54,18 +58,22 @@ module AtsImsIot_TestCases_CALL {
                f_mtc_userInitiateCall (v_ueA, v_userTelInfoB);
                
                f_mtc_check_TP_GM_PCSCF_INVITE_01(v_gmA, true, true); // Event 1
                f_mtc_check_TP_MW_PCSCF_INVITE_01(v_gmA/*FIXME: mwPS*/, true, true); // Event 6
                
                f_mtc_check_TP_GM_PCSCF_100Trying_01(v_gmA, true, true);
                
                f_mtc_check_TP_GM_PCSCF_180RINGING_01(v_gmA, true); // Event 16
                f_mtc_check_TP_MW_PCSCF_180RINGING_01(v_gmA/*FIXME: mwPS*/, true, true); // Event 11
                
                f_mtc_userCheckRinging(v_ueB);
                f_mtc_userCheckPeerIsRinging(v_ueA);
                f_mtc_userAnswerCall(v_ueB);
                
                f_mtc_check_TP_GM_PCSCF_200OK_01(v_gmA, true); // Event 15
                f_mtc_check_TP_GM_PCSCF_200OK_01(v_gmA, true); // Event 25
                f_mtc_check_TP_MW_PCSCF_200OK_01(v_gmA/*FIXME: mwPS*/, true, true); // Event 20
                
                f_mtc_check_TP_GM_PCSCF_ACK_01(v_gmA, true, true); // Event 26 
                f_mtc_check_TP_MW_PCSCF_ACK_01(v_gmA/*FIXME: mwPS*/, true, true); // Event 27 
                
                f_mtc_userCheckCallEstablished(v_ueA); // Event 30
                f_mtc_userCheckCallEstablished(v_ueB); // Event 30
@@ -77,6 +85,7 @@ module AtsImsIot_TestCases_CALL {
                f_cf_int_call_down(v_config);
                
                //unmap/disconnet component ports
                f_cf_VxLteMonitor_Down();
                f_cf_user_down(v_ueA);
                f_cf_user_down(v_ueB);
                f_cf_adapter_down();
@@ -115,18 +124,23 @@ module AtsImsIot_TestCases_CALL {
                f_mtc_userInitiateCall (v_ueB, v_userTelInfoA);
                
                f_mtc_check_TP_GM_PCSCF_INVITE_02(v_gmB, true, true); // Event 8
                f_mtc_check_TP_MW_PCSCF_INVITE_02(v_gmB/*FIXME: mwPS*/, true, true); // Event 3
                
                f_mtc_check_TP_GM_PCSCF_100Trying_02(v_gmB, true, true);
                f_mtc_check_TP_MW_PCSCF_100Trying_02(v_gmB/*FIXME: mwPS*/, true, true);
                
                f_mtc_check_TP_GM_PCSCF_180RINGING_02(v_gmB, true); // Event 9
                f_mtc_check_TP_MW_PCSCF_180RINGING_02(v_gmB/*FIXME: mwPS*/, true); // Event 14
                
                f_mtc_userCheckRinging(v_ueA);
                f_mtc_userCheckPeerIsRinging(v_ueB);
                f_mtc_userAnswerCall(v_ueA);
                
                f_mtc_check_TP_GM_PCSCF_200OK_02(v_gmB, true); // Event 18
                f_mtc_check_TP_MW_PCSCF_200OK_02(v_gmB/*FIXME: mwPS*/, true); // Event 23
                
                f_mtc_check_TP_GM_PCSCF_ACK_01(v_gmB, true, true); // Event 29 
                f_mtc_check_TP_MW_PCSCF_ACK_01(v_gmB/*FIXME: mwPS*/, true, true); // Event 28
                
                f_mtc_userCheckCallEstablished(v_ueA); // Event 30
                f_mtc_userCheckCallEstablished(v_ueB); // Event 30
@@ -188,8 +202,14 @@ module AtsImsIot_TestCases_CALL {
                
                // test body
                f_mtc_check_TP_GM_PCSCF_RE_INVITE_01(v_gmA); // Event 2
                f_mtc_check_TP_MW_PCSCF_RE_INVITE_01(v_gmA/*FIXME: mwPS*/); // Event 3
                
                f_mtc_check_TP_GM_PCSCF_200OK_01(v_gmA); // Event 13
                f_mtc_check_TP_GM_PCSCF_ACK_01(v_gmA); // Event 15
                f_mtc_check_TP_MW_PCSCF_200OK_01(v_gmA/*FIXME: mwPS*/); // Event 8
                
                f_mtc_check_TP_GM_PCSCF_ACK_01(v_gmA); // Event 14
                 f_mtc_check_TP_MW_PCSCF_ACK_01(v_gmA); // Event 15
                 
               f_mtc_userCheckNewMediaStream(v_ueB);
                f_mtc_userCheckNewMediaStream(v_ueA);
                
+7 −4
Original line number Diff line number Diff line
@@ -17,7 +17,9 @@ module AtsImsIot_TestCases_MESS {
    import from LibIot_PIXITS all;
    // AtsImsIot
    import from AtsImsIot_TP_behavior_GM all;
    import from AtsImsIot_TP_behavior_MW_PS all;
    import from AtsImsIot_Behavior all; // FIXME To be removed
    import from LibIot_VxLTE_Functions all;
    import from AtsImsIot_Functions all;
    import from AtsImsIot_TestConfiguration all;
    import from AtsImsIot_TestSystem all;
@@ -26,23 +28,23 @@ module AtsImsIot_TestCases_MESS {
    import from AtsImsIot_TypesAndValues all;
        
    /**
     * @desc IMS network shall support SIP messages greater than 1500 bytes.
     * @desc IMS network shall support SIP messages greater than 1300 bytes.
     *     
     */
    testcase TC_VxLTE_INT_MESSAGE_01() runs on ImsTestCoordinator system IotSystemInterface {
        // create components
        var IotEquipmentUser v_ueA := f_cf_create_IotEquipmentUser(c_userUE_A);
        var IotEquipmentUser v_ueB := f_cf_create_IotEquipmentUser(c_userUE_B);
        f_cf_createVxLteMonitor();
        var ImsInterfaceMonitor v_gmA := f_cf_create_monitor(c_gm_A);
//        var ImsInterfaceMonitor v_ic := f_cf_create_monitor(c_ic);
        var ImsInterfaceMonitor v_mxA := f_cf_create_monitor(c_mx_A);
        var ImsInterfaceMonitor v_mxB := f_cf_create_monitor(c_mx_B);
        var CF_INT_CALL v_config := {v_gmA, v_mxA, omit, v_mxB, omit, omit};
        var CF_INT_CALL v_config := {v_gmA, omit, omit, omit, omit, omit};
        
        // map/connect component ports
        f_cf_adapter_up();
        f_cf_user_up(v_ueA);
        f_cf_user_up(v_ueB);
        f_cf_VxLteMonitor_Up();
        
        // preamble
        f_cf_int_call_up(v_config);
@@ -65,6 +67,7 @@ module AtsImsIot_TestCases_MESS {
        log("**** TC_IMS_MESS_0001: Postamble done. ****");
        
        //unmap/disconnet component ports
        f_cf_VxLteMonitor_Down();
        f_cf_user_down(v_ueA);
        f_cf_user_down(v_ueB);
        f_cf_adapter_down();
+6 −2
Original line number Diff line number Diff line
@@ -15,6 +15,7 @@ module AtsImsIot_TestCases_REG {
    import from LibIms_UpperTester all;
    // AtsImsIot
    import from AtsImsIot_TP_behavior_GM all;
    import from AtsImsIot_TP_behavior_MW_PS all;
    import from AtsImsIot_Behavior all; // TODO To be removed
    import from AtsImsIot_Functions all;
    import from AtsImsIot_TestConfiguration all;
@@ -43,8 +44,11 @@ module AtsImsIot_TestCases_REG {
        
        // Test body
        f_mtc_check_TP_GM_PCSCF_REGISTER_01(v_gmA, true); // Events 1, 10
        f_mtc_check_TP_MW_PCSCF_REGISTER_01(v_gmA/*FIXME: mwPS*/, true, true); // Event 2, 9
        f_mtc_check_TP_GM_PCSCF_REGISTER_02(v_gmA, true); // Events 11, 20
        f_mtc_check_TP_MW_PCSCF_REGISTER_02(v_gmA/*FIXME: mwPS*/, true); // Events 12, 19
        f_mtc_check_TP_GM_PCSCF_SUBSCRIBE_01(v_gmA, true); // Events 21, 24
        f_mtc_check_TP_MW_PCSCF_SUBSCRIBE_01(v_gmA/*FIXME: mwPS*/, true); // Events 22, 23
        
        // Postamble
        f_PO_user_home_deregistration(v_ueA);
Loading