Update initial basic TPs (7f6c7c5c) · Commits · ITS - Intelligent Transport Systems / ttcn / MBR TS 103 759

test_purposes/its_mbr_commons.tplan2

+2 −1

Original line number	Diff line number	Diff line
		@@ -25,7 +25,7 @@ Package its_mbr_commons {
		constant:
		- PX_SUBJECT_PDU_INDEX // Number of invalid messages observations
		- PX_IMPLAUSIBLE_POSITION_1 // Invalid position in CA message (e.g. wrong latitude)

		- TODO // PIXIT to be defined
		;
		entities:
		- IUT // Implementation Under Test
		@@ -57,6 +57,7 @@ Package its_mbr_commons {
		- connect
		- receives
		- received
		- forwards
		- awaits
		- sent
		- sends

test_purposes/itss.tplan2

+14 −14

Original line number	Diff line number	Diff line
		@@ -97,7 +97,7 @@ Package mbr {
		when {
		the IUT entity isTriggeredToSend a MbrMessage 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
		@@ -114,12 +114,12 @@ Package mbr {
		aid indicating value AID_CAM,
		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
		;
		;
		;
		@@ -153,7 +153,7 @@ Package mbr {
		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_CLASS2
		;
		@@ -169,12 +169,12 @@ Package mbr {
		aid indicating value AID_CAM,
		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_CLASS2
		;
		certificate indicating value TODO
		certificate_ indicating value TODO
		;
		;
		;
		@@ -223,12 +223,12 @@ Package mbr {
		aid indicating value AID_CAM,
		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_CLASS3
		;
		certificate indicating value TODO
		certificate_ indicating value TODO
		;
		nonV2xPduEvidence containing
		id indicating value TODO,
		@@ -281,12 +281,12 @@ Package mbr {
		aid indicating value AID_CAM,
		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_CLASS4
		;
		certificate indicating value TODO
		certificate_ indicating value TODO
		;
		nonV2xPduEvidence containing
		id indicating value TODO,
		@@ -339,12 +339,12 @@ Package mbr {
		aid indicating value AID_CAM,
		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_CLASS5
		;
		certificate indicating value TODO
		certificate_ indicating value TODO
		;
		nonV2xPduEvidence containing
		id indicating value TODO,
		@@ -380,7 +380,7 @@ Package mbr {
		Initial conditions
		with {
		the IUT entity being_in the initial_state and,
		the IUT is authorized with AT certificate CERT_IUT_A_AT
		the IUT is authorized with AT certificate_ CERT_IUT_A_AT
		containing encryptionKey
		;
		}
		@@ -398,7 +398,7 @@ Package mbr {
		;
		from the TEST_SYSTEM entity
		} then {
		the IUT entity sends a message of type EtsiTs103097Data-SignedAndEncrypted containing
		the IUT entity sends a message of type_ EtsiTs103097Data-SignedAndEncrypted containing
		protocolVersion indicating value 3,
		content containing
		encryptedData containing