Bug fixed in TPs (e7baf262) · Commits · ITS - Intelligent Transport Systems / ttcn / MBR TS 103 759

asn1 @ e6c83ef3

Original line number	Diff line number	Diff line
		Subproject commit df1c3156b32fa9d1bf45cafe53e990a29bd66af9
		Subproject commit e6c83ef3430a347b68135a7973fe729bae118517

lib/module.mk

+19 −11

Original line number	Diff line number	Diff line
		sources := \
		LibItsMbr_TypesAndValues.ttcn \
		LibItsMbr_Templates.ttcn \
		asn1/EtsiTs103759.asn \
		asn1/EtsiTs103759BaseTypes.asn \
		asn1/EtsiTs103759AsrAppAgnostic.asn \
		asn1/EtsiTs103759AsrCam.asn \
		asn1/EtsiTs103759AsrDenm.asn \
		asn1/EtsiTs103759CommonObservations.asn \
		asn1/EtsiTs103759BaseTypes.asn \
		asn1/SaeJ3287AsrBsm.asn \
		asn1/ieee1609.2/Ieee1609Dot2.asn \
		asn1/ieee1609.2/Ieee1609Dot2CrlBaseTypes.asn \
		asn1/ieee1609.2/Ieee1609Dot2Crl.asn \
		asn1/ieee1609.2/Ieee1609Dot2BaseTypes.asn \
		asn1/sec_ts103097/EtsiTs103097ExtensionModule.asn \
		asn1/sec_ts103097/EtsiTs103097Module.asn \
		asn1/sec_ts103097/ieee1609dot2/Ieee1609Dot2.asn \
		asn1/sec_ts103097/ieee1609dot2/Ieee1609Dot2BaseTypes.asn

		# asn1/sec_ts103097/ieee1609dot2/Ieee1609Dot2.asn \
		# asn1/sec_ts103097/ieee1609dot2/Ieee1609Dot2BaseTypes.asn \
		# asn1/sec_ts103097/ieee1609dot2/Ieee1609Dot2Crl.asn \
		# asn1/sec_ts103097/ieee1609dot2/Ieee1609Dot2CrlBaseTypes.asn

test_purposes/its_mbr_commons.tplan2

+1 −1

