Add test purposes squeletons (2fa2cb3e) · Commits · ITS - Intelligent Transport Systems / ttcn / MBR TS 103 759

asn1 @ ed58d88c

Original line number	Diff line number	Diff line
		Subproject commit 4d297f92e0d1c6648b5aadcf7215c1fa8d756af7
		Subproject commit ed58d88c78c4380c384da10a17bb092d84d16466

lib/module.mk

+1 −1

Original line number	Diff line number	Diff line
		@@ -5,9 +5,9 @@
		asn1/EtsiTs103759AsrCam.asn \
		asn1/EtsiTs103759AsrDenm.asn \
		asn1/EtsiTs103759CommonObservations.asn \
		asn1/EtsiTs103759BaseTypes.asn \
		asn1/SaeJ3287AsrBsm.asn \
		asn1/sec_ts103097/EtsiTs103097ExtensionModule.asn \
		asn1/sec_ts103097/EtsiTs103097Module.asn \
		asn1/sec_ts103097/ieee1609dot2/Ieee1609Dot2.asn \
		asn1/sec_ts103097/ieee1609dot2/Ieee1609Dot2BaseTypes.asn

test_purposes/References.txt

0 → 100644

+10 −0

Original line number	Diff line number	Diff line
		[1] ETSI TS 102 940: "Intelligent Transport Systems (ITS); Security; ITS communications security architecture and security management; Release 2".
		[2] ETSI EN 302 665: "Intelligent Transport Systems (ITS); Communications Architecture".
		[3] ETSI TS 102 941: "Intelligent Transport Systems (ITS); Security; Trust and Privacy Management".
		[4] ETSI TS 103 759: "Intelligent Transport Systems (ITS); Security; Misbehaviour Reporting service".


		[4] ISO/IEC 9646-1: "Information technology -- Open Systems Interconnection -- Conformance testing methodology and framework -- Part 1: General concepts".
		[5] ISO/IEC 9646-7: "Information technology -- Open Systems Interconnection -- Conformance testing methodology and framework -- Part 7: Implementation Conformance Statements".
		[6] ETSI ETS 300 406: "Methods for testing and Specification (MTS); Protocol and profile conformance testing specifications; Standardization methodology".
		[7] ETSI ES 203 119-4: "Methods for Testing and Specification (MTS); The Test Description Language (TDL); Part 4: Structured Test Objective Specification (Extension)".
		No newline at end of file

test_purposes/its_mbr_commons.tplan2

0 → 100644

+97 −0

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

		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
		under the following conditions: It is provided "as is", without warranty of any
		kind, expressed or implied.

		ETSI shall never be liable for any claim, damages, or other liability arising
		from its use or inability of use. This permission does not apply to any documentation
		associated with this file for which ETSI keeps all rights reserved. The present
		copyright notice shall be included in all copies of whole or part of this
		file and shall not imply any sub-license right.
		*/

		Package its_mbr_commons {
		Domain {
		pics: // ETSI TS 103 759 [3], Clause 5
		- PICS_IUT_ITS_S // Is the IUT an ITS-S
		- PICS_IUT_RSU // Is the IUT a RSU
		- PICS_IUT_MA // Is the IUT an Misbehavior Authority
		- PICS_RADIO_G5 // Radio layer is G5
		- PICS_RADIO_LTE // Radio layer is LTE/5G
		;
		constant:
		- PX_SUBJECT_PDU_INDEX // Number of invalid messages observations
		;
		entities:
		- IUT // Implementation Under Test
		- ITS_S // Onboard Unit
		- RSU // Road Side Unit
		- MA // Misbehavior Authority
		- TEST_SYSTEM // Test System entity
		- MBR_OBSERVATIONS_CLASS1
		// A set of observations of class1 (Implausible values within the incoming message)
		- MBR_OBSERVATIONS_CLASS2
		// A set of observations of class2 (Inconsistencies of the incoming message with previous messages of the same type emitted from the same station)
		- AID_MBR // AID of MBR Service
		- CERT_IUT_A_AT // Default IUT AT certificate
		- CERT_MA // Defaut MA certificate
		- CERT_MA_HASHEDID8
		// Hashed Id 8 of the CERT_MA
		- MBR_ENC_KEY // TODO
		- PX_IMPLAUSIBLE_POSITION_1
		// Invalid position in CA message (e.g. wrong latitude)
		;
		events:
		- publish
		- connect
		- receives
		- received
		- awaits
		- sent
		- sends
		- send
		- having
		- being_in
		- times_out
		;
		} // End of 'Domain' statement

		Data {
		type Int16;
		type Charstring;
		type Octetstring;

		type MbrMessage; // Misbehavior Reporting message. See ETSI TS 103 759
		} // End of 'Data' statement

		Configuration {
		Interface Type defaultGT accepts MbrMessage;
		Component Type ItsComponent with gate g of type defaultGT;
		Component Type ItsHttpComponent with gate g of type defaultGT;

		Test Configuration CFG_ITS_MBR_01_01 // ETSI TS 103 759 [3], Clause 5.2 Communication assumptions and requirements. G5 transport
		containing
		Tester component MA of type ItsComponent
		SUT component IUT of type ItsComponent
		connection between MA.g and IUT.g;

		Test Configuration CFG_ITS_MBR_01_02 // ETSI TS 103 759 [3], Clause 5.2 Communication assumptions and requirements. HTTP transport
		containing
		Tester component MA of type ItsHttpComponent
		SUT component IUT of type ItsHttpComponent
		connection between MA.g and IUT.g;

		Test Configuration CFG_ITS_MBR_02
		containing
		Tester component MA of type ItsHttpComponent
		Tester component ITS_S of type ItsComponent
		SUT component IUT of type ItsHttpComponent
		connection between MA.g and IUT.g
		connection between ITS_S.g and IUT.g;

		} // End of 'Configuration' statement

		} // End of Package its_mbr_commons

