Move Security group (2b258252) · Commits · CDM - Common information sharing environment and Data Model / CISE Data Model

test-purposes/AtsCise/AtsCise.tplan2

+621 −617

Original line number	Diff line number	Diff line
		@@ -115,7 +115,12 @@ Package CISE {
		PICS Selection PICS_IUT_CDM_NODE and PICS_CDM_PULL_REQUEST and PICS_CDM_VESSEL_SERVICE

		Initial conditions with {
		the IUT entity isInIdleState
		the IUT entity isInIdleState and
		the IUT entity havingRegistered a vessel containing
		IMONumber indicating value VESSEL_IMO_NUMBER,
		Name indicating value VESSEL_NAME,
		Location indicating value VESSEL_LOCATION,
		ShipType indicating value VESSEL_SHIP_TYPE;
		}

		Expected behaviour
		@@ -1786,9 +1791,7 @@ Package CISE {
		}
		} // End of TP_CDM_NODE_PULL_REQ_BV_02_01

		// Add TP with responseTimeout
		// Add TP with filtering
		// TODO Add TP with ResultCode set to not success - Wrong organization, unsupported service
		// TODO With Acknowledgment

		} // End of Group "cargo_service"

		@@ -2177,6 +2180,95 @@ Package CISE {

		} // End of Group "push-notify"

		} // End of Group "cise_nod_i1"

		Group "cise_nod_i2" {

		} // End of Group "cise_nod_i2"

		Group "cise_adaptor" {

		Group "pull_request" {

		import all from CISE_Common;

		Test Purpose {
		TP Id "TP_CDM_ADAPTOR_PULL_REQ_BV_01"

		Test objective
		"Check that the IUT sends with a PullRequest for vessels with discovery based on sea basin when triggered"

		Reference
		"ETSI GS CDM 004 [1] Clause 5.4.2 Pull",
		"ETSI GS CDM 004 [1] Clause 8.1.3 Pull (Request/Response)",
		"ETSI GS CDM 004 [1] Clause 8.1.4 Pull Request Querying Mechanism"

		Config Id Config_CISE_1

		PICS Selection PICS_IUT_CDM_ADAPTOR and PICS_CDM_PULL_REQUEST and PICS_CDM_VESSEL_SERVICE

		Initial conditions with {
		the IUT entity isInIdleState
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity isTriggeredToSend a PullRequest containing
		Vessel containing
		IMONumber indicating value VESSEL_IMO_NUMBER,
		Name indicating value VESSEL_NAME,
		Location indicating value VESSEL_LOCATION,
		ShipType indicating value VESSEL_SHIP_TYPE
		// TODO Color is a mandatory field
		// TODO ExternalMarkings is a mandatory field
		// TODO Metadata is a mandatory field
		// TODO InvolvedEventRel is a mandatory field
		// TODO DocumentRel is a mandatory field
		// TODO VehiclesRel is a mandatory field
		;;
		from the ADAPTER entity
		}
		then {
		the IUT entity sends a HTTP_REQUEST containing
		uri indicating value URI_PULL_REQUEST_GET,
		body containing
		vPullRequest containing
		MessageID indicating value MESSAGE_ID,
		CorrelationID indicating value CORELATION_ID,
		CreationDateTime indicating value CURRENT_TIME,
		Priority indicating value PRIORITY,
		RequiresAck indicating value false,
		Sender containing
		ServiceID indicating value SERVICE_ID,
		ServiceOperation indicating value Pull;,
		Recipient containing
		ServiceID indicating value SERVICE_ID,
		ServiceOperation indicating value Pull;;,
		Payload containing
		Vessel containing
		IMONumber indicating value VESSEL_IMO_NUMBER,
		Name indicating value VESSEL_NAME,
		Location indicating value VESSEL_LOCATION,
		ShipType indicating value VESSEL_SHIP_TYPE
		// TODO Color is a mandatory field
		// TODO ExternalMarkings is a mandatory field
		// TODO Metadata is a mandatory field
		// TODO InvolvedEventRel is a mandatory field
		// TODO DocumentRel is a mandatory field
		// TODO VehiclesRel is a mandatory field
		;;,
		PullType indicating value Request,
		Signature indicating value any_value;;
		to the NODE entity
		}
		}
		} // End of TP_CDM_ADAPTOR_PULL_REQ_BV_01_01

		} // End of Group "pull_request"

		}

		Group "security" {

		import all from CISE_Common;
		@@ -2786,93 +2878,5 @@ Package CISE {

		} // End of Group "security"

		} // End of Group "cise_nod_i1"

		Group "cise_nod_i2" {

		} // End of Group "cise_nod_i2"

		Group "cise_adaptor" {

		Group "pull_request" {

		import all from CISE_Common;

		Test Purpose {
		TP Id "TP_CDM_ADAPTOR_PULL_REQ_BV_01"

		Test objective
		"Check that the IUT sends with a PullRequest for vessels with discovery based on sea basin when triggered"

		Reference
		"ETSI GS CDM 004 [1] Clause 5.4.2 Pull",
		"ETSI GS CDM 004 [1] Clause 8.1.3 Pull (Request/Response)",
		"ETSI GS CDM 004 [1] Clause 8.1.4 Pull Request Querying Mechanism"

		Config Id Config_CISE_1

		PICS Selection PICS_IUT_CDM_ADAPTOR and PICS_CDM_PULL_REQUEST and PICS_CDM_VESSEL_SERVICE

		Initial conditions with {
		the IUT entity isInIdleState
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity isTriggeredToSend a PullRequest containing
		Vessel containing
		IMONumber indicating value VESSEL_IMO_NUMBER,
		Name indicating value VESSEL_NAME,
		Location indicating value VESSEL_LOCATION,
		ShipType indicating value VESSEL_SHIP_TYPE
		// TODO Color is a mandatory field
		// TODO ExternalMarkings is a mandatory field
		// TODO Metadata is a mandatory field
		// TODO InvolvedEventRel is a mandatory field
		// TODO DocumentRel is a mandatory field
		// TODO VehiclesRel is a mandatory field
		;;
		from the ADAPTER entity
		}
		then {
		the IUT entity sends a HTTP_REQUEST containing
		uri indicating value URI_PULL_REQUEST_GET,
		body containing
		vPullRequest containing
		MessageID indicating value MESSAGE_ID,
		CorrelationID indicating value CORELATION_ID,
		CreationDateTime indicating value CURRENT_TIME,
		Priority indicating value PRIORITY,
		RequiresAck indicating value false,
		Sender containing
		ServiceID indicating value SERVICE_ID,
		ServiceOperation indicating value Pull;,
		Recipient containing
		ServiceID indicating value SERVICE_ID,
		ServiceOperation indicating value Pull;;,
		Payload containing
		Vessel containing
		IMONumber indicating value VESSEL_IMO_NUMBER,
		Name indicating value VESSEL_NAME,
		Location indicating value VESSEL_LOCATION,
		ShipType indicating value VESSEL_SHIP_TYPE
		// TODO Color is a mandatory field
		// TODO ExternalMarkings is a mandatory field
		// TODO Metadata is a mandatory field
		// TODO InvolvedEventRel is a mandatory field
		// TODO DocumentRel is a mandatory field
		// TODO VehiclesRel is a mandatory field
		;;,
		PullType indicating value Request,
		Signature indicating value any_value;;
		to the NODE entity
		}
		}
		} // End of TP_CDM_ADAPTOR_PULL_REQ_BV_01_01

		} // End of Group "pull_request"

		}

		} // End of package CISE
		No newline at end of file