Add new TPs for multiple classes MR (c596daa5) · Commits · ITS - Intelligent Transport Systems / ttcn / MBR TS 103 759

asn1 @ 0a0d4ca5

Original line number	Diff line number	Diff line
		Subproject commit 3d3ac26ae673de0237d277af6f8e056ff69c6435
		Subproject commit 0a0d4ca5e8390372d8b9e48a829420659cc86248

lib/module.mk

+1 −0

Original line number	Diff line number	Diff line
		@@ -11,6 +11,7 @@ sources += \
		asn1/EtsiTs103759AsrDenm.asn \
		asn1/EtsiTs103759CommonObservations.asn \
		asn1/SaeJ3287AsrBsm.asn \

		endif

		ifeq (,$(findstring EtsiTs103097Module.asn,$(all_sources)))

test_purposes/its_mrs_commons.tplan2

+7 −0

Original line number	Diff line number	Diff line
		@@ -59,6 +59,7 @@ Package its_mrs_commons {
		type integer;
		type UInt8;
		type Int16;
		type StationID;
		type Charstring;
		type Octetstring;
		type Time64;
		@@ -82,6 +83,8 @@ Package its_mrs_commons {
		// Messages
		GeoNetworkingPdu PDU_IN_ERR; // Secured GeoNetworking packet containing inconsistent CA/DEN message and signer certificate
		GeoNetworkingPdu PDU_IN_ERR_0; // First secured GeoNetworking packet containing inconsistent CA/DEN message and signer certificate
		GeoNetworkingPdu PDU_IN_ERR_1;
		GeoNetworkingPdu PDU_IN_ERR_2;
		GeoNetworkingPdu PDU_IN_ERR_N; // Last secured GeoNetworking packet containing inconsistent CA/DEN message and signer certificate
		AidSpecificReport AidSpecificReport; // AidSpecificReport packet
		AsrCam AsrCam; // AsrCam packet
		@@ -93,6 +96,10 @@ Package its_mrs_commons {
		UInt8 INVALID_AID; // Invalid AID, e.g. 0
		integer PX_INVALID_CAM_SSP; // Invalid CAM SSPs
		UInt8 PX_SUBJECT_PDU_INDEX; // Number of invalid messages observations
		StationID PX_STATION_ID; // StaionID values
		StationID PX_STATION_ID_1;
		StationID PX_STATION_ID_2;
		StationID PX_STATION_ID_3;

		// PIXITs
		Certifcate PX_CERT_IUT_A_AT; // Regular signing certificate

test_purposes/itss.tplan2

+275 −26

Original line number	Diff line number	Diff line
		@@ -105,7 +105,7 @@ Package mrs {
		Reference
		"ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A"

		Config Id CFG_ITS_MRS_02
		Config Id CFG_ITS_MRS_01

		PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_SPEED

		@@ -2151,6 +2151,272 @@ Package mrs {
		Test Purpose {
		TP Id TP_MRS_ITSS_MESSAGES_001

		Test objective
		"Check that the IUT generates a single MR message containing observations on receiving CAM messages with different class 1 inconsistencies."

		Reference
		"ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A"

		Config Id CFG_ITS_MRS_02

		PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_LONG_ACC and PICS_DETECTOR_CAM_SPEED and PICS_DETECTOR_CAM_POSITION

		Initial conditions
		with {
		the IUT entity being_in the initial_state and
		the IUT entity isAuthorizedWithATCertificate
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives multiple PDU_IN_ERR containing
		CA message containing
		StationID indicating value PX_STATION_ID_1,
		Acc indicating value PX_INVALID_ACC_VALUE;;
		from the TEST_SYSTEM entity
		and the IUT entity receives multiple PDU_IN_ERR containing
		CA message containing
		StationID indicating value PX_STATION_ID_2,
		Speed indicating value PX_SPEED_3;;
		from the TEST_SYSTEM entity
		and the IUT entity receives multiple PDU_IN_ERR containing
		CA message containing
		StationID indicating value PX_STATION_ID_3,
		Position indicating value PX_INVALID_POSITION_VALUE_VS_COMM_COVERAGE;;
		from the TEST_SYSTEM entity
		and the IUT entity is triggered to send a MR message containing
		item0 containing
		targetId indicating value c_CamTgt_LongAccCommon,
		cause indicating value c_ObsLongAcc_ValueTooLarge;,
		item1 containing
		targetId indicating value c_CamTgt_SpeedCommon,
		cause indicating value c_ObsSpeed_ValueTooLarge_VehicleType;,
		item2 containing
		targetId indicating value c_CamTgt_PositionCommon,
		cause indicating value c_Position_ChangeTooLarge;;
		from the TEST_SYSTEM entity
		} then {
		the IUT entity sends a EtsiTs103759Data containing
		version indicating value 2,
		generationTime corresponding to CURRENT_TIME,
		observationLocation corresponding to CURRENT_POS,
		report containing
		aid indicating value AID_CAM,
		content containing
		content corresponding to AsrCam,
		content containing
		observations containing
		item0 containing
		tgtId indicating value c_CamTgt_LongAccCommon,
		observations containing
		item0 containing
		obsId indicating value c_ObsLongAcc_ValueTooLarge,
		obs indicating value NULL;;,
		item1 containing
		tgtId indicating value c_CamTgt_SpeedCommon,
		observations containing
		item0 containing
		obsId indicating value c_ObsSpeed_ChangeTooLarge,
		obs indicating value NULL;;;,
		item2 containing
		tgtId indicating value c_CamTgt_PositionCommon,
		observations containing
		item0 containing
		obsId indicating value c_ObsPosition_ChangeTooLarge,
		obs indicating value NULL;;;;,
		v2xPduEvidence containing
		V2xPduStream containing
		item0 containing
		type_ indicating value c_ObsPdu_etsiGn,
		v2xPdus containing
		PDU0 corresponding to PDU_IN_ERR_0,
		PDU1 corresponding to PDU_IN_ERR_1,
		PDU2 corresponding to PDU_IN_ERR_2;,
		certificate indicating value omit,
		subjectPduIndex indicating value 3;;;,
		nonV2xPduEvidence indicating value empty;;;;;
		to the MA entity
		}
		}
		} // End of TP_MRS_ITSS_MESSAGES_001

		Test Purpose {
		TP Id TP_MRS_ITSS_MESSAGES_002

		Test objective
		"Check that the IUT generates a single MR message containing observations on receiving CAM messages with different class 2 inconsistencies."

		Reference
		"ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A"

		Config Id CFG_ITS_MRS_02

		PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_LONG_ACC and PICS_DETECTOR_CAM_SPEED and PICS_DETECTOR_CAM_POSITION

		Initial conditions
		with {
		the IUT entity being_in the initial_state and
		the IUT entity isAuthorizedWithATCertificate
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives multiple PDU_IN_ERR containing
		CA message containing
		StationID indicating value PX_STATION_ID_1,
		Acc indicating value PX_INVALID_ACC_CHANGE;;
		from the TEST_SYSTEM entity
		and the IUT entity receives multiple PDU_IN_ERR containing
		CA message containing
		StationID indicating value PX_STATION_ID_2,
		Acc indicating value PX_NORMAL_ACC_VALUE,
		Speed indicating value PX_INVALID_SPEED_CHANGE;;
		from the TEST_SYSTEM entity
		and the IUT entity receives multiple PDU_IN_ERR containing
		CA message containing
		StationID indicating value PX_STATION_ID_3,
		Heading indicating value PX_NORMAL_HEADING_VALUE,
		Position indicating value PX_INVALID_POSITION_CHANGE;;
		from the TEST_SYSTEM entity
		and the IUT entity is triggered to send a MR message containing
		item0 containing
		targetId indicating value c_CamTgt_LongAccCommon,
		cause indicating value c_ObsLongAcc_ValueTooLarge;,
		item1 containing
		targetId indicating value c_CamTgt_SpeedCommon,
		cause indicating value c_ObsSpeed_ValueTooLarge_VehicleType;,
		item2 containing
		targetId indicating value c_CamTgt_PositionCommon,
		cause indicating value c_Position_ChangeTooLarge;;
		from the TEST_SYSTEM entity
		} then {
		the IUT entity sends a EtsiTs103759Data containing
		version indicating value 2,
		generationTime corresponding to CURRENT_TIME,
		observationLocation corresponding to CURRENT_POS,
		report containing
		aid indicating value AID_CAM,
		content containing
		content corresponding to AsrCam,
		content containing
		observations containing
		item0 containing
		tgtId indicating value c_CamTgt_LongAccCommon,
		observations containing
		item0 containing
		obsId indicating value c_ObsLongAcc_ValueTooLarge,
		obs indicating value NULL;;,
		item1 containing
		tgtId indicating value c_CamTgt_SpeedCommon,
		observations containing
		item0 containing
		obsId indicating value c_ObsSpeed_ChangeTooLarge,
		obs indicating value NULL;;;,
		item2 containing
		tgtId indicating value c_CamTgt_PositionCommon,
		observations containing
		item0 containing
		obsId indicating value c_ObsPosition_ChangeTooLarge,
		obs indicating value NULL;;;;,
		v2xPduEvidence containing
		V2xPduStream containing
		item0 containing
		type_ indicating value c_ObsPdu_etsiGn,
		v2xPdus containing
		PDU0 corresponding to PDU_IN_ERR_0,
		PDU1 corresponding to PDU_IN_ERR_1,
		PDU2 corresponding to PDU_IN_ERR_2;,
		certificate indicating value omit,
		subjectPduIndex indicating value 3;;;,
		nonV2xPduEvidence indicating value empty;;;;;
		to the MA entity
		}
		}
		} // End of TP_MRS_ITSS_MESSAGES_002

		Test Purpose {
		TP Id TP_MRS_ITSS_MESSAGES_003

		Test objective
		"Check that the IUT generates a single MR message containing observations on receiving CAM messages with different class 3 inconsistencies."

		Reference
		"ETSI TS 103 759 [1], Clauses 4.2.3, Clause 6.2, Clause 7.2 and Annex A"

		Config Id CFG_ITS_MRS_02

		PICS Selection PICS_IUT_ITS_S and PICS_DETECTOR_CAM_LONG_ACC and PICS_DETECTOR_CAM_SPEED and PICS_DETECTOR_CAM_POSITION

		Initial conditions
		with {
		the IUT entity being_in the initial_state and
		the IUT entity isAuthorizedWithATCertificate
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives multiple PDU_IN_ERR containing
		CA message containing
		StationID indicating value PX_STATION_ID_2,
		Speed indicating value PX_SPEED_3;;
		from the TEST_SYSTEM entity
		and the IUT entity receives multiple PDU_IN_ERR containing
		CA message containing
		StationID indicating value PX_STATION_ID_3,
		Position indicating value PX_POSITION_OUT_OF_ROAD;;
		from the TEST_SYSTEM entity
		and the IUT entity is triggered to send a MR message containing
		item0 containing
		targetId indicating value c_CamTgt_SpeedCommon,
		cause indicating value c_ObsSpeed_ValueTooLarge_VehicleType;,
		item2 containing
		targetId indicating value c_CamTgt_PositionCommon,
		cause indicating value c_Position_ChangeTooLarge;;
		from the TEST_SYSTEM entity
		} then {
		the IUT entity sends a EtsiTs103759Data containing
		version indicating value 2,
		generationTime corresponding to CURRENT_TIME,
		observationLocation corresponding to CURRENT_POS,
		report containing
		aid indicating value AID_CAM,
		content containing
		content corresponding to AsrCam,
		content containing
		observations containing
		item0 containing
		tgtId indicating value c_CamTgt_SpeedCommon,
		observations containing
		item0 containing
		obsId indicating value c_ObsSpeed_ChangeTooLarge,
		obs indicating value NULL;;;,
		item1 containing
		tgtId indicating value c_CamTgt_PositionCommon,
		observations containing
		item0 containing
		obsId indicating value c_ObsPosition_ChangeTooLarge,
		obs indicating value NULL;;;;,
		v2xPduEvidence containing
		V2xPduStream containing
		item0 containing
		type_ indicating value c_ObsPdu_etsiGn,
		v2xPdus containing
		PDU0 corresponding to PDU_IN_ERR_0,
		PDU1 corresponding to PDU_IN_ERR_1;,
		certificate indicating value omit,
		subjectPduIndex indicating value 2;;;,
		nonV2xPduEvidence indicating value empty;;;;
		to the MA entity
		}
		}
		} // End of TP_MRS_ITSS_MESSAGES_003

		Test Purpose {
		TP Id TP_MRS_ITSS_MESSAGES_06

		Test objective
		"Check that the IUT generates a single MR message containing observations of an invalid speed change, an invalid position change and an invalid longitudinal acceleration value in consecutive CAMs when requested (both Class1, Class 2)."

		@@ -2205,51 +2471,34 @@ Package mrs {
		observations containing
		item0 containing
		obsId indicating value c_ObsSpeed_ChangeTooLarge,
		obs indicating value NULL
		;
		;,
		obs indicating value NULL;;,
		item1 containing
		tgtId indicating value c_CamTgt_PositionCommon,
		observations containing
		item0 containing
		obsId indicating value c_ObsPosition_ChangeTooLarge,
		obs indicating value NULL
		;
		;
		;,
		obs indicating value NULL;;;,
		item2 containing
		tgtId indicating value c_CamTgt_LongAccCommon,
		observations containing
		item0 containing
		obsId indicating value c_ObsLongAcc_ValueTooLarge,
		obs indicating value NULL
		;
		;
		;
		;,
		obs indicating value NULL;;;;,
		v2xPduEvidence containing
		V2xPduStream containing
		item0 containing
		type_ indicating value c_ObsPdu_etsiGn,
		v2xPdus containing
		PDU0 corresponding to PDU_IN_ERR_0,
		PDUN corresponding to PDU_IN_ERR_N
		;,
		PDUN corresponding to PDU_IN_ERR_1,
		PDUN corresponding to PDU_IN_ERR_2;,
		certificate indicating value omit,
		subjectPduIndex indicating value PX_SUBJECT_PDU_IDX
		;
		;
		;,
		nonV2xPduEvidence indicating value empty
		;
		;
		;
		;
		;
		subjectPduIndex indicating value 3;;;,
		nonV2xPduEvidence indicating value empty;;;;;
		to the MA entity
		}
		}
		} // End of TP_MRS_ITSS_MESSAGES_001
		} // End of TP_MRS_ITSS_MESSAGES_006

		} // End of Group "MultipleClasses"