Early draft TTCN-3 version of DTS/ITS-00147 (62285394) · Commits · ITS - Intelligent Transport Systems / ITS

ttcn/AtsAutoInterop/ItsAutoInterop_Functions.ttcn

+111 −189

Changes for ttcn/AtsAutoInterop/ItsAutoInterop_Functions.ttcn: 111 added lines, 189 removed lines.
Original line number	Diff line number	Diff line
		@@ -11,15 +11,19 @@ module ItsAutoInterop_Functions {
		// ItsInterop
		import from ItsAutoInterop_TestSystem all;

		/**
		* @desc Set up an EUT component
		* @param p_eut The component reference
		* @param p_scenario The GNSS scenario. Default: e_staticPosition
		*/
		function f_cfPtcUp(
		in ItsAutoInteropGeonetworking p_eut,
		in charstring p_mainUtComponent := c_compMTC,
		in Scenario p_scenario := e_staticPosition
		in Scenario p_scenario := e_staticPosition // TODO Not used
		) runs on ItsAutoInteropGeonetworking /* TITAN TODO: mtc ItsMtc system ItsGeoNetworkingSystem */ {

		// EUT
		map(p_eut:acPort, system:acPort);
		map(p_eut:utPort, system:utPort);
		//map(p_eut:acPort, system:acPort); Not used
		//map(p_eut:utPort, system:utPort); Not used
		map(p_eut:hmiPort, system:hmiPort);
		map(p_eut:geoNetworkingPort, system:geoNetworkingPort);
		connect(p_eut:syncPort, self:syncPort);
		@@ -34,160 +38,107 @@ module ItsAutoInterop_Functions {

		} // End of function f_cfPtcUp

		function f_cf02Up(
		/**
		* @desc Set up MTC for configuration #1
		* @param p_eut1 The component reference for EUT1
		* @param p_eut2 The component reference for EUT2
		* @param p_eut3 The component reference for EUT3
		* @param p_eut4 The component reference for EUT4
		* @see Draft ETSI TS yyy xxx-2 V0.0.8 (2017-02) Clause 5.3.1 CF-01: Verify complete forwarding message scenario
		*/
		function f_mtcCf01Up(
		out ItsAutoInteropGeonetworking p_eut1,
		out ItsAutoInteropGeonetworking p_eut2,
		in charstring p_mainUtComponent := c_compMTC,
		in Scenario p_scenario := e_staticPosition
		out ItsAutoInteropGeonetworking p_eut3,
		out ItsAutoInteropGeonetworking p_eut4
		) runs on ItsMtc /* TITAN TODO: mtc ItsMtc system ItsGeoNetworkingSystem */ {

		// Create components
		p_eut1 := ItsAutoInteropGeonetworking.create(c_compNodeB); // FIXME To be include into the loop changing inputs p_eut<n> into array
		p_eut1 := ItsAutoInteropGeonetworking.create(c_compNodeB);
		p_eut2 := ItsAutoInteropGeonetworking.create(c_compNodeC);
		p_eut3 := ItsAutoInteropGeonetworking.create(c_compNodeD);
		p_eut4 := ItsAutoInteropGeonetworking.create(c_compNodeE);

		// Map & Connect
		map(self:acPort, system:acPort);
		map(self:utPort, system:utPort);
		connect(self:syncPort, mtc:syncPort);

		// // EUT1
		// map(p_eut1:acPort, system:acPort); // TODO Check if required
		// map(p_eut1:utPort, system:utPort); // TODO Check if required
		// map(p_eut1:geoNetworkingPort, system:geoNetworkingPort);
		// connect(p_eut1:syncPort, self:syncPort);
		// // EUT2
		// map(p_eut2:acPort, system:acPort); // TODO Check if required
		// map(p_eut2:utPort, system:utPort); // TODO Check if required
		// map(p_eut2:geoNetworkingPort, system:geoNetworkingPort);
		// connect(p_eut2:syncPort, self:syncPort);
		// EUT1/EUT2
		connect(p_eut1:eutGeoNetworkingPort, p_eut2:eutGeoNetworkingPort);

		activate(a_cf02Down());
		// EUT1/EUT2/EUT3/EUT4
		disconnect(p_eut1:eutGeoNetworkingPort, p_eut2:eutGeoNetworkingPort); // EUT1 & EUT2 are on-link
		disconnect(p_eut1:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort); // EUT1 & EUT3 are on-link
		disconnect(p_eut2:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort); // EUT2 & EUT3 are on-link
		disconnect(p_eut2:eutGeoNetworkingPort, p_eut4:eutGeoNetworkingPort); // EUT2 & EUT4 are on-link
		disconnect(p_eut3:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort); // EUT3 & EUT4 are on-link
		// EUT1 & EUT4 are of-link

		// //Initialze the IUT
		// if(p_mainUtComponent == c_compMTC) {
		// // Initialise secured mode
		// f_initialiseSecuredMode();
		//
		// // MTC intializes IUT
		// f_initialState(p_scenario);
		// }
		activate(a_cf04Down());

		} // End of function f_cf02Up
		} // End of function f_mtcCf01Up

		function f_cf03Up(
		/**
		* @desc Set up MTC for configuration #2
		* @param p_eut1 The component reference for EUT1
		* @param p_eut2 The component reference for EUT2
		* @see Draft ETSI TS yyy xxx-2 V0.0.8 (2017-02) Clause 5.3.2 CF-02: Road Works Warning configuration
		*/
		function f_mtcCf02Up(
		out ItsAutoInteropGeonetworking p_eut1,
		out ItsAutoInteropGeonetworking p_eut2,
		out ItsAutoInteropGeonetworking p_eut3,
		in charstring p_mainUtComponent := c_compMTC,
		in Scenario p_scenario := e_staticPosition
		out ItsAutoInteropGeonetworking p_eut2
		) runs on ItsMtc /* TITAN TODO: mtc ItsMtc system ItsGeoNetworkingSystem */ {

		// Create components
		p_eut1 := ItsAutoInteropGeonetworking.create(c_compNodeB); // FIXME To be include into the loop changing inputs p_eut<n> into array
		p_eut1 := ItsAutoInteropGeonetworking.create(c_compNodeB);
		p_eut2 := ItsAutoInteropGeonetworking.create(c_compNodeC);
		p_eut3 := ItsAutoInteropGeonetworking.create(c_compNodeD);

		// Map & Connect
		map(self:acPort, system:acPort);
		map(self:utPort, system:utPort);
		connect(self:syncPort, mtc:syncPort);

		// // EUT1
		// map(p_eut1:acPort, system:acPort); // TODO Check if required
		// map(p_eut1:utPort, system:utPort); // TODO Check if required
		// map(p_eut1:geoNetworkingPort, system:geoNetworkingPort);
		// connect(p_eut1:syncPort, self:syncPort);
		// // EUT2
		// map(p_eut2:acPort, system:acPort); // TODO Check if required
		// map(p_eut2:utPort, system:utPort); // TODO Check if required
		// map(p_eut2:geoNetworkingPort, system:geoNetworkingPort);
		// connect(p_eut2:syncPort, self:syncPort);
		// // EUT3
		// map(p_eut3:acPort, system:acPort); // TODO Check if required
		// map(p_eut3:utPort, system:utPort); // TODO Check if required
		// map(p_eut3:geoNetworkingPort, system:geoNetworkingPort);
		// connect(p_eut3:syncPort, self:syncPort);
		// EUT1/EUT2/EUT3
		connect(p_eut1:eutGeoNetworkingPort, p_eut2:eutGeoNetworkingPort); // FIXME To be include into the loop
		connect(p_eut1:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort);
		connect(p_eut2:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort);

		activate(a_cf03Down());
		// EUT1/EUT2
		connect(p_eut1:eutGeoNetworkingPort, p_eut2:eutGeoNetworkingPort);

		// //Initialze the IUT
		// if(p_mainUtComponent == c_compMTC) {
		// // Initialise secured mode
		// f_initialiseSecuredMode();
		//
		// // MTC intializes IUT
		// f_initialState(p_scenario);
		// }
		activate(a_cf02Down());

		} // End of function f_cf03Up
		} // End of function f_mtcCf02Up

		function f_cfMtc04Up(
		/**
		* @desc Set up MTC for configuration #3
		* @param p_eut1 The component reference for EUT1
		* @param p_eut2 The component reference for EUT2
		* @param p_eut3 The component reference for EUT3
		* @see Draft ETSI TS yyy xxx-2 V0.0.8 (2017-02) Clause 5.3.3 CF-03: CA messages
		*/
		function f_mtcCf03Up(
		out ItsAutoInteropGeonetworking p_eut1,
		out ItsAutoInteropGeonetworking p_eut2,
		out ItsAutoInteropGeonetworking p_eut3,
		out ItsAutoInteropGeonetworking p_eut4,
		in charstring p_mainUtComponent := c_compMTC,
		in Scenario p_scenario := e_staticPosition
		out ItsAutoInteropGeonetworking p_eut3
		) runs on ItsMtc /* TITAN TODO: mtc ItsMtc system ItsGeoNetworkingSystem */ {

		// Create components
		p_eut1 := ItsAutoInteropGeonetworking.create(c_compNodeB); // FIXME To be include into the loop changing inputs p_eut<n> into array
		p_eut1 := ItsAutoInteropGeonetworking.create(c_compNodeB);
		p_eut2 := ItsAutoInteropGeonetworking.create(c_compNodeC);
		p_eut3 := ItsAutoInteropGeonetworking.create(c_compNodeD);
		p_eut4 := ItsAutoInteropGeonetworking.create(c_compNodeE);

		// Map & Connect
		map(self:acPort, system:acPort);
		map(self:utPort, system:utPort);
		connect(self:syncPort, mtc:syncPort);

		// // EUT1
		// map(p_eut1:acPort, system:acPort); // TODO Check if required
		// map(p_eut1:utPort, system:utPort); // TODO Check if required
		// map(p_eut1:geoNetworkingPort, system:geoNetworkingPort);
		// connect(p_eut1:syncPort, self:syncPort);
		// // EUT2
		// map(p_eut2:acPort, system:acPort); // TODO Check if required
		// map(p_eut2:utPort, system:utPort); // TODO Check if required
		// map(p_eut2:geoNetworkingPort, system:geoNetworkingPort);
		// connect(p_eut2:syncPort, self:syncPort);
		// // EUT3
		// map(p_eut3:acPort, system:acPort); // TODO Check if required
		// map(p_eut3:utPort, system:utPort); // TODO Check if required
		// map(p_eut3:geoNetworkingPort, system:geoNetworkingPort);
		// connect(p_eut3:syncPort, self:syncPort);
		// // EUT4
		// map(p_eut4:acPort, system:acPort); // TODO Check if required
		// map(p_eut4:utPort, system:utPort); // TODO Check if required
		// map(p_eut4:geoNetworkingPort, system:geoNetworkingPort);
		// connect(p_eut4:syncPort, self:syncPort);
		// EUT1/EUT2/EUT3/EUT4
		connect(p_eut1:eutGeoNetworkingPort, p_eut2:eutGeoNetworkingPort); // FIXME To be include into the loop
		// EUT1/EUT2/EUT3
		connect(p_eut1:eutGeoNetworkingPort, p_eut2:eutGeoNetworkingPort);
		connect(p_eut1:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort);
		connect(p_eut1:eutGeoNetworkingPort, p_eut4:eutGeoNetworkingPort);
		connect(p_eut2:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort);
		connect(p_eut2:eutGeoNetworkingPort, p_eut4:eutGeoNetworkingPort);
		connect(p_eut3:eutGeoNetworkingPort, p_eut4:eutGeoNetworkingPort);

		activate(a_cf04Down());

		// //Initialze the IUT
		// if(p_mainUtComponent == c_compMTC) {
		// // Initialise secured mode
		// f_initialiseSecuredMode();
		//
		// // MTC intializes IUT
		// f_initialState(p_scenario);
		// }
		activate(a_cf03Down());

		} // End of function f_cfMtc04Up
		} // End of function f_mtcCf03Up

		/**
		* @desc Shutdown an EUT component
		* @param p_eut The component reference
		*/
		function f_cfPtcDown(
		inout ItsAutoInteropGeonetworking p_eut
		) runs on ItsAutoInteropGeonetworking /* TITAN TODO: mtc ItsMtc system ItsGeoNetworkingSystem */ {
		@@ -198,22 +149,34 @@ module ItsAutoInterop_Functions {
		deactivate;

		// EUT
		unmap(p_eut:acPort, system:acPort);
		unmap(p_eut:utPort, system:utPort);
		//unmap(p_eut:acPort, system:acPort); Not used
		//unmap(p_eut:utPort, system:utPort); Not used
		unmap(p_eut:hmiPort, system:hmiPort);
		unmap(p_eut:geoNetworkingPort, system:geoNetworkingPort);
		disconnect(p_eut:syncPort, self:syncPort);

		} // End of function f_cfPtcDown

		function f_cf02Down(
		/**
		* @desc Shutdown MTC for configuration #1
		* @param p_eut1 The component reference for EUT1
		* @param p_eut2 The component reference for EUT2
		* @param p_eut3 The component reference for EUT3
		* @param p_eut4 The component reference for EUT4
		* @see Draft ETSI TS yyy xxx-2 V0.0.8 (2017-02) Clause 5.3.1 CF-01: Verify complete forwarding message scenario
		*/
		function f_mtcCf01Down(
		inout ItsAutoInteropGeonetworking p_eut1,
		inout ItsAutoInteropGeonetworking p_eut2
		inout ItsAutoInteropGeonetworking p_eut2,
		inout ItsAutoInteropGeonetworking p_eut3,
		inout ItsAutoInteropGeonetworking p_eut4
		) runs on ItsMtc /* TITAN TODO: mtc ItsMtc system ItsGeoNetworkingSystem */ {

		// Wait components done
		p_eut1.done; // FIXME To be include into the loop changing inputs p_eut<n> into array
		p_eut1.done;
		p_eut2.done;
		p_eut3.done;
		p_eut4.done;

		deactivate;

		@@ -222,31 +185,29 @@ module ItsAutoInterop_Functions {
		unmap(self:utPort, system:utPort);
		disconnect(self:syncPort, mtc:syncPort);

		// // EUT1
		// unmap(p_eut1:acPort, system:acPort); // TODO Check if required
		// unmap(p_eut1:utPort, system:utPort); // TODO Check if required
		// unmap(p_eut1:geoNetworkingPort, system:geoNetworkingPort);
		// disconnect(p_eut1:syncPort, self:syncPort);
		// // EUT2
		// unmap(p_eut2:acPort, system:acPort); // TODO Check if required
		// unmap(p_eut2:utPort, system:utPort); // TODO Check if required
		// unmap(p_eut2:geoNetworkingPort, system:geoNetworkingPort);
		// disconnect(p_eut2:syncPort, self:syncPort);
		// // EUT1/EUT2
		// disconnect(p_eut1:eutGeoNetworkingPort, p_eut2:eutGeoNetworkingPort);

		} // End of function f_cf02Down

		function f_cf03Down(
		// EUT1/EUT2/EUT3/EUT4
		disconnect(p_eut1:eutGeoNetworkingPort, p_eut2:eutGeoNetworkingPort);
		disconnect(p_eut1:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort);
		disconnect(p_eut2:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort);
		disconnect(p_eut2:eutGeoNetworkingPort, p_eut4:eutGeoNetworkingPort);
		disconnect(p_eut3:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort);

		} // End of function f_mtcCf01Down

		/**
		* @desc Shutdown MTC for configuration #2
		* @param p_eut1 The component reference for EUT1
		* @param p_eut2 The component reference for EUT2
		* @see Draft ETSI TS yyy xxx-2 V0.0.8 (2017-02) Clause 5.3.2 CF-02: Road Works Warning configuration
		*/
		function f_mtcCf02Down(
		inout ItsAutoInteropGeonetworking p_eut1,
		inout ItsAutoInteropGeonetworking p_eut2,
		inout ItsAutoInteropGeonetworking p_eut3
		inout ItsAutoInteropGeonetworking p_eut2
		) runs on ItsMtc /* TITAN TODO: mtc ItsMtc system ItsGeoNetworkingSystem */ {

		// Wait components done
		p_eut1.done; // FIXME To be include into the loop changing inputs p_eut<n> into array
		p_eut1.done;
		p_eut2.done;
		p_eut3.done;

		deactivate;

		@@ -255,40 +216,24 @@ module ItsAutoInterop_Functions {
		unmap(self:utPort, system:utPort);
		disconnect(self:syncPort, mtc:syncPort);

		// // EUT1
		// unmap(p_eut1:acPort, system:acPort); // TODO Check if required
		// unmap(p_eut1:utPort, system:utPort); // TODO Check if required
		// unmap(p_eut1:geoNetworkingPort, system:geoNetworkingPort);
		// disconnect(p_eut1:syncPort, self:syncPort);
		// // EUT2
		// unmap(p_eut2:acPort, system:acPort); // TODO Check if required
		// unmap(p_eut2:utPort, system:utPort); // TODO Check if required
		// unmap(p_eut2:geoNetworkingPort, system:geoNetworkingPort);
		// disconnect(p_eut2:syncPort, self:syncPort);
		// // EUT2
		// unmap(p_eut3:acPort, system:acPort); // TODO Check if required
		// unmap(p_eut3:utPort, system:utPort); // TODO Check if required
		// unmap(p_eut3:geoNetworkingPort, system:geoNetworkingPort);
		// disconnect(p_eut3:syncPort, self:syncPort);
		// EUT1/EUT2/EUT3
		disconnect(p_eut1:eutGeoNetworkingPort, p_eut2:eutGeoNetworkingPort);
		disconnect(p_eut1:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort);
		disconnect(p_eut3:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort);
		} // End of function f_mtcCf02Down

		} // End of function f_cf03Down

		function f_cfMtc04Down(
		/**
		* @desc Shutdown MTC with three components
		* @param p_eut1 The component reference for EUT1
		* @param p_eut2 The component reference for EUT2
		* @param p_eut3 The component reference for EUT3
		*/
		function f_mtcCf03Down(
		inout ItsAutoInteropGeonetworking p_eut1,
		inout ItsAutoInteropGeonetworking p_eut2,
		inout ItsAutoInteropGeonetworking p_eut3,
		inout ItsAutoInteropGeonetworking p_eut4
		inout ItsAutoInteropGeonetworking p_eut3
		) runs on ItsMtc /* TITAN TODO: mtc ItsMtc system ItsGeoNetworkingSystem */ {

		// Wait components done
		p_eut1.done; // FIXME To be include into the loop changing inputs p_eut<n> into array
		p_eut1.done;
		p_eut2.done;
		p_eut3.done;
		p_eut4.done;

		deactivate;

		@@ -297,34 +242,11 @@ module ItsAutoInterop_Functions {
		unmap(self:utPort, system:utPort);
		disconnect(self:syncPort, mtc:syncPort);

		// // EUT1
		// unmap(p_eut1:acPort, system:acPort); // TODO Check if required
		// unmap(p_eut1:utPort, system:utPort); // TODO Check if required
		// unmap(p_eut1:geoNetworkingPort, system:geoNetworkingPort);
		// disconnect(p_eut1:syncPort, self:syncPort);
		// // EUT2
		// unmap(p_eut2:acPort, system:acPort); // TODO Check if required
		// unmap(p_eut2:utPort, system:utPort); // TODO Check if required
		// unmap(p_eut2:geoNetworkingPort, system:geoNetworkingPort);
		// disconnect(p_eut2:syncPort, self:syncPort);
		// // EUT3
		// unmap(p_eut3:acPort, system:acPort); // TODO Check if required
		// unmap(p_eut3:utPort, system:utPort); // TODO Check if required
		// unmap(p_eut3:geoNetworkingPort, system:geoNetworkingPort);
		// disconnect(p_eut3:syncPort, self:syncPort);
		// // EUT4
		// unmap(p_eut4:acPort, system:acPort); // TODO Check if required
		// unmap(p_eut4:utPort, system:utPort); // TODO Check if required
		// unmap(p_eut4:geoNetworkingPort, system:geoNetworkingPort);
		// disconnect(p_eut4:syncPort, self:syncPort);
		// EUT1/EUT2/EUT3/EUT4
		disconnect(p_eut1:eutGeoNetworkingPort, p_eut2:eutGeoNetworkingPort); // FIXME To be include into the loop
		// EUT1/EUT2/EUT3
		disconnect(p_eut1:eutGeoNetworkingPort, p_eut2:eutGeoNetworkingPort);
		disconnect(p_eut1:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort);
		disconnect(p_eut1:eutGeoNetworkingPort, p_eut4:eutGeoNetworkingPort);
		disconnect(p_eut2:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort);
		disconnect(p_eut2:eutGeoNetworkingPort, p_eut4:eutGeoNetworkingPort);
		disconnect(p_eut3:eutGeoNetworkingPort, p_eut4:eutGeoNetworkingPort);
		disconnect(p_eut3:eutGeoNetworkingPort, p_eut3:eutGeoNetworkingPort);

		} // End of function f_cfMtc04Down
		} // End of function f_mtcCf03Down

		} // End of module ItsAutoInterop_Functions

ttcn/AtsAutoInterop/ItsAutoInterop_Pics.ttcn

+24 −0

Changes for ttcn/AtsAutoInterop/ItsAutoInterop_Pics.ttcn: 24 added lines, 0 removed lines.
Original line number	Diff line number	Diff line
		@@ -18,16 +18,40 @@ module ItsAutoInterop_Pics {
		// LibItsSecurity
		import from LibItsSecurity_TypesAndValues all;

		/**
		* @desc BTP destination port identifier for CAM protocol
		* @see TODO
		*/
		modulepar BtpPortId PICS_CAM_BTP_DESTINATION_PORT := 2001;

		/**
		* @desc BTP source port identifier for CAM protocol
		* @see TODO
		*/
		modulepar BtpPortId PICS_CAM_BTP_SOURCE_PORT := 0;

		/**
		* @desc ItsAid for CAM protocol
		* @see TODO
		*/
		modulepar UInt32 PICS_CAM_ITS_AID := 36;

		/**
		* @desc BTP destination port identifier for DENM protocol
		* @see TODO
		*/
		modulepar BtpPortId PICS_DENM_BTP_DESTINATION_PORT := 2002;

		/**
		* @desc BTP source port identifier for DENM protocol
		* @see TODO
		*/
		modulepar BtpPortId PICS_DENM_BTP_SOURCE_PORT := 0;

		/**
		* @desc ItsAid for DENM protocol
		* @see TODO
		*/
		modulepar UInt32 PICS_DENM_ITS_AID := 37;

		} // End of module ItsAutoInterop_Pics

ttcn/AtsAutoInterop/ItsAutoInterop_Pixits.ttcn

+6 −3

Changes for ttcn/AtsAutoInterop/ItsAutoInterop_Pixits.ttcn: 6 added lines, 3 removed lines.
Original line number	Diff line number	Diff line
		@@ -13,10 +13,13 @@ module ItsAutoInterop_Pixits {
		modulepar charstring PX_CAPTURE_MODE := "on-link";

		/**
		* @desc
		* @desc The PCAP file name containing the ITS G5 captures
		*/
		modulepar charstring PX_PCAP_FILE_NAME := "g5capture.pcap";

		/**
		* EUTs descriptions
		*/
		modulepar EutDescriptions PX_EUT_DESC := {
		{
		'000000000001'O,
		@@ -41,12 +44,12 @@ module ItsAutoInterop_Pixits {
		}

		/**
		* @desc
		* @desc TODO
		*/
		// modulepar charstring PX_PCAP_MIDs_FILTER := "00:00:00:00:00:00;11:11:11:11:11:11";

		/**
		* @desc
		* @desc PCAP frame offsets to skip when starting to play the PCAP file
		*/
		modulepar UInt32 PX_PCAP_START_OFFSET := 0;

ttcn/AtsAutoInterop/ItsAutoInterop_Templates.ttcn

+29 −7

File changed.

Preview size limit exceeded, changes collapsed.

ttcn/AtsAutoInterop/ItsAutoInterop_TestCases.ttcn

+9 −10

Changes for ttcn/AtsAutoInterop/ItsAutoInterop_TestCases.ttcn: 9 added lines, 10 removed lines.
Original line number	Diff line number	Diff line
		@@ -82,7 +82,7 @@ module ItsAutoInterop_TestCases {
		}*/

		// Test component configuration
		f_cfMtc04Up(v_eut1, v_eut2, v_eut3, v_eut4);
		f_mtcCf01Up(v_eut1, v_eut2, v_eut3, v_eut4);

		// Preamble

		@@ -96,7 +96,7 @@ module ItsAutoInterop_TestCases {
		f_serverSyncNClientsAndStop(4, {c_prDone, c_tbDone, c_poDone});

		// Cleanup
		f_cfMtc04Down(v_eut1, v_eut2, v_eut3, v_eut4);
		f_mtcCf01Down(v_eut1, v_eut2, v_eut3, v_eut4);

		} // End of TC_AUTO_IOT_DENM_MFW_BV_01

		@@ -295,10 +295,9 @@ module ItsAutoInterop_TestCases {
		log("* " & testcasename() & ": PASS: DEN message was broadcasted by EUT4 *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
		}
		[] eutGeoNetworkingPort.receive { // TODO Use a default
		tc_ac.stop;
		tc_ac.start;
		repeat;
		[] eutGeoNetworkingPort.receive {
		log("* " & testcasename() & ": FAIL: Unexpected message was received *");
		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
		}
		[] geoNetworkingPort.receive { // TODO Use a default
		tc_ac.stop;
		@@ -491,7 +490,7 @@ module ItsAutoInterop_TestCases {
		}*/

		// Test component configuration
		ItsAutoInterop_Functions.f_cf02Up(v_eut1, v_eut2);
		f_mtcCf02Up(v_eut1, v_eut2);

		// Preamble

		@@ -503,7 +502,7 @@ module ItsAutoInterop_TestCases {
		f_serverSyncNClientsAndStop(2, {c_prDone, c_tbDone, c_poDone});

		// Cleanup
		ItsAutoInterop_Functions.f_cf02Down(v_eut1, v_eut2);
		f_mtcCf02Down(v_eut1, v_eut2);

		} // End of TC_AUTO_IOT_DENM_RWW_BV_01

		@@ -752,7 +751,7 @@ module ItsAutoInterop_TestCases {
		}*/

		// Test component configuration
		ItsAutoInterop_Functions.f_cf03Up(v_eut1, v_eut2, v_eut3);
		f_mtcCf03Up(v_eut1, v_eut2, v_eut3);

		// Preamble

		@@ -765,7 +764,7 @@ module ItsAutoInterop_TestCases {
		f_serverSyncNClientsAndStop(3, {c_prDone, c_tbDone, c_poDone});

		// Cleanup
		ItsAutoInterop_Functions.f_cf03Down(v_eut1, v_eut2, v_eut3);
		f_mtcCf03Down(v_eut1, v_eut2, v_eut3);

		} // End of TC_AUTO_IOT_CAM_NBD_BV_01