test_purposes/itss.tplan2

0 → 100644

+305 −0

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

		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
		under the following conditions: It is provided "as is", without warranty of any
		kind, expressed or implied.

		ETSI shall never be liable for any claim, damages, or other liability arising
		from its use or inability of use. This permission does not apply to any documentation
		associated with this file for which ETSI keeps all rights reserved. The present
		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 {

		Group "send_mb_report" {

		import all from its_mbr_commons;

		Test Purpose {
		TP Id TP_MBR_ITSS_SEND_MB_REPORT_001_01

		Test objective
		"Ensure that the IUT generates a MB report when requested."

		Reference
		"ETSI TS 103 759 [3], Clauses 4.2.3"

		Config Id CFG_ITS_MBR_01_01

		PICS Selection PICS_IUT_ITS_S and PICS_RADIO_G5

		Initial conditions
		with {
		the IUT entity being_in the initial_state
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity is triggered to send a MbrMessage containing
		v2xPduEvidence containing
		v2xPdus containing
		subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX,
		observations indicating value MBR_OBSERVATIONS_CLASS1
		;
		;
		;
		from the TEST_SYSTEM entity
		} then {
		the IUT entity sends a MbrMessage containing
		v2xPduEvidence containing
		v2xPdus containing
		subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX,
		observations indicating value MBR_OBSERVATIONS_CLASS1
		;
		;
		;
		to the MA entity
		}
		}
		} // End of TP_MBR_ITSS_SEND_MB_REPORT_001_01

		Test Purpose {
		TP Id TP_MBR_ITSS_SEND_MB_REPORT_001_02

		Test objective
		"Ensure that the IUT generates a MB report when requested."

		Reference
		"ETSI TS 103 759 [3], Clauses 4.2.3"

		Config Id CFG_ITS_MBR_01_02

		PICS Selection PICS_IUT_ITS_S and PICS_RADIO_LTE

		Initial conditions
		with {
		the IUT entity being_in the initial_state
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity is triggered to send a MbrMessage containing
		v2xPduEvidence containing
		v2xPdus containing
		subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX,
		observations indicating value MBR_OBSERVATIONS_CLASS1
		;
		;
		;
		from the TEST_SYSTEM entity
		} then {
		the IUT entity sends a MbrMessage containing
		v2xPduEvidence containing
		v2xPdus containing
		subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX,
		observations indicating value MBR_OBSERVATIONS_CLASS1
		;
		;
		;
		to the MA entity
		}
		}
		} // End of TP_MBR_ITSS_SEND_MB_REPORT_001_02

		Test Purpose {
		TP Id TP_MBR_ITSS_SEND_MB_REPORT_002

		Test objective
		"Ensure that the IUT generates a MB report when requested."

		Reference
		"ETSI TS 103 759 [3], Clauses 4.2.3"

		Config Id CFG_ITS_MBR_01_01

		PICS Selection PICS_IUT_ITS_S and PICS_RADIO_G5

		Initial conditions
		with {
		the IUT entity being_in the initial_state
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity is triggered to send a MbrMessage containing
		v2xPduEvidence containing
		v2xPdus containing
		subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX,
		observations indicating value MBR_OBSERVATIONS_CLASS2
		;
		;
		;
		from the TEST_SYSTEM entity
		} then {
		the IUT entity sends a MbrMessage containing
		v2xPduEvidence containing
		v2xPdus containing
		subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX,
		observations indicating value MBR_OBSERVATIONS_CLASS2
		;
		;
		;
		to the MA entity
		}
		}
		} // End of TP_MBR_ITSS_SEND_MB_REPORT_002

		} // End of Group "send_mb_report"

		Group "security_mb_report" {

		import all from its_mbr_commons;

		Test Purpose {
		TP Id TP_MBR_ITSS_SEC_MB_REPORT_001

		Test objective
		"Ensure that the IUT generates a secured MB report containing the HeaderInfo field psid set to AID_MBR."

		Reference
		"ETSI TS 103 759 [3], Clauses 7.1"

		Config Id CFG_ITS_MBR_01_01

		PICS Selection PICS_IUT_ITS_S

		Initial conditions
		with {
		the IUT entity being_in the initial_state and,
		the IUT is authorized with AT certificate CERT_IUT_A_AT
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity is triggered to send a MbrMessage containing
		v2xPduEvidence containing
		v2xPdus containing
		subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX,
		observations indicating value MBR_OBSERVATIONS_CLASS1
		;
		;
		;
		from the TEST_SYSTEM entity
		} then {
		the IUT entity sends a message of type EtsiTs103097Data-SignedAndEncrypted containing
		protocolVersion indicating value 3,
		content containing
		encryptedData containing
		recipients containing,
		an instance of RecipientInfo containing
		certRecipInfo containing
		recipientId indicating value CERT_MA_HASGEDID8,
		encKey indicationg value MBR_ENC_KEY
		;
		;
		;
		cyphertext containing
		encrypted representation of a message of type EtsiTs103097Data-Signed
		;
		;
		;
		;
		to the MA entity
		}
		}
		} // End of TP_MBR_ITSS_SEC_MB_REPORT_001

		} // End of Group "security_mb_report"

		Group "forwarding_misbehvior_messages" {

		import all from its_mbr_commons;

		Test Purpose {
		TP Id TP_MBR_ITSS_FORWARDING_MB_REPORT_001

		Test objective
		"Ensure that the IUT forwards a received MB report."

		Reference
		"ETSI TS 103 759 [3], Clause 5"

		Config Id CFG_ITS_MBR_02

		PICS Selection PICS_IUT_RSU

		Initial conditions
		with {
		the IUT entity being_in the initial_state
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity received a MbrMessage
		from the ITS_S entity
		} then {
		the IUT entity forwards the MbrMessage
		to the MA entity
		}
		}
		} // End of TP_MBR_ITSS_FORWARDING_MB_REPORT_001

		} // End of Group "detect_misbehvior_messages"

		Group "detect_misbehvior_messages" {

		import all from its_mbr_commons;

		Test Purpose {
		TP Id TP_MBR_ITSS_DETECT_MB_REPORT_001

		Test objective
		"Ensure that the IUT generates a MB report when receiving non coherent CAM/DENM messages from the same StationID."

		Reference
		"ETSI TS 103 759 [3], Clauses 4.2.3, D.1 Individual detectors for CAMs"

		Config Id CFG_ITS_MBR_01_01

		PICS Selection PICS_IUT_ITS_S and PICS_RADIO_G5

		Initial conditions
		with {
		the IUT entity being_in the initial_state and,
		the IUT is configured to trigger a MbrMessage after PX_SUBJECT_PDU_INDEX class1 CA message
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity received PX_SUBJECT_PDU_INDEX CA message containing
		StationID indicating value PX_STATIONID,
		Position indicating PX_IMPLAUSIBLE_POSITION_1
		;
		from the TEST_SYSTEM entity
		} then {
		the IUT entity sends a MbrMessage containing
		v2xPduEvidence containing
		v2xPdus containing
		subjectPduIndex indicating value PX_SUBJECT_PDU_INDEX,
		observations containing
		CA message containing
		StationID indicating value PX_STATIONID,
		Position indicating PX_IMPLAUSIBLE_POSITION_1
		;
		;
		;
		;
		;
		to the MA entity
		}
		}
		} // End of TP_MBR_ITSS_DETECT_MB_REPORT_001

		} // End of Group "detect_misbehvior_messages"

		} // End of Package itss