Validate execution of the first AtsMBR test case (9bcf30d5) · Commits · ITS - Intelligent Transport Systems / ttcn / MBR TS 103 759

ItsMbr_TestCases.ttcn

+8 −7

Original line number	Original line	Diff line number	Diff line
	@@ -62,7 +62,7 @@ module ItsMbr_TestCases {
	group class1 {		group class1 {

	/**		/**
	* @desc		* @desc Check that the IUT generates an invalid speed value observation on a CAM in the MR message when requested (Class 1) - obs-Speed-ValueTooLarge-VehicleType
	*/		*/
	testcase TC_MRS_ITSS_MESSAGES_CLASS1_CAM_001() runs on ItsMtc system ItsMbrItssSystem {		testcase TC_MRS_ITSS_MESSAGES_CLASS1_CAM_001() runs on ItsMtc system ItsMbrItssSystem {
	// Local variables		// Local variables
	@@ -96,6 +96,7 @@ module ItsMbr_TestCases {
	function f_TC_MRS_ITSS_MESSAGES_CLASS1_CAM_001_itss() runs on ItsMbrItss system ItsMbrItssSystem {		function f_TC_MRS_ITSS_MESSAGES_CLASS1_CAM_001_itss() runs on ItsMbrItss system ItsMbrItssSystem {
	// Local variables		// Local variables
	var LongPosVector v_longPosVectorIut;		var LongPosVector v_longPosVectorIut;
			var GeoNetworkingPduList v_inconsistantMessages := {};

	// Test component configuration		// Test component configuration
	f_cfUp_itss();		f_cfUp_itss();
	@@ -132,10 +133,10 @@ module ItsMbr_TestCases {
	} // End of 'alt' statement		} // End of 'alt' statement

	// Test Body		// Test Body
	// Send CAM message with incosistent speed value		// Send CAM message with inconsistent speed value
	for (var integer i := 0; i < 1/PX_REPEAT_INCONSISTENT_CAM/; i := i + 1) {		for (var integer i := 0; i < PX_REPEAT_INCONSISTENT_MESSAGE; i := i + 1) {
	f_send_inconsistent_cam(true);		v_inconsistantMessages[lengthof(v_inconsistantMessages)] := f_send_inconsistent_cam(true);
	f_sleepIgnoreDef(1.0);		f_sleepIgnoreDef(PX_REPEAT_INCONSISTENT_MESSAGE_TIMEOUT);
	}		}
	log("* " & testcasename() & ": PASS: MR triggered *");		log("* " & testcasename() & ": PASS: MR triggered *");
	f_selfOrClientSyncAndVerdict(c_tbDone, e_success);		f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
	@@ -150,7 +151,7 @@ module ItsMbr_TestCases {
	var HttpMessage v_request;		var HttpMessage v_request;

	// Test component configuration		// Test component configuration
	f_cfHttpUp();		f_cfHttpUp(cc_taCert_A, PICS_IUT_MA_CERTIFICATE_ID);

	// Test adapter configuration		// Test adapter configuration

	@@ -188,7 +189,7 @@ module ItsMbr_TestCases {
	}		}
	// Validate MR content		// Validate MR content
	log("Validate MR content :", match(v_etsiTs103759_data.report, (mw_cam_specific_report(mw_asr_cam_report_speed(m_mb_obs_cam_speed_change_too_large, {mw_v2x_pdu_stream}, {})))));		log("Validate MR content :", match(v_etsiTs103759_data.report, (mw_cam_specific_report(mw_asr_cam_report_speed(m_mb_obs_cam_speed_change_too_large, {mw_v2x_pdu_stream}, {})))));
	if (not(match(v_etsiTs103759_data.report, mw_cam_specific_report(mw_asr_cam_report_speed(m_mb_obs_cam_speed_change_too_large, {mw_v2x_pdu_stream}, {}))))) {		if (not(match(v_etsiTs103759_data.report, mw_cam_specific_report(mw_asr_cam_report_speed(m_mb_obs_cam_speed_change_too_large, {mw_v2x_pdu_stream(1, -, PX_REPEAT_INCONSISTENT_MESSAGE - 1)}, {}))))) {
	log("* " & testcasename() & ": FAIL: MR content mismatch *");		log("* " & testcasename() & ": FAIL: MR content mismatch *");
	f_selfOrClientSyncAndVerdict(c_tbDone, e_error);		f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
	}		}

lib/LibItsMbr_EncdecDeclarations.ttcn

+0 −3

Original line number	Original line	Diff line number	Diff line
	@@ -6,9 +6,6 @@ module LibItsMbr_EncdecDeclarations {
	import from EtsiTs103759BaseTypes language "ASN.1:1997" all;		import from EtsiTs103759BaseTypes language "ASN.1:1997" all;
	import from Ieee1609Dot2BaseTypes language "ASN.1:1997" all;		import from Ieee1609Dot2BaseTypes language "ASN.1:1997" all;

	// LibItsSecurity
	import from LibItsSecurity_TypesAndValues all;

	external function fx_enc_EtsiTs103759Data(in EtsiTs103759Data p_etsi_ts_103759_data) return bitstring		external function fx_enc_EtsiTs103759Data(in EtsiTs103759Data p_etsi_ts_103759_data) return bitstring
	with {extension "prototype(convert) encode(PER)"}		with {extension "prototype(convert) encode(PER)"}

lib/LibItsMbr_Pics.ttcn

+0 −18

Original line number	Original line	Diff line number	Diff line
	@@ -11,22 +11,4 @@ module LibItsMbr_Pics {
	*/		*/
	modulepar charstring PICS_IUT_MA_CERTIFICATE_ID := "CERT_IUT_A_MA";		modulepar charstring PICS_IUT_MA_CERTIFICATE_ID := "CERT_IUT_A_MA";

	/**
	* @desc Speed threshold value for unknown(0), pedestrian(1), cyclist(2), moped(3), specialVehicles(10) and tram(11)
	* @see ASN.1 Type definition for SetMbObsTgtsCam
	*/
	modulepar integer PX_MBR_PEDESTRIAN_SPEED_THRESHOLD := 3000;

	/**
	* @desc Speed threshold value for passengerCar(5)
	* @see ASN.1 Type definition for SetMbObsTgtsCam
	*/
	modulepar integer PX_MBR_PASSENGER_CAR_SPEED_THRESHOLD := 14000;

	/**
	* @desc Speed threshold value for roadSideUnit(15)
	* @see ASN.1 Type definition for SetMbObsTgtsCam
	*/
	modulepar integer PX_MBR_RSU_SPEED_THRESHOLD := 0;

	} // End of module LibItsMbr_Pics		} // End of module LibItsMbr_Pics
	No newline at end of file

lib/LibItsMbr_Pixits.ttcn

+28 −0

Original line number	Original line	Diff line number	Diff line
	module LibItsMbr_Pixits {		module LibItsMbr_Pixits {

			modulepar integer PX_REPEAT_INCONSISTENT_MESSAGE := 1;

			modulepar float PX_REPEAT_INCONSISTENT_MESSAGE_TIMEOUT := 1.0;

			/**
			* @desc Speed threshold value for unknown(0), pedestrian(1), cyclist(2), moped(3), specialVehicles(10) and tram(11)
			* @see ASN.1 Type definition for SetMbObsTgtsCam
			*/
			modulepar integer PX_MBR_PEDESTRIAN_SPEED_THRESHOLD := 3000;

			/**
			* @desc Speed threshold value for passengerCar(5)
			* @see ASN.1 Type definition for SetMbObsTgtsCam
			*/
			modulepar integer PX_MBR_PASSENGER_CAR_SPEED_THRESHOLD := 14000;

			/**
			* @desc Speed threshold value for roadSideUnit(15)
			* @see ASN.1 Type definition for SetMbObsTgtsCam
			*/
			modulepar integer PX_MBR_RSU_SPEED_THRESHOLD := 0;

			/**
			* @desc Position threshold value for short range communication
			* @see ASN.1 Type definition for SetMbObsTgtsCam
			*/
			modulepar float PX_MBR_PASSENGER_CAR_POSITION_THRESHOLD := 200.0;

	} // End of module LibItsMbr_Pixits		} // End of module LibItsMbr_Pixits
			No newline at end of file

lib/LibItsMbr_Templates.ttcn

+2 −2

Original line number	Original line	Diff line number	Diff line
	@@ -141,7 +141,7 @@ module LibItsMbr_Templates {
	group etsiTs103759Data {		group etsiTs103759Data {

	template (value) EtsiTs103759Data m_etsiTs103759Data(		template (value) EtsiTs103759Data m_etsiTs103759Data(
	in UInt8 p_version,		in Uint8 p_version,
	in Time64 p_generationTime,		in Time64 p_generationTime,
	in template (value) ThreeDLocation p_observationLocation,		in template (value) ThreeDLocation p_observationLocation,
	in template (value) AidSpecificReport p_report		in template (value) AidSpecificReport p_report
	@@ -153,7 +153,7 @@ module LibItsMbr_Templates {
	} // End of template m_etsiTs103759Data		} // End of template m_etsiTs103759Data

	template (present) EtsiTs103759Data mw_etsiTs103759Data(		template (present) EtsiTs103759Data mw_etsiTs103759Data(
	template (present) UInt8 p_version := ?,		template (present) Uint8 p_version := ?,
	template (present) Time64 p_generationTime := ?,		template (present) Time64 p_generationTime := ?,
	template (present) ThreeDLocation p_observationLocation := ?,		template (present) ThreeDLocation p_observationLocation := ?,
	template (present) AidSpecificReport p_report := ?		template (present) AidSpecificReport p_report := ?