Commit 6a443ae9 authored by garciay's avatar garciay
Browse files

Add Adapter specific TTCN-3 data structures

parent ebd7a424
Loading
Loading
Loading
Loading
+235 −66
Original line number Diff line number Diff line
@@ -7,8 +7,10 @@

module LibIot_PIXITS	 {
 
	import from LibIot_TypesAndValues {
        type IOTExecMode, IotVerdictType, ProductList;
	import from	LibIot_TypesAndValues	
	{
		type IOTExecMode,	IotVerdictType,	CaptureMode, RecordMode, FileList, TimeOffset, EutInterfaceInfoList,
		ProtocolFilter,	IpAddress, PortNumber, ProductList;
	}

	/**
@@ -23,21 +25,6 @@ module LibIot_PIXITS {
	*/
	modulepar	float	PX_MAX_MSG_WAIT	:= 5.0;

	/**
	* 
	* @desc Maximum time limit used by trigger component for waiting for EUT response after command has been sent
	*/
	modulepar float PX_EUT_TRIGGER_RESPONSE := 5.0;
	
	/**
	 * @desc
	 *     Defines in which mode the ATS should be executed. In realtime mode
	 *     the ATS get messages form the EUT in realtime. IN offline mode the
	 *     ATS gets messages form a trace file.
	 */
	modulepar IOTExecMode PX_IOT_EXECUTION_MODE := e_offline;
	
		
	/**
	 * 
	 * @desc Example of	module parameter based entry of	EUT	interface	information	for	all	products particpating	in an	interoperability event
@@ -107,4 +94,186 @@ module LibIot_PIXITS {
	 * @desc Selects product based on	index	in PX_PRODCUTS vendor	list for EUT_B
	 */
	modulepar	integer	PX_EUT_B :=	1;
	
	/**
	 * 
	 * @desc Selects product based on	index	in PX_PRODCUTS vendor	list for EUT_B_B2
	 */
	modulepar	integer	PX_EUT_B_B2	:= 2;
		
	group	adapterGeneralConfiguration	{
		/**
		*	
		*	@desc	Maximum	time limit used	by trigger component for waiting for EUT response	after	command	has	been sent
		*/
		modulepar	float	PX_EUT_TRIGGER_RESPONSE	:= 15.0;
		
		/**
		 * @desc
		 *		 In	case of	offline	mode,	it defines the Pcap	file to	play.
		 */
		modulepar	charstring PX_IOT_EXECUTION_FILE :=	"./TD_IMS_0001_19.pcap";
		
		/**
		 * @desc
		 *		 Defines if	the	record traffic capture mode	must be	activated	or not.
		 */
		modulepar	RecordMode PX_IOT_RECORD_MODE	:= e_norecord;
		
		/**
		 * @desc
		 *		 Defines list	of the files to	merge.
		 */
		modulepar	FileList PX_IOT_FILE_MERGE_LIST	:= { "TD_IMS_0001_11.pcap",	"TD_IMS_0001_19.pcap", "TD_IMS_0020.pcap"	};
		
		/**
		 * @desc
		 *		 Defines the location	of the files to	merge.
		 */
		modulepar	charstring PX_IOT_FILE_MERGE_PATH	:= "/tmp";
		
		/**
		 * @desc
		 *		 Defines the location	of the files to	merge.
		 */
		modulepar	charstring PX_IOT_MERGE_TOOL_PATH	:= "C:\Program Files\WinPcap";
		
		/**
		 * @desc
		 *		 Defines the time	stamp	offset to	start	playing	record traffic capture file.
		 */
		modulepar	TimeOffset PX_IOT_TIMESTAMP_OFFSET :=	
		{
			seconds	:= 0,
			microseconds :=	0
		};
		
		/**
		 * @desc
		 *		 List	of the network interfaces	to monitor.
		 *		 Use ';' to	separate the interfaces
		 */
		modulepar	charstring PX_IOT_IFACES :=	"rpcap://\Device\NPF_{9E2D0FCD-C7F5-401D-B736-F0D4F8814715}";
		
		modulepar	EutInterfaceInfoList PX_IOT_EUTs_IFACE_INFO_LIST :=	
		{
			{
				eut	:= "User A",
				ipAddress	:= "127.0.0.1",
				portNumber :=	6610
			},
			{
				eut	:= "User B",
				ipAddress	:= "127.0.0.1",
				portNumber :=	6611
			}
		};
		
	}	// group adapterGlobalConfiguration
	
	group	numberOfComponents {
		/**
		 * 
		 * @desc integer value defines the number	of monitor points.	
		 */
		modulepar	integer	PX_NUM_OF_MONITORS :=	1;
							
		/**
		 * 
		 * @desc integer value defines the number	of devices to	configure	 
		 */
		modulepar	integer	PX_NUM_OF_DEVICES	:= 1;
							
		/**
		 * @desc integer value defines the number	of trigger points
		 */
		modulepar	integer	PX_NUM_OF_TRIGGER_POINTS :=	1; 
		
	}
	
	group	interfaceData	{
		group	monitor1
		{
			/**
			 * 
			 * @desc protocol	used by	monitoring point #1	 
			 */
			modulepar	ProtocolFilter PX_PROTOCOL_MONITOR1	:= e_sip;
	
			/**
			 * 
			 * @desc First IP	address	used by	monitoring point #1	 
			 */
			modulepar	IpAddress	PX_IP1_MONITOR1	:= "172.31.12.72";
	
			/**
			 * 
			 * @desc Second	IP address used	by monitoring	point	#1	
			 */
			modulepar	IpAddress	PX_IP2_MONITOR1	:= "172.31.42.3";
	
			/**
			 * 
			 * @desc TCP or	UDP	port used	by monitoring	point	#1 
			 */
			 
			modulepar	PortNumber PX_PORT_MONITOR1	:= 5060;
		}
		group	monitor2
		{
			/**
			 * 
			 * @desc protocol	used by	monitoring point #2	 
			 */
			modulepar	ProtocolFilter PX_PROTOCOL_MONITOR2	:= e_sip;
				
			/**
			 * 
			 * @desc First IP	address	used by	monitoring point #2	
			 */
			modulepar	IpAddress	PX_IP1_MONITOR2	:= "172.31.42.4";
	
			/**
			 * 
			 * @desc Second	IP address used	by monitoring	point	#2	
			 */
			modulepar	IpAddress	PX_IP2_MONITOR2	:= "172.31.13.2";
	
			/**
			 * 
			 * @desc TCP or	UDP	port used	by monitoring	point	#2	
			 */
			 
			modulepar	PortNumber PX_PORT_MONITOR2	:= 5060;

		}
		group	monitor3
		{
			/**
			 * 
			 * @desc protocol	used by	monitoring point #3	 
			 */
			modulepar	ProtocolFilter PX_PROTOCOL_MONITOR3	:= e_sip;
				
			/**
			 * 
			 * @desc First IP	address	used by	monitoring point #3
			 */
			modulepar	IpAddress	PX_IP1_MONITOR3	:= "172.31.44.84";
	
			/**
			 * 
			 * @desc Second	IP address used	by monitoring	point	#3
			 */
			modulepar	IpAddress	PX_IP2_MONITOR3	:= "172.31.14.6";
	
			/**
			 * 
			 * @desc TCP or	UDP	port used	by monitoring	point	#3
			 */
			 
			modulepar	PortNumber PX_PORT_MONITOR3	:= 5060;

		}
	}
}
 No newline at end of file
+31 −5
Original line number Diff line number Diff line
@@ -130,7 +130,8 @@ module LibIot_TypesAndValues {

    type record MergeFileList {
      FileList    mergeFileList, 
      charstring  mergeFilePath   
      charstring  mergeFilePath,   
      charstring  mergeToolPath   
    }
    
    type record CaptureSource {
@@ -139,19 +140,44 @@ module LibIot_TypesAndValues {

    }
    
    type record TimeOffset
    {
      UInt32 seconds,
      UInt32 microseconds
    }
    
    type record OfflineCapture {
			UInt32         offset,
      TimeOffset     offset,
      CaptureSource  captureSource
    }
    
  /**
   * 
   * @desc Required information for EUTs IP interfaces
   * @member IpAddress the ip address
   * @member portNumber the list of port number where message are received
   */
  type record EutInterfaceInfo {
     charstring     eut,
     IpAddress      ipAddress,
     PortNumber     portNumber
  }
  
 /**
   * 
   * @desc List of IP interfaces for EUTs
   */
  type record of EutInterfaceInfo EutInterfaceInfoList;
  

    
    type record GeneralConfigurationReq {
      charstring  captureProcessIpAddress,
      PortNumber  captureProcessPort,
      CaptureMode captureMode
      CaptureMode captureMode,
      EutInterfaceInfoList eutInfoList optional
    }
    
    
    type record GeneralConfigurationRsp
    {
      Status status