Commit ad070015 authored by juvancic's avatar juvancic
Browse files

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

parents ec7097f9 a5b36015
Loading
Loading
Loading
Loading

.gitignore

0 → 100644
+29 −0
Original line number Diff line number Diff line
.project
.settings
.classpath
.metadata

/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
/bin/
+3564 −3640
Original line number Diff line number Diff line
@@ -5,79 +5,45 @@
 */
module AtsImsIot_Behavior {
    
	import from AtsImsIot_TestSystem { type ImsInterfaceMonitor, ImsTestCoordinator,SipInterfaceMonitor, DiameterInterfaceMonitor; }
	import from LibIot_PIXITS {modulepar PX_MAX_MSG_WAIT;}
	import from AtsImsIot_Templates {template all;}
	import from AtsImsIot_TypesAndValues { type SipMessage, SipMessageList, NAPTRmessage, EnumResponse, EnumQuery, SkipType; }
	import from LibIot_TestInterface { type EquipmentUser, IotEquipmentUser };
	import from LibIms_UpperTester {type ImsUserInfo;}
	import from LibIot_TypesAndValues {type SetFilterReq, SetFilterRsp;}
	import from LibIot_Functions { function f_setConformanceVerdict, f_setIotVerdictFAIL; }
    // LibSip
    import from LibSip_SIPTypesAndValues all;
    import from LibSip_Templates all;
	
	import from LibSip_Common {
		type 
			GenericParam,
			SemicolonParam_List
	}	
	
	import from AtsImsIot_Functions all;
	import from LibIot_PIXITS {modulepar PX_EUT_A, PX_EUT_B;}
	// LibSip
	import from LibSip_SDPTypes { type SDP_media_desc_list };
    import from LibSip_Common all;
    import from LibSip_SDPTypes all;
    // LibIot
    import from LibIot_PIXITS  all;
    import from LibIot_TestInterface  all;
    import from LibIms_UpperTester  all;
    import from LibIot_TypesAndValues  all;
    import from LibIot_Functions  all;
    import from LibIot_PIXITS all;
    // LibMsrp
	import from LibMsrp_TypesAndValues { type MsrpURI };
	import from LibMsrp_Functions { function f_str2msrpUri };
    import from LibMsrp_Templates { 
        template 
            m_msrpSend_Dummy, mw_msrpSEND_toPath_fromPath_contentType, 
            m_msrpReport_Dummy, mw_msrpREPORT_success, 
            m_msrpResponse_Dummy, mw_msrpResponse_toPath_fromPath, 
            mw_toPath,  mw_fromPath, mw_msrpResponse_toPath_fromPath_with_transferReports,
            m_msrpURIs_ToPath_Dummy, m_msrpURIs_FromPath_Dummy, 
            mw_contentType 
    };
    import from LibMsrp_TypesAndValues all;
    import from LibMsrp_Functions all;
    import from LibMsrp_Templates all;
    // LibDiameter
    import from DiameterS6a_Templates all;
    import from DiameterS6a_PIXITS all;
    import from DiameterGx_Templates all;
	// LibDiameter
    import from LibDiameter_Templates all;
//    import from DiameterRx_Templates all;
    // AtsImsIot
    import from AtsImsIot_TypesAndValues all;
    import from AtsImsIot_Templates  all;
    import from AtsImsIot_TP_behavior_GM all;
    import from AtsImsIot_Functions all;
    import from AtsImsIot_TestSystem  all;
    
