Commit 649fe383 authored by poglitsch's avatar poglitsch
Browse files

compilable version after review

parent e56e07cc
Loading
Loading
Loading
Loading
+66 −61
Original line number Diff line number Diff line
@@ -5,6 +5,10 @@
 */
module AtsImsIot_Behavior {
	
	import from AtsIMsIot_TestSystem {
		type ImsInterfaceMonitor, ImsTestCoordinator;
	}

	import from LibIot_PIXITS {modulepar PX_MAX_MSG_WAIT;}

	import from AtsImsIot_Templates {template all;}
@@ -12,12 +16,13 @@ module AtsImsIot_Behavior {
	import from AtsImsIot_TypesAndValues {type SipMessage, SipMessageList;}
		
	
	import from LibIms_ConfigAndTrigger {type ImsUserInfo;}
	import from LibIms_UpperTester {type ImsUserInfo;}

	import from LibIot_TypesAndValues {type DefaultList;}
	import from LibIot_TestInterface {type TestCoordinator, InterfaceMonitor;}

	import from LibSip_SIPTypesAndValues {type Request, Response, CallId, SipUrl;}
	import from LibSip_SIPTypesAndValues {
		type Request, Response, CallId, SipUrl;
	}
	
	import from LibSip_Templates all;
	
@@ -49,7 +54,7 @@ module AtsImsIot_Behavior {
          in charstring p_log,
          in integer p_skipCount,
          in boolean p_forwardMtc
        ) runs on InterfaceMonitor { 
        ) runs on ImsInterfaceMonitor { 

            var integer v_size := sizeof(valueof(p_failCriteria)); 
            var DefaultList v_defaultArray;
@@ -77,13 +82,13 @@ module AtsImsIot_Behavior {
          in charstring p_tpId,
          in charstring p_log, // TODO: usage? what is in this param?
          in integer p_skipCount
        ) runs on InterfaceMonitor {
        ) runs on ImsInterfaceMonitor {
            
			tc_wait.start;
            
            alt {
            	// preamble (consume prior messages)
            	[p_skipCount > 0] mPort.receive {
            	[p_skipCount > 0] dPort.receive {
            		p_skipCount := p_skipCount - 1;
            		log("***f_gen_receive: Message skipped (intentionally) when checking for " & p_tpId & " at interface " & vc_interfaceName & " ****");
            		repeat;
@@ -114,7 +119,7 @@ module AtsImsIot_Behavior {
			in charstring p_tpId,
			in charstring p_log,
			in boolean p_forwardMtc
		) runs on InterfaceMonitor {
		) runs on ImsInterfaceMonitor {
			var integer v_size := sizeof(valueof((p_list))); 
			var integer v_idx := p_startIdx;

@@ -136,8 +141,8 @@ module AtsImsIot_Behavior {
		
	group altsteps {
		
		altstep a_default(in charstring p_TP) runs on InterfaceMonitor {
			[] mPort.receive {
		altstep a_default(in charstring p_TP) runs on ImsInterfaceMonitor {
			[] dPort.receive {
				log(self, "*** a_default: Received/ignored unexpected message when waiting for message complying to " & p_TP );
				repeat; 
			}
@@ -157,15 +162,15 @@ module AtsImsIot_Behavior {
			in charstring p_tpId,
			in charstring p_log, // TODO ???
			in boolean p_forwardMtc
		) runs on InterfaceMonitor {
		) runs on ImsInterfaceMonitor {
			var Request v_message;
			[] mPort.receive(p_message) -> value v_message {
			[] dPort.receive(p_message) -> value v_message {
				//TODO use oracle
				setverdict(p_verdict, self, "***a_receive_sipRequest: Received expected SIP request complying to " & p_tpId & " on interface " & vc_interfaceName & " ***");
				if(p_forwardMtc) {
					var SipMessage v_msg;
					v_msg.request := v_message;
					xPort.send(v_msg);
					icpPort.send(v_msg);
				}
			}
		}
@@ -184,15 +189,15 @@ module AtsImsIot_Behavior {
    		in charstring p_tpId,
    		in charstring p_log,
    		in boolean p_forwardMtc
		) runs on InterfaceMonitor {
		) runs on ImsInterfaceMonitor {
			var Response v_message;
			[] mPort.receive(p_message) -> value v_message {
			[] dPort.receive(p_message) -> value v_message {
				//TODO use oracle
				setverdict(p_verdict, self, "***a_receive_sipResponse: Received expected SIP response complying to " & p_tpId & " on interface " & vc_interfaceName & " ***");
				if(p_forwardMtc) {
					var SipMessage v_msg;
					v_msg.response := v_message;
					xPort.send(v_msg);
					icpPort.send(v_msg);
				}
			}
		}
@@ -210,8 +215,8 @@ group checksTC_IMS_0001 {
          *     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(InterfaceMonitor p_monitorCompRef) 
		runs on TestCoordinator {
	    function f_mtc_check_TP_IMS_4002_01_gm(ImsInterfaceMonitor p_monitorCompRef) 
		runs on ImsTestCoordinator {
		   	    		
           p_monitorCompRef.start(
            f_imsIot_receive(
@@ -226,8 +231,8 @@ group checksTC_IMS_0001 {
           p_monitorCompRef.done;
	    }

	    function f_mtc_check_TP_IMS_4002_01_mw(InterfaceMonitor p_monitorCompRef) 
		runs on TestCoordinator {
	    function f_mtc_check_TP_IMS_4002_01_mw(ImsInterfaceMonitor p_monitorCompRef) 
		runs on ImsTestCoordinator {
		   	    		
           p_monitorCompRef.start(
            f_imsIot_receive(
@@ -249,8 +254,8 @@ group checksTC_IMS_0002 {
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5011_01_gm(
	    	InterfaceMonitor p_monitorCompRef
	    ) runs on TestCoordinator {
	    	ImsInterfaceMonitor p_monitorCompRef
	    ) runs on ImsTestCoordinator {
		   	    		
           p_monitorCompRef.start(
            f_imsIot_receive(
@@ -270,8 +275,8 @@ group checksTC_IMS_0002 {
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5011_01_mw(
	    	InterfaceMonitor p_monitorCompRef
	    ) runs on TestCoordinator return Request {
	    	ImsInterfaceMonitor p_monitorCompRef
	    ) runs on ImsTestCoordinator return Request {
		   var charstring v_EUT_A_Addr := f_GetEUTAddress(PX_EUT_A);
		   var SipMessage v_sip;    		
           p_monitorCompRef.start(
@@ -294,8 +299,8 @@ group checksTC_IMS_0002 {
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5011_02_mw(
	    	InterfaceMonitor p_monitorCompRef
	    ) runs on TestCoordinator return Request{
	    	ImsInterfaceMonitor p_monitorCompRef
	    ) runs on ImsTestCoordinator return Request{
		   var charstring v_EUT_A_Addr := f_GetEUTAddress(PX_EUT_A);    		
		   var SipMessage v_sip;
           p_monitorCompRef.start(
@@ -319,8 +324,8 @@ group checksTC_IMS_0002 {
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5092_01_mw(
	    	InterfaceMonitor p_monitorCompRef
	    ) runs on TestCoordinator return Response {
	    	ImsInterfaceMonitor p_monitorCompRef
	    ) runs on ImsTestCoordinator return Response {
	       var template SipUrl v_eutBUri := mw_SipUrl_Host(f_GetEUTAddress(PX_EUT_B)); 
		   var SipMessage v_sip;
          p_monitorCompRef.start(
@@ -345,8 +350,8 @@ group checksTC_IMS_0002 {
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5089_01_mw(
	    	InterfaceMonitor p_monitorCompRef
	    ) runs on TestCoordinator return Response {
	    	ImsInterfaceMonitor p_monitorCompRef
	    ) runs on ImsTestCoordinator return Response {
		  var SipMessage v_sip;
          p_monitorCompRef.start(
            f_imsIot_receive(
@@ -370,8 +375,8 @@ group checksTC_IMS_0002 {
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5044_01_mw(
	    	InterfaceMonitor p_monitorCompRef, Response p_200OK
	    ) runs on TestCoordinator  return Request
	    	ImsInterfaceMonitor p_monitorCompRef, Response p_200OK
	    ) runs on ImsTestCoordinator  return Request
	    {
	       var charstring v_EUTB_PublicId := f_GetEUTPublicId(PX_EUT_B);
		   var template SipUrl v_eutAUri := mw_SipUrl_Host(f_GetEUTAddress(PX_EUT_A));  		
@@ -406,8 +411,8 @@ group checksTC_IMS_0002 {
		 * @desc Starts monitor component behavior for TP_IMS_5096_01
		 */
	    function f_mtc_check_TP_IMS_5096_01_mw(
	    	InterfaceMonitor p_monitorCompRef, Request p_Subscribe
	    ) runs on TestCoordinator  return Response
	    	ImsInterfaceMonitor p_monitorCompRef, Request p_Subscribe
	    ) runs on ImsTestCoordinator  return Response
	    {
		   var SipMessage v_sip;
           var charstring v_Epires200OK;
@@ -446,8 +451,8 @@ group checksTC_IMS_0003{
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5203_01_gm(
	    	InterfaceMonitor p_monitorCompRef
	    ) runs on TestCoordinator {
	    	ImsInterfaceMonitor p_monitorCompRef
	    ) runs on ImsTestCoordinator {
		   // Check that the UE sends any register	    		
           p_monitorCompRef.start(
            f_imsIot_receive(
@@ -467,8 +472,8 @@ group checksTC_IMS_0003{
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5203_01_mw(
	    	InterfaceMonitor p_monitorCompRef
	    ) runs on TestCoordinator return Request {
	    	ImsInterfaceMonitor p_monitorCompRef
	    ) runs on ImsTestCoordinator return Request {
		   var SipMessage v_sip;
		   
		   //Get first Register
@@ -515,8 +520,8 @@ group checksTC_IMS_0003H{
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5402_01_gm(
	    	InterfaceMonitor p_monitorCompRef
	    ) runs on TestCoordinator {
	    	ImsInterfaceMonitor p_monitorCompRef
	    ) runs on ImsTestCoordinator {
		   // Check that the UE sends any register	    		
           p_monitorCompRef.start(
            f_imsIot_receive(
@@ -536,8 +541,8 @@ group checksTC_IMS_0003H{
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5402_01_mw(
	    	InterfaceMonitor p_monitorCompRef
	    ) runs on TestCoordinator return Request {
	    	ImsInterfaceMonitor p_monitorCompRef
	    ) runs on ImsTestCoordinator return Request {
		   var SipMessage v_sip;
		   
		   //Get first Register
@@ -600,8 +605,8 @@ group checksTC_IMS_0004{
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5129_01_gm(
	    	InterfaceMonitor p_monitorCompRef
	    ) runs on TestCoordinator {
	    	ImsInterfaceMonitor p_monitorCompRef
	    ) runs on ImsTestCoordinator {
		   // Check that the UE sends any register	    		
           p_monitorCompRef.start(
            f_imsIot_receive(
@@ -621,8 +626,8 @@ group checksTC_IMS_0004{
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5129_01_mw(
	    	InterfaceMonitor p_monitorCompRef
	    ) runs on TestCoordinator return Response {
	    	ImsInterfaceMonitor p_monitorCompRef
	    ) runs on ImsTestCoordinator return Response {
		   var SipMessage v_sip;
          p_monitorCompRef.start(
            f_imsIot_receive(
@@ -649,8 +654,8 @@ group checksTC_IMS_0004H{
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5411_01_gm(
	    	InterfaceMonitor p_monitorCompRef
	    ) runs on TestCoordinator {
	    	ImsInterfaceMonitor p_monitorCompRef
	    ) runs on ImsTestCoordinator {
		   // Check that the UE sends any register	    		
           p_monitorCompRef.start(
            f_imsIot_receive(
@@ -670,8 +675,8 @@ group checksTC_IMS_0004H{
		 * @param p_monitorCompRef Reference to monitor component
		 */
	    function f_mtc_check_TP_IMS_5411_01_mw(
	    	InterfaceMonitor p_monitorCompRef
	    ) runs on TestCoordinator return Response {
	    	ImsInterfaceMonitor p_monitorCompRef
	    ) runs on ImsTestCoordinator return Response {
		   var SipMessage v_sip;
          p_monitorCompRef.start(
            f_imsIot_receive(
@@ -698,8 +703,8 @@ group checksTC_IMS_0005 {
    	* @desc Starts monitor component behavior for TP_IMS_5088_01 (gm)
    	* @param p_monitorCompRef Reference to monitor component
    	*/
    	function f_mtc_check_TP_IMS_5088_01_gm(InterfaceMonitor p_monitorCompRef) 
    		runs on TestCoordinator {
    	function f_mtc_check_TP_IMS_5088_01_gm(ImsInterfaceMonitor p_monitorCompRef) 
    		runs on ImsTestCoordinator {
       	    		
    		p_monitorCompRef.start(
    			f_imsIot_receive(
@@ -718,8 +723,8 @@ group checksTC_IMS_0005 {
    	* @desc Starts monitor component behavior for TP_IMS_5088_01 (mw)
    	* @param p_monitorCompRef Reference to monitor component
    	*/
    	function f_mtc_check_TP_IMS_5088_01_mw(InterfaceMonitor p_monitorCompRef) 
    		runs on TestCoordinator {
    	function f_mtc_check_TP_IMS_5088_01_mw(ImsInterfaceMonitor p_monitorCompRef) 
    		runs on ImsTestCoordinator {
    		
			var charstring v_hostname;
			f_getHostname(PX_EUT_A, "pcscf", v_hostname); // needs recheck	
@@ -742,8 +747,8 @@ group checksTC_IMS_0005 {
    	* @desc Starts monitor component behavior for TP_IMS_5093_01 (mw)
    	* @param p_monitorCompRef Reference to monitor component
    	*/
    	function f_mtc_check_TP_IMS_5093_01_UE_mw(InterfaceMonitor p_monitorCompRef) 
    		runs on TestCoordinator {
    	function f_mtc_check_TP_IMS_5093_01_UE_mw(ImsInterfaceMonitor p_monitorCompRef) 
    		runs on ImsTestCoordinator {
    		
    		var charstring v_hostname;
    		var integer PX_UE_B := 1; // TODO this is just temporary, UE PIXIT needs to be determined
@@ -766,8 +771,8 @@ group checksTC_IMS_0005 {
    	* @desc Starts monitor component behavior for TP_IMS_5093_01 (mw)
    	* @param p_monitorCompRef Reference to monitor component
    	*/
    	function f_mtc_check_TP_IMS_5093_01_IMS_mw(InterfaceMonitor p_monitorCompRef) 
    		runs on TestCoordinator {
    	function f_mtc_check_TP_IMS_5093_01_IMS_mw(ImsInterfaceMonitor p_monitorCompRef) 
    		runs on ImsTestCoordinator {
    		
    		var charstring v_hostname;
    		f_getHostname(PX_EUT_A, "pcscf", v_hostname); // needs recheck
@@ -791,8 +796,8 @@ group checksTC_IMS_0005 {
		* @desc Starts monitor component behavior for TP_IMS_5094_01 (mw)
		* @param p_monitorCompRef Reference to monitor component
		*/
		function f_mtc_check_TP_IMS_5094_01_UE(InterfaceMonitor p_monitorCompRef) 
			runs on TestCoordinator {
		function f_mtc_check_TP_IMS_5094_01_UE(ImsInterfaceMonitor p_monitorCompRef) 
			runs on ImsTestCoordinator {
    		
			var charstring v_hostname;
			var integer PX_UE_B := 1; // TODO this is just temporary, UE PIXIT needs to be determined
@@ -815,8 +820,8 @@ group checksTC_IMS_0005 {
		* @desc Starts monitor component behavior for TP_IMS_5094_01 (mw)
		* @param p_monitorCompRef Reference to monitor component
		*/
		function f_mtc_check_TP_IMS_5094_01_IMS(InterfaceMonitor p_monitorCompRef) 
			runs on TestCoordinator {
		function f_mtc_check_TP_IMS_5094_01_IMS(ImsInterfaceMonitor p_monitorCompRef) 
			runs on ImsTestCoordinator {

			var charstring v_hostname;
			f_getHostname(PX_EUT_A, "pcscf", v_hostname); // needs recheck
+17 −16
Original line number Diff line number Diff line
@@ -5,17 +5,18 @@
 */
module AtsImsIot_Functions {
 
 	import from AtsIMsIot_TestSystem {type ImsTestCoordinator;}

 	import from LibUpperTester {type EquipmentUser;}

 	import from LibIot_PIXITS {modulepar PX_MAX_MSG_WAIT;}

 	import from AtsImsIot_TypesAndValues {type SipMessage;}

 	import from LibIot_TypesAndValues {type TriggerCommand;}

 	import from LibIms_ConfigAndTrigger all;
 	import from LibIms_UpperTester all;

 	import from LibIot_TestInterface {
		 type EutTrigger, InterfaceMonitor, TestCoordinator;
	 }
 	import from LibIot_TestInterface {type InterfaceMonitor, TestCoordinator;}
 	
 	group ue {
 		
@@ -27,7 +28,7 @@ module AtsImsIot_Functions {
		  *     true in case of successfull execution of the trigger command
		  *     otherwise false
		  */
 		function f_mtc_userTriggerRegistration(EutTrigger p_userCompRef, integer p_productIdx) runs on TestCoordinator return boolean {
 		function f_mtc_userTriggerRegistration(EquipmentUser p_userCompRef, integer p_productIdx) runs on TestCoordinator return boolean {
      		var boolean v_status := true; 
     		var ImsUserInfo v_userInfo;
     		// TODO Investigate if f_PR_user_home_registration is to be removed
@@ -47,7 +48,7 @@ module AtsImsIot_Functions {
		  *     true in case of successfull execution of the trigger command
		  *     otherwise false
		  */
 		function f_mtc_userCheckRegistration(EutTrigger p_userCompRef, integer p_productIdx) 
 		function f_mtc_userCheckRegistration(EquipmentUser p_userCompRef, integer p_productIdx) 
            runs on TestCoordinator return boolean {
     		var ImsUserInfo v_userInfo;
            var boolean v_status := true; 
@@ -66,7 +67,7 @@ module AtsImsIot_Functions {
		  *     true in case of successfull execution of the trigger command
		  *     otherwise false
		  */
 		function f_mtc_userRegister(EutTrigger p_userCompRef, charstring p_publicId, charstring p_privateId, charstring p_pw) runs on TestCoordinator return boolean {
 		function f_mtc_userRegister(EquipmentUser p_userCompRef, charstring p_publicId, charstring p_privateId, charstring p_pw) runs on TestCoordinator return boolean {
 			// TODO server address parameter may needed
 			var boolean v_success := false;
 			
@@ -81,7 +82,7 @@ module AtsImsIot_Functions {
     		return v_success;
 		}

 		function f_userCheckUEisRegistered(EutTrigger p_userCompRef) runs on TestCoordinator return boolean {
 		function f_userCheckUEisRegistered(EquipmentUser p_userCompRef) runs on TestCoordinator return boolean {
 			var boolean v_success := false;
 			
 			p_userCompRef.start(f_checkUserIsRegistered());
@@ -104,7 +105,7 @@ module AtsImsIot_Functions {
		  *     true in case of successfull execution of the trigger command
		  *     otherwise false
		  */
 		function f_mtc_userDeregister(EutTrigger p_userCompRef, charstring p_publicId) runs on TestCoordinator return boolean {
 		function f_mtc_userDeregister(EquipmentUser p_userCompRef, charstring p_publicId) runs on TestCoordinator return boolean {
 			var boolean v_success := false;
 			
 			p_userCompRef.start(f_userDeregistration(p_publicId));
@@ -124,7 +125,7 @@ module AtsImsIot_Functions {
 		 * @param p_userCompRef Reference ot IMS UE user component
 		 * @param p_content Content of meessage to be sent
 		 */
 		function f_mtc_userSendMessage(EutTrigger p_userCompRef, charstring p_content) runs on TestCoordinator return boolean {
 		function f_mtc_userSendMessage(EquipmentUser p_userCompRef, charstring p_content) runs on TestCoordinator return boolean {
 			var boolean v_success := false;
 			
 			p_userCompRef.start(f_userSendMessage(p_content));
@@ -144,7 +145,7 @@ module AtsImsIot_Functions {
 		 * @param p_userCompRef Reference ot IMS UE user component
 		 * @param p_content Content of meessage to be received
 		 */
 		function f_mtc_userCheckMessageReceipt(EutTrigger p_userCompRef) runs on TestCoordinator return boolean {
 		function f_mtc_userCheckMessageReceipt(EquipmentUser p_userCompRef) runs on TestCoordinator return boolean {
 			var boolean v_success := false;
 			
 			p_userCompRef.start(f_userCheckMessageReceipt());
@@ -194,7 +195,7 @@ module AtsImsIot_Functions {
    	 * @param p_userCompRef Reference ot IMS UE user component
    	 * @return true in case of successfull execution otherwise false
    	 */
     	function f_PR_user_home_registration(EutTrigger p_userCompRef, integer p_productIdx) runs on TestCoordinator return boolean {
     	function f_PR_user_home_registration(EquipmentUser p_userCompRef, integer p_productIdx) runs on TestCoordinator return boolean {
     		var boolean v_status := true; 
     		var ImsUserInfo v_userInfo;
     		
@@ -211,7 +212,7 @@ module AtsImsIot_Functions {
    	 * @param p_userCompRef Reference ot IMS UE user component
    	 * @return true in case of successfull execution otherwise false
    	 */
     	function f_PO_user_home_deregistration(EutTrigger p_userCompRef) runs on TestCoordinator return boolean {
     	function f_PO_user_home_deregistration(EquipmentUser p_userCompRef) runs on ImsTestCoordinator return boolean {
     		var boolean v_status := true; 
     		
     		v_status := f_mtc_userDeregister(p_userCompRef, "*"); // deregister all previous users
@@ -239,11 +240,11 @@ module AtsImsIot_Functions {
		  * @param p_monitor Reference of Interface Monitor component
		  * @param p_msg The Sip message
		  */
	 	function f_getSipMsgFromMonitor(InterfaceMonitor p_monitor, out SipMessage p_msg) runs on TestCoordinator {
	 	function f_getSipMsgFromMonitor(InterfaceMonitor p_monitor, out SipMessage p_msg) runs on ImsTestCoordinator {
            timer t_local := PX_MAX_MSG_WAIT;
            t_local.start;            
            alt {
            	[]xPort.receive (SipMessage:?) from p_monitor -> value p_msg {
            	[]icpPort.receive (SipMessage:?) from p_monitor -> value p_msg {
            	   t_local.stop;
            	   setverdict(pass, self, "***f_getMsgFromMonitor: SIP message received***");	
            	}
+84 −78

File changed.

Preview size limit exceeded, changes collapsed.

+29 −20
Original line number Diff line number Diff line
@@ -7,26 +7,35 @@
 *              test configurations.
 */

module LibIot_TestConfiguration {
module AtsImsIot_TestConfiguration {
	
	import from LibIot_TestInterface {
		type OracleClient, TestCoordinator, EutTrigger, InterfaceMonitor, OracleServer;
	import from LibIot_TestConfiguration {
		function f_cf_oracle_up, f_cf_oracle_down;
	}

	import from AtsIMsIot_TestSystem {
		type ImsInterfaceMonitor, ImsTestCoordinator;
	}
	with {
		extension "File:AtsImsIot_TestSystem.ttcn"
	}

	import from LibIot_TestInterface {type IotEquipmentUser;}
	
	/**
	 * 
	 * @desc initialize the adapter port of MTC
	 */
	function f_cf_adapter_up() runs on TestCoordinator {
		map(self:aPort, system:aPort);
	function f_cf_adapter_up() runs on ImsTestCoordinator {
		map(self:acPort, system:acPort);
	}
	
	/**
	 * 
	 * @desc uninitialize the adapter port of MTC
	 */
	function f_cf_adapter_down() runs on TestCoordinator {
		unmap(self:aPort, system:aPort);
	function f_cf_adapter_down() runs on ImsTestCoordinator {
		unmap(self:acPort, system:acPort);
	}
	
	/**
@@ -34,11 +43,11 @@ module LibIot_TestConfiguration {
	 * @desc initialize trigger component ports
	 * @param p_driver trigger component
	 */
	function f_cf_user_up(in EutTrigger p_driver) runs on TestCoordinator {
	function f_cf_user_up(in IotEquipmentUser p_driver) runs on ImsTestCoordinator {
		// connect sync ports
		connect(p_driver:syncPort, self:syncPort);
		// connect TSI ports 
		map(p_driver:tPort, system:tPort);
		map(p_driver:eaPort, system:eaPort);
		// configure oracle
		f_cf_oracle_up(p_driver);
	}
@@ -48,11 +57,11 @@ module LibIot_TestConfiguration {
	 * @desc uninitialize trigger component ports
	 * @param p_driver trigger component
	 */
	function f_cf_user_down(in EutTrigger p_driver) runs on TestCoordinator {
	function f_cf_user_down(in IotEquipmentUser p_driver) runs on ImsTestCoordinator {
		// disconnect sync ports
		disconnect(p_driver:syncPort, self:syncPort);
		// disconnect TSI ports 
		unmap(p_driver:tPort, system:tPort);
		unmap(p_driver:eaPort, system:eaPort);
		// release oracle ports
		f_cf_oracle_down(p_driver);
	}
@@ -62,12 +71,12 @@ module LibIot_TestConfiguration {
	* 			port, maps to the TSI port and connects to the oracle 
	* @param 	p_monitor	monitor component 
	*/	
	function f_cf_monitor_up(in InterfaceMonitor p_monitor) runs on TestCoordinator {
	function f_cf_monitor_up(in ImsInterfaceMonitor p_monitor) runs on ImsTestCoordinator {
		// connect sync ports
		connect(p_monitor:syncPort, self:syncPort);
		connect(p_monitor:xPort, self:xPort);
		connect(p_monitor:icpPort, self:icpPort);
		// mapp TSI port
		map(p_monitor:mPort, system:mPort);
		map(p_monitor:dPort, system:dPort);
		// configure oracle
		f_cf_oracle_up(p_monitor);
	}
@@ -77,12 +86,12 @@ module LibIot_TestConfiguration {
	* 			port, unmaps from the TSI port and disconnects from the oracle 
	* @param 	p_monitor	monitor component 
	*/		
	function f_cf_monitor_down(in InterfaceMonitor p_monitor) runs on TestCoordinator {
	function f_cf_monitor_down(in ImsInterfaceMonitor p_monitor) runs on ImsTestCoordinator {
		// connect sync ports
		disconnect(p_monitor:syncPort, self:syncPort);
		disconnect(p_monitor:xPort, self:xPort);
		disconnect(p_monitor:icpPort, self:icpPort);
		// mapp TSI port
		unmap(p_monitor:mPort, system:mPort);
		unmap(p_monitor:dPort, system:dPort);
		// configure oracle
		f_cf_oracle_down(p_monitor);
	}
@@ -92,8 +101,8 @@ module LibIot_TestConfiguration {
	* @param 	p_name	name of the monitor component 
	* @return 			the created monitor component
	*/	
	function f_cf_create_monitor(in charstring p_name) runs on TestCoordinator return InterfaceMonitor {
		var InterfaceMonitor v_monitor := InterfaceMonitor.create(p_name) alive;
	function f_cf_create_monitor(in charstring p_name) runs on ImsTestCoordinator return ImsInterfaceMonitor {
		var ImsInterfaceMonitor v_monitor := ImsInterfaceMonitor.create(p_name) alive;
		
		return v_monitor; 
	}
+6 −0
Original line number Diff line number Diff line
module AtsIMsIot_TestSystem {

	import from LibSip_SIPTypesAndValues {type Request, Response;}

	import from AtsImsIot_TypesAndValues {type SipMessage;}

	import from LibUpperTester {type EquipmentAccessPort;}

	import from LibIot_TestInterface all;
	
	/**
Loading