EPC TCs Updated (61a483ab) · Commits · INT - Core Network and Interoperability Testing / IMS / IMS_IOT

ttcn/AtsImsIot/AtsImsIot_Behavior.ttcn

+52 −80

Original line number	Diff line number	Diff line
		@@ -5387,19 +5387,6 @@ group checksTC_IMS_SHARE_0009 {
		p_monitorCompRef.done;
		} // End of function f_mtc_check_TP_EPC_6003_02

		/**
		* Starts monitor component behavior for TP_EPC_6003_03
		* @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_6003_03(
		ImsInterfaceMonitor p_monitorCompRef,
		boolean p_checkMessage
		) runs on ImsTestCoordinator {
		// TODO
		} // End of function f_mtc_check_TP_EPC_6003_03

		/**
		* Starts monitor component behavior for TP_EPC_6004_01
		* @param p_monitorCompRef Reference to monitor component
		@@ -6122,10 +6109,12 @@ 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_6027_02 (
		ImsInterfaceMonitor p_monitorCompRef,
		boolean p_checkMessage
		ImsInterfaceMonitor p_monitorCompRef
		) runs on ImsTestCoordinator {
		// TODO
		p_monitorCompRef.start (
		f_receiveDiameterMsg ( { aAR_MSG := mw_AAR_dummy } , "TP_EPC_6027_02", true )
		);
		p_monitorCompRef.done;
		} // End of function f_mtc_check_TP_EPC_6027_02

		/**
		@@ -6150,10 +6139,12 @@ 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_6027_04(
		ImsInterfaceMonitor p_monitorCompRef,
		boolean p_checkMessage
		ImsInterfaceMonitor p_monitorCompRef
		) runs on ImsTestCoordinator {
		// TODO
		p_monitorCompRef.start (
		f_receiveDiameterMsg ( { aAR_MSG := mw_AAR_dummy } , "TP_EPC_6027_04", true )
		);
		p_monitorCompRef.done;
		} // End of function f_mtc_check_TP_EPC_6027_04

		/**
		@@ -6233,10 +6224,12 @@ 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_6028_02(
		ImsInterfaceMonitor p_monitorCompRef,
		boolean p_checkMessage
		ImsInterfaceMonitor p_monitorCompRef
		) runs on ImsTestCoordinator {
		// TODO
		p_monitorCompRef.start (
		f_receiveDiameterMsg ( { aAA_MSG := mw_AAA_dummy } , "TP_EPC_6028_02", true )
		);
		p_monitorCompRef.done;
		} // End of function f_mtc_check_TP_EPC_6028_02

		/**
		@@ -6279,7 +6272,13 @@ group checksTC_IMS_SHARE_0009 {
		ImsInterfaceMonitor p_monitorCompRef,
		boolean p_checkMessage
		) runs on ImsTestCoordinator {
		// TODO
		p_monitorCompRef.start(
		f_imsIot_receive (
		{ mw_SipResponse ( mw_200OK_Base ) }, { }, { 0, omit },
		"TP_EPC_6029_02", false, p_checkMessage
		)
		);
		p_monitorCompRef.done;
		} // End of function f_mtc_check_TP_EPC_6029_02

		/**
		@@ -6292,7 +6291,12 @@ group checksTC_IMS_SHARE_0009 {
		ImsInterfaceMonitor p_monitorCompRef,
		boolean p_checkMessage
		) runs on ImsTestCoordinator {
		// TODO
		p_monitorCompRef.start(
		f_imsIot_receive(
		{ mw_SipRequest ( mw_ACK_Request_Base ( ? ) ) }, { }, { 0, omit },
		"TP_EPC_6029_03", false, p_checkMessage )
		);
		p_monitorCompRef.done;
		} // End of function f_mtc_check_TP_EPC_6029_03

		/**
		@@ -6344,36 +6348,6 @@ group checksTC_IMS_SHARE_0009 {
		// TODO
		} // End of function f_mtc_check_TP_EPC_6029_06

		/**
		* Starts monitor component behavior for TP_EPC_6030_01
		* @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.
		* <pre>
		* ensure that {
		* when {
		* UE_A sends media to UE_B
		* }
		* then {
		* EPC uses_correct_bearers for the service_data_flows
		* and UE_B receives media
		* and EPC uses_correct_bearers for the service_data_flows
		* and UE_A receives media
		* }
		* }
		* </pre>
		* @see TS 103 029 V3.1.1 clause 7.3.1.1.1
		*/
		function f_mtc_check_TP_EPC_6030_01(
		ImsInterfaceMonitor p_monitorCompRef,
		boolean p_checkMessage
		) runs on ImsTestCoordinator {
		p_monitorCompRef.start (
		f_receiveIpMsg ( p_checkMessage , "TP_EPC_6030_01" )
		);
		p_monitorCompRef.done;
		} // End of function f_mtc_check_TP_EPC_6030_01

		/**
		* Starts monitor component behavior for TP_EPC_6030_02
		* @param p_monitorCompRef Reference to monitor component
		@@ -6475,35 +6449,33 @@ group checksTC_IMS_SHARE_0009 {
		* </pre>
		*/
		function f_mtc_check_TP_EPC_6033_01(
		ImsInterfaceMonitor p_monitorCompRef,
		boolean p_checkMessage
		ImsInterfaceMonitor p_monitorCompRef_A,
		ImsInterfaceMonitor p_monitorCompRef_B
		) runs on ImsTestCoordinator {
		// TODO
		p_monitorCompRef_A.start(
		f_imsIot_receive(
		{ mw_SipRequest ( mw_INVITE_Request_Base ) }, { }, { 0, omit },
		"TP_EPC_6033_01 INVITE", false, false )
		);
		p_monitorCompRef_A.done;
		p_monitorCompRef_A.start(
		f_imsIot_receive(
		{ mw_SipResponse ( mw_200OK_Base ) }, { }, { 0, omit },
		"TP_EPC_6033_01 ACK", false, false )
		);
		p_monitorCompRef_A.done;
		p_monitorCompRef_A.start(
		f_imsIot_receive(
		{ mw_SipRequest ( mw_ACK_Request_Base ( ? ) ) }, { }, { 0, omit },
		"TP_EPC_6033_01 200OK", false, false )
		);
		p_monitorCompRef_A.done;
		p_monitorCompRef_B.start (
		f_receiveDiameterMsg ( { aAR_MSG := mw_AAR_dummy } , "TP_EPC_6033_01" , false )
		);
		p_monitorCompRef_B.done;
		} // End of function f_mtc_check_TP_EPC_6033_01

		/**
		* Starts monitor component behavior for TP_EPC_6033_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.
		* <pre>
		* ensure that {
		* when { IMS_P-CSCF receives INVITE with no SDP from IMS_S-CSCF }
		* then { IMS_P-CSCF does not send AA-Request to EPC_PCRF }
		* when { IMS_P-CSCF receives 200_response on INVITE with no SDP from UE_B }
		* then { IMS_P-CSCF does not send AA-Request to EPC_PCRF }
		* when { IMS_P-CSCF receives ACK with no SDP from IMS_S-CSCF }
		* then { IMS_P-CSCF does not send AA-Request to EPC_PCRF }
		* }
		* </pre>
		*/
		function f_mtc_check_TP_EPC_6033_02(
		ImsInterfaceMonitor p_monitorCompRef,
		boolean p_checkMessage
		) runs on ImsTestCoordinator {
		// TODO
		} // End of function f_mtc_check_TP_EPC_6033_02

		/**
		* Starts monitor component behavior for TP_EPC_6034_01
		* @param p_monitorCompRef Reference to monitor component

ttcn/AtsImsIot/AtsImsIot_TestCases_EPC.ttcn3

+22 −20

Original line number	Diff line number	Diff line
		@@ -467,7 +467,7 @@ module AtsImsIot_TestCases_EPC {
		f_mtc_check_TP_EPC_6027_01 ( v_config.rx );
		f_mtc_check_TP_EPC_6028_01 ( v_config.rx );
		f_mtc_check_TP_EPC_6029_01 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6030_01 ( v_config.sgi, true );
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, true );

		// postamble
		f_PO_user_home_deregistration ( v_ueB );
		@@ -521,7 +521,7 @@ module AtsImsIot_TestCases_EPC {
		f_mtc_check_TP_EPC_6027_03 ( v_config.rx );
		f_mtc_check_TP_EPC_6028_01 ( v_config.rx );
		f_mtc_check_TP_EPC_6029_04 ( v_config.mw, false );
		f_mtc_check_TP_EPC_6030_01 ( v_config.sgi, true );
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, true );

		// postamble
		f_PO_user_home_deregistration ( v_ueB );
		@@ -567,7 +567,7 @@ module AtsImsIot_TestCases_EPC {

		// test body
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, false );
		f_mtc_check_TP_EPC_6033_01 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6033_01 ( v_config.gmA, v_config.rx );
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, false );

		// postamble
		@@ -618,11 +618,12 @@ module AtsImsIot_TestCases_EPC {
		f_mtc_userInitiateCall ( v_ueA, v_userInfoB );

		// test body
		f_mtc_check_TP_EPC_6003_03 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6027_02 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6028_02 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, false );
		f_mtc_check_TP_EPC_6029_02 ( v_config.gmB, false );
		f_mtc_check_TP_EPC_6027_02 ( v_config.rx );
		f_mtc_check_TP_EPC_6028_02 ( v_config.rx );
		f_mtc_check_TP_EPC_6029_02 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6030_01 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, true );

		// postamble
		f_PO_user_home_deregistration ( v_ueB );
		@@ -672,11 +673,12 @@ module AtsImsIot_TestCases_EPC {
		f_mtc_userInitiateCall ( v_ueA, v_userInfoB );

		// test body
		f_mtc_check_TP_EPC_6003_03 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6027_04 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6028_02 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, false );
		f_mtc_check_TP_EPC_6029_03 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6030_01 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6027_04 ( v_config.rx );
		f_mtc_check_TP_EPC_6028_02 ( v_config.rx );
		f_mtc_check_TP_EPC_6029_03 ( v_config.gmB, false );
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, true );

		// postamble
		f_PO_user_home_deregistration ( v_ueB );
		@@ -722,8 +724,8 @@ module AtsImsIot_TestCases_EPC {
		f_mtc_userInitiateCall ( v_ueA, v_userInfoB );

		// test body
		f_mtc_check_TP_EPC_6003_03 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6033_02 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, false );
		f_mtc_check_TP_EPC_6033_01 ( v_config.gmA, v_config.rx );
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, false );

		// postamble
		@@ -884,7 +886,7 @@ module AtsImsIot_TestCases_EPC {
		// test body
		f_mtc_check_TP_EPC_6030_02 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6027_07 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6028_02 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6028_02 ( v_config.rx );
		f_mtc_check_TP_EPC_6029_02 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6031_01 ( v_config.gmA, false );

		@@ -936,8 +938,8 @@ module AtsImsIot_TestCases_EPC {

		// test body
		f_mtc_check_TP_EPC_6031_01 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6027_02 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6028_02 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6027_02 ( v_config.rx );
		f_mtc_check_TP_EPC_6028_02 ( v_config.rx);
		f_mtc_check_TP_EPC_6029_01 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6030_02 ( v_config.gmA, false );

		@@ -987,7 +989,7 @@ module AtsImsIot_TestCases_EPC {
		f_mtc_userInitiateCall ( v_ueA, v_userInfoB );

		// test body
		f_mtc_check_TP_EPC_6030_01 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, true );
		f_mtc_check_TP_EPC_6034_01 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6009_03 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, false );
		@@ -1035,7 +1037,7 @@ module AtsImsIot_TestCases_EPC {
		f_mtc_userInitiateCall ( v_ueA, v_userInfoB );

		// test body
		f_mtc_check_TP_EPC_6030_01 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, true );
		f_mtc_check_TP_EPC_6034_01 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6009_03 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, false );
		@@ -1140,7 +1142,7 @@ module AtsImsIot_TestCases_EPC {
		// test body
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, false );
		f_mtc_check_TP_EPC_6027_05 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6028_02 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6028_02 ( v_config.rx );
		f_mtc_check_TP_EPC_6029_06 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6032_01 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6034_03 ( v_config.gmA, false );
		@@ -1244,7 +1246,7 @@ module AtsImsIot_TestCases_EPC {
		// test body
		f_mtc_check_TP_EPC_6003_02 ( v_config.sgi, false );
		f_mtc_check_TP_EPC_6027_05 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6028_02 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6028_02 ( v_config.rx );
		f_mtc_check_TP_EPC_6029_06 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6032_01 ( v_config.gmA, false );
		f_mtc_check_TP_EPC_6034_04 ( v_config.gmA, false );