    group checks {

        group checksTC_IMS_MESS_0001{
        
		 /**
          * @desc
          *     TP_IMS_4002_01 in CFW step 3 (MESSAGE)<br> ensure that {<br>
          *     when { UE_A sends a MESSAGE to UE_B containing a Message_Body
          *     greater than 1300 bytes }<br> then { IMS_B receives the MESSAGE
          *     containing the Message_Body greater than 1300 bytes }<br> }
          */
	    function f_mtc_check_TP_IMS_4002_01_gm(ImsInterfaceMonitor p_monitorCompRef) 
		runs on ImsTestCoordinator {
		   	    		
           p_monitorCompRef.start(
            f_imsIot_receive(
                {mw_SipRequest(mdw_TP_IMS_4002_01(?))},//? CallId can be checked
                {mw_SipRequest(mw_MESSAGE_Request_Base)},
                {0,omit},
                "TP_IMS_4002_01_gm",
                false,
                false
            )
           );
           p_monitorCompRef.done;
	    }

        function f_mtc_check_TP_IMS_4002_01_ic(ImsInterfaceMonitor p_monitorCompRef) 
        runs on ImsTestCoordinator {
                           
           p_monitorCompRef.start(
            f_imsIot_receive(
                {mw_SipRequest(mdw_TP_IMS_4002_01(?))},//? CallId can be checked
                {mw_SipRequest(mdw_MESSAGE_1500c)}, // FIXME CallId and more can be checked
                {mw_SipRequest(mw_MESSAGE_Request_Base)},
                {0, omit},
                "TP_IMS_4002_01_ic",
@@ -592,26 +558,6 @@ group checksTC_IMS_MESS_0001{
    } // group

group checksTC_IMS_REG_0002{        
	    /**
		 * @desc Starts monitor component behavior 
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5203_01_gm(
	    	ImsInterfaceMonitor p_monitorCompRef
	    ) runs on ImsTestCoordinator {
		   // Check that the UE sends any register	    		
           p_monitorCompRef.start(
            f_imsIot_receive(
                {mw_SipRequest(mw_REGISTER_Request_Base)},
                {},
                {0, omit},
                "TP_IMS_5203_01",
                false,
                false
            )
           );
           p_monitorCompRef.done;
	    }

        /**
         * @desc Starts monitor component behavior
@@ -825,27 +771,6 @@ group checksTC_IMS_REG_0002{
    } // end group

group checksTC_IMS_CALL_0001 {        
	    /**
		 * @desc Starts monitor component behavior 
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5097_01_gm(
	    	ImsInterfaceMonitor p_monitorCompRef,
			boolean p_checkMessage
	    ) runs on ImsTestCoordinator {
		   	    		
           p_monitorCompRef.start(
            f_imsIot_receive(
                {mw_SipRequest(mw_INVITE_Request_Base)},
                {},
                {0, omit},
                "TP_IMS_5097_01",
                false,
				p_checkMessage
            )
           );
           p_monitorCompRef.done;
	    }
        
        /**
         * @desc Starts monitor component behavior
@@ -1365,7 +1290,7 @@ group checksTC_IMS_CALL_0001 {
group checksTC_IMS_CALL_0001F {

/*functions already used in test TC_IMS_CALL_0001
 * f_mtc_check_TP_IMS_5097_01_gm 
 * f_mtc_check_TP_GM_PCSCF_INVITE_01 
 * f_mtc_check_TP_IMS_5097_01_ic
 * f_mtc_check_TP_IMS_5107_01_gm 
 * f_mtc_check_TP_IMS_5107_01_ic
@@ -1386,7 +1311,7 @@ group checksTC_IMS_CALL_0001F {
group checksTC_IMS_CALL_0002 {

/*functions already used in test TC_IMS_CALL_0001
 * f_mtc_check_TP_IMS_5097_01_gm 
 * f_mtc_check_TP_GM_PCSCF_INVITE_01 
 * f_mtc_check_TP_IMS_5097_01_ic
 * f_mtc_check_TP_IMS_5097_02_gm 
 * f_mtc_check_TP_IMS_5097_02_ic
@@ -3363,7 +3288,7 @@ group checksTC_IMS_SS_0006 {

group checksTC_IMS_SS_0007 {
    
	// f_mtc_check_TP_IMS_5097_01_gm already used in test TC_IMS_CALL_0001	    
    // f_mtc_check_TP_GM_PCSCF_INVITE_01 already used in test TC_IMS_CALL_0001        
    // f_mtc_check_TP_IMS_5097_01_ic already used in test TC_IMS_CALL_0001    
    // f_mtc_check_TP_IMS_5108_03_ic already used in test TC_IMS_SS_0003        
    // f_mtc_check_TP_IMS_5108_03_isc already used in test TC_IMS_SS_0003    
@@ -3949,7 +3874,7 @@ group checksTC_IMS_SHARE_0009 {
              * @param p_monitorCompRef Reference to monitor component
              */
             function f_mtc_check_TP_S6A_MME_ULR_01(
				 /*ImsInterfaceMonitor*/DiameterInterfaceMonitor p_monitorCompRef,
                 ImsInterfaceMonitor p_monitorCompRef,
                 boolean p_checkMessage
             ) runs on ImsTestCoordinator {
                 
@@ -3974,7 +3899,7 @@ group checksTC_IMS_SHARE_0009 {
              * @param p_monitorCompRef Reference to monitor component
              */
             function f_mtc_check_TP_S6A_HSS_ULA_01(
				 /*ImsInterfaceMonitor*/DiameterInterfaceMonitor p_monitorCompRef,
                 ImsInterfaceMonitor p_monitorCompRef,
                 boolean p_checkMessage
             ) runs on ImsTestCoordinator  {    

@@ -3997,7 +3922,7 @@ group checksTC_IMS_SHARE_0009 {
             * @param p_monitorCompRef Reference to monitor component
             */
            function f_mtc_check_TP_GX_PCRF_CCA_01(
				/*ImsInterfaceMonitor*/DiameterInterfaceMonitor p_monitorCompRef,
                ImsInterfaceMonitor p_monitorCompRef,
                boolean p_checkMessage
            ) runs on ImsTestCoordinator  {    

@@ -5496,7 +5421,7 @@ group checksTC_IMS_SHARE_0009 {
         * @see TS 103 029 V3.1.1 clause 7.1.2
         */
        function f_mtc_check_TP_EPC_6005_01(
		    /*ImsInterfaceMonitor*/DiameterInterfaceMonitor p_monitorCompRef
            ImsInterfaceMonitor p_monitorCompRef
        ) runs on ImsTestCoordinator {
            p_monitorCompRef.start (
                f_receiveDiameterMsg ( { aSR_MSG := mw_ASR_dummy } , "TP_EPC_6005_01", true )
@@ -5529,7 +5454,7 @@ group checksTC_IMS_SHARE_0009 {
         * @see TS 103 029 V3.1.1 clause 7.1.2
         */
        function f_mtc_check_TP_EPC_6006_01(
		    /*ImsInterfaceMonitor*/DiameterInterfaceMonitor p_monitorCompRef
            ImsInterfaceMonitor p_monitorCompRef
        ) runs on ImsTestCoordinator {
            f_mtc_check_TP_EPC_6006_02 ( p_monitorCompRef );
            f_mtc_check_TP_EPC_6009_01 ( p_monitorCompRef );
@@ -5560,7 +5485,7 @@ group checksTC_IMS_SHARE_0009 {
         * @see TS 103 029 V3.1.1 clause 7.1.2
         */
        function f_mtc_check_TP_EPC_6006_02(
		    /*ImsInterfaceMonitor*/DiameterInterfaceMonitor p_monitorCompRef
            ImsInterfaceMonitor p_monitorCompRef
        ) runs on ImsTestCoordinator {
            p_monitorCompRef.start (
                f_receiveDiameterMsg ( { aSA_MSG := mw_ASA_dummy } , "TP_EPC_6006_02", true )
@@ -5590,7 +5515,7 @@ group checksTC_IMS_SHARE_0009 {
         * @see TS 103 029 V3.1.1 clause 7.1.2
         */
        function f_mtc_check_TP_EPC_6009_01(
		    /*ImsInterfaceMonitor*/DiameterInterfaceMonitor p_monitorCompRef
            ImsInterfaceMonitor p_monitorCompRef
        ) runs on ImsTestCoordinator {
            p_monitorCompRef.start (
                f_receiveDiameterMsg ( { sTA_MSG := mw_STA_dummy } , "TP_EPC_6009_01", true )
@@ -5696,22 +5621,21 @@ group checksTC_IMS_SHARE_0009 {
            p_monitorCompRef.done;
        } // End of function f_mtc_check_TP_EPC_6012_01

//TODO: function commented out due to removal of TPs after refactoring/restructuring
//         /**
//         * Starts monitor component behavior for TP_EPC_6012_02
//         * @param p_monitorCompRef Reference to monitor component
//         * @param p_checkMessage indicate if the incomming message should only be checked (port.check) or consumed (port.receive). 
//         * The check operation allows read access to the top element of incoming port queues without removing the top element from the queue.
//         */
//        function f_mtc_check_TP_EPC_6012_02(
//		    ImsInterfaceMonitor p_monitorCompRef,
//		    ImsInterfaceMonitor p_monitorCompRef_B
//        ) runs on ImsTestCoordinator {
//            f_mtc_check_TP_EPC_6012_01 ( p_monitorCompRef, false );
//            f_mtc_check_TP_EPC_6022_01 ( p_monitorCompRef );
//            f_mtc_check_TP_EPC_6009_01 ( p_monitorCompRef );
//        } // End of function f_mtc_check_TP_EPC_6012_02
//        
         /**
         * Starts monitor component behavior for TP_EPC_6012_02
         * @param p_monitorCompRef Reference to monitor component
         * @param p_checkMessage indicate if the incomming message should only be checked (port.check) or consumed (port.receive). 
         * The check operation allows read access to the top element of incoming port queues without removing the top element from the queue.
         */
        function f_mtc_check_TP_EPC_6012_02(
            ImsInterfaceMonitor p_monitorCompRef,
            ImsInterfaceMonitor p_monitorCompRef_B
        ) runs on ImsTestCoordinator {
            f_mtc_check_TP_EPC_6012_01 ( p_monitorCompRef, false );
            f_mtc_check_TP_EPC_6022_01 ( p_monitorCompRef );
            f_mtc_check_TP_EPC_6009_01 ( p_monitorCompRef );
        } // End of function f_mtc_check_TP_EPC_6012_02
        
        /**
         * Starts monitor component behavior for TP_EPC_6013_01
         * @param p_monitorCompRef Reference to monitor component
@@ -5745,7 +5669,7 @@ group checksTC_IMS_SHARE_0009 {
         * @see TS 103 029 V3.1.1 clause 7.2.1.1
         */
        function f_mtc_check_TP_EPC_6013_01(
		    /*ImsInterfaceMonitor*/DiameterInterfaceMonitor p_monitorCompRef
            ImsInterfaceMonitor p_monitorCompRef
        ) runs on ImsTestCoordinator {
            p_monitorCompRef.start (
                f_receiveDiameterMsg ( { aAR_MSG := mw_AAR_dummy } , "TP_EPC_6013_01", true )
@@ -5760,7 +5684,7 @@ group checksTC_IMS_SHARE_0009 {
         * The check operation allows read access to the top element of incoming port queues without removing the top element from the queue.
         */
        function f_mtc_check_TP_EPC_6014_01(
		    /*ImsInterfaceMonitor*/DiameterInterfaceMonitor p_monitorCompRef
            ImsInterfaceMonitor p_monitorCompRef
        ) runs on ImsTestCoordinator {
            p_monitorCompRef.start (
                f_receiveDiameterMsg ( { aAA_MSG := mw_AAA_dummy } , "TP_EPC_6014_01", true )
@@ -5822,7 +5746,7 @@ group checksTC_IMS_SHARE_0009 {
        function f_mtc_check_TP_EPC_6017_01(
            ImsInterfaceMonitor p_monitorCompRef,
            boolean p_checkMessage,
		    /*ImsInterfaceMonitor*/DiameterInterfaceMonitor p_monitorCompRef_B
            ImsInterfaceMonitor p_monitorCompRef_B
        ) runs on ImsTestCoordinator {
            f_mtc_check_TP_EPC_6018_01 ( p_monitorCompRef, p_checkMessage );
            f_mtc_check_TP_EPC_6022_01 ( p_monitorCompRef_B );
@@ -5870,7 +5794,7 @@ group checksTC_IMS_SHARE_0009 {
        * The check operation allows read access to the top element of incoming port queues without removing the top element from the queue.
        */
       function f_mtc_check_TP_EPC_6022_01(
	       /*ImsInterfaceMonitor*/DiameterInterfaceMonitor p_monitorCompRef
           ImsInterfaceMonitor p_monitorCompRef
       ) runs on ImsTestCoordinator {
           p_monitorCompRef.start (
               f_receiveDiameterMsg ( { sTR_MSG := mw_STR_dummy } , "TP_EPC_6022_01", true )
@@ -5906,7 +5830,7 @@ group checksTC_IMS_SHARE_0009 {
         * The check operation allows read access to the top element of incoming port queues without removing the top element from the queue.
         */
        function f_mtc_check_TP_EPC_6026_01(
		    /*ImsInterfaceMonitor*/DiameterInterfaceMonitor p_monitorCompRef,
            ImsInterfaceMonitor p_monitorCompRef,
            IotEquipmentUser p_ue
        ) runs on ImsTestCoordinator {
           f_mtc_triggerUserCommand ( p_ue, "Trigger registration expiration for UE A");
@@ -5967,7 +5891,7 @@ group checksTC_IMS_SHARE_0009 {
         */
        function f_mtc_check_TP_EPC_6033_01(
            ImsInterfaceMonitor p_monitorCompRef_A,
		    /*ImsInterfaceMonitor*/DiameterInterfaceMonitor p_monitorCompRef_B
            ImsInterfaceMonitor p_monitorCompRef_B
        ) runs on ImsTestCoordinator {
           p_monitorCompRef_A.start(
            f_imsIot_receive(
+457 −48

File changed.

Preview size limit exceeded, changes collapsed.

+1 −1
Original line number Diff line number Diff line
@@ -194,7 +194,7 @@ module AtsImsIot_Templates {
		* 
		* @desc Message Request containing a message body greater than 1500 bytes.
		*/
		template MESSAGE_Request mdw_TP_IMS_4002_01(template CallId p_callId) modifies mw_MESSAGE_Request_Base := {
		template MESSAGE_Request mdw_MESSAGE_1500c(template CallId p_callId := ?) modifies mw_MESSAGE_Request_Base := {
			msgHeader := {
				contact := *
			},
+1932 −1865

File changed.

Preview size limit exceeded, changes collapsed.

Loading