Original line number	Diff line number	Diff line
		@@ -53,7 +53,7 @@ Package its_mbr_commons {
		- MBR_GEN_LOC // The location of the OBU when the MBR messsage is generated
		;
		events:
		- publish
		- isTriggeredToSend
		- connect
		- receives
		- received

test_purposes/itss.tplan2

+21 −21

Original line number	Diff line number	Diff line
		/*
		Copyright (c) ETSI 2022.
		Copyright (c) ETSI 2023.

		This software is subject to copyrights owned by ETSI. Non-exclusive permission
		is hereby granted, free of charge, to copy, reproduce and amend this file
		@@ -13,7 +13,7 @@ copyright notice shall be included in all copies of whole or part of this
		file and shall not imply any sub-license right.
		*/

		Package itss {
		Package mbr {

		Group "send_mb_report" {

		@@ -40,10 +40,10 @@ Package itss {
		Expected behaviour
		ensure that {
		when {
		the IUT entity is triggered to send a MbrMessage containing
		the IUT entity isTriggeredToSend a MbrMessage containing
		v2xPduEvidence containing
		v2xPdus containing
		type indicating value TODO,
		type_ indicating value TODO,
		subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX,
		observations indicating value MBR_OBSERVATIONS_CLASS1
		;
		@@ -57,14 +57,14 @@ Package itss {
		observationLocation indicating value MBR_GEN_LOC,
		report containing
		aid indicating value AID_CAM,
		content containg
		content containing
		v2xPduEvidence containing
		type indicating value TODO,
		type_ indicating value TODO,
		v2xPdus containing
		subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX,
		observations indicating value MBR_OBSERVATIONS_CLASS1
		;
		certificate indicating value TODO
		certificate_ indicating value TODO
		;
		;
		;
		@@ -95,7 +95,7 @@ Package itss {
		Expected behaviour
		ensure that {
		when {
		the IUT entity is triggered to send a MbrMessage containing
		the IUT entity isTriggeredToSend a MbrMessage containing
		v2xPduEvidence containing
		type indicating value TODO,
		v2xPdus containing
		@@ -112,7 +112,7 @@ Package itss {
		observationLocation indicating value MBR_GEN_LOC,
		report containing
		aid indicating value AID_CAM,
		content containg
		content containing
		v2xPduEvidence containing
		type indicating value TODO,
		v2xPdus containing
		@@ -150,7 +150,7 @@ Package itss {
		Expected behaviour
		ensure that {
		when {
		the IUT entity is triggered to send a MbrMessage containing
		the IUT entity isTriggeredToSend a MbrMessage containing
		v2xPduEvidence containing
		v2xPdus containing
		type indicating value TODO,
		@@ -167,7 +167,7 @@ Package itss {
		observationLocation indicating value MBR_GEN_LOC,
		report containing
		aid indicating value AID_CAM,
		content containg
		content containing
		v2xPduEvidence containing
		type indicating value TODO,
		v2xPdus containing
		@@ -205,7 +205,7 @@ Package itss {
		Expected behaviour
		ensure that {
		when {
		the IUT entity is triggered to send a MbrMessage containing
		the IUT entity isTriggeredToSend a MbrMessage containing
		v2xPduEvidence containing
		v2xPdus containing
		subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX,
		@@ -221,7 +221,7 @@ Package itss {
		observationLocation indicating value MBR_GEN_LOC,
		report containing
		aid indicating value AID_CAM,
		content containg
		content containing
		v2xPduEvidence containing
		type indicating value TODO,
		v2xPdus containing
		@@ -263,7 +263,7 @@ Package itss {
		Expected behaviour
		ensure that {
		when {
		the IUT entity is triggered to send a MbrMessage containing
		the IUT entity isTriggeredToSend a MbrMessage containing
		v2xPduEvidence containing
		v2xPdus containing
		subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX,
		@@ -279,7 +279,7 @@ Package itss {
		observationLocation indicating value MBR_GEN_LOC,
		report containing
		aid indicating value AID_CAM,
		content containg
		content containing
		v2xPduEvidence containing
		type indicating value TODO,
		v2xPdus containing
		@@ -321,7 +321,7 @@ Package itss {
		Expected behaviour
		ensure that {
		when {
		the IUT entity is triggered to send a MbrMessage containing
		the IUT entity isTriggeredToSend a MbrMessage containing
		v2xPduEvidence containing
		v2xPdus containing
		subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX,
		@@ -337,7 +337,7 @@ Package itss {
		observationLocation indicating value MBR_GEN_LOC,
		report containing
		aid indicating value AID_CAM,
		content containg
		content containing
		v2xPduEvidence containing
		type indicating value TODO,
		v2xPdus containing
		@@ -388,7 +388,7 @@ Package itss {
		Expected behaviour
		ensure that {
		when {
		the IUT entity is triggered to send a MbrMessage containing
		the IUT entity isTriggeredToSend a MbrMessage containing
		v2xPduEvidence containing
		v2xPdus containing
		subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX,
		@@ -511,7 +511,7 @@ Package itss {
		when {
		the IUT entity received PX_SUBJECT_PDU_INDEX CA message containing
		StationID indicating value PX_STATIONID,
		Position indicating PX_IMPLAUSIBLE_POSITION_1
		Position indicating value PX_IMPLAUSIBLE_POSITION_1
		;
		from the TEST_SYSTEM entity
		} then {
		@@ -522,7 +522,7 @@ Package itss {
		observations containing
		CA message containing
		StationID indicating value PX_STATIONID,
		Position indicating PX_IMPLAUSIBLE_POSITION_1
		Position indicating value PX_IMPLAUSIBLE_POSITION_1
		;
		;
		;
		@@ -535,4 +535,4 @@ Package itss {

		} // End of Group "detect_misbehvior_messages"

		} // End of Package itss
		} // End of Package mbr