Commit dcfff489 authored by pintar's avatar pintar
Browse files

LibIot_TestSystem data are moved into LibIot_TestInterface module

parent f61eb810
Loading
Loading
Loading
Loading
+1 −60
Original line number Diff line number Diff line
module LibIot_TestSystem {
	
	import from LibIot_TypesAndValues {
		const c_NUM_OF_MONITORS;
		type ComponentIdList, DefaultList;
	}

	import from LibCommon_Sync all;
	
	group abstractTestComponents {
    	/**
    	 * @desc
    	 *     used to coordinate the behavior of other components. It is in charge
    	 *     of controlling the overall execution, manangement of testing phases,
    	 *     test verdicts collection and synchronization. Used as MTC.
    	 */
    	type component TestCoordinator extends TestOracle {
    		var ComponentIdList vc_compIds;
    	}
    	
		/**
		 * @desc
		 *     collecting information to manage E2E and conformance verdicts.
		 *     Can be used as MTC.
		 */
		type component TestOracle extends ServerSyncComp {
			port VerdictPort vPort[c_NUM_OF_MONITORS];
			var DefaultList vc_monitorDefaults[c_NUM_OF_MONITORS];
		}
    	
    	/**
    	 * @desc
    	 *     providing minitoring functionality of involved interfaces. Used as
    	 *     PTC.
    	 */
    	type component TestMonitor extends SelfSyncComp {
			port VerdictPort vPort;
    	}
    	
    	/**
    	 * @desc Stimulate the SUT. Used as PTC.
    	 */
    	type component TestDriver extends SelfSyncComp {
    		
    	}
    	
    	/**
    	 * @desc Configures the SUT or interconnecting network. Used as PTC.
    	 */
    	type component DeviceControl extends SelfSyncComp {
    		
    	}
	}
	
	group portDefinitions {
		type port VerdictPort message {
			inout all; // TODO specify this more in detail	
		}	
	}
	
	
	//defined in LibIot_TestInterface, module can be deleted if nothing will be specified	
}
 No newline at end of file