Start TC implementation fo Node I2 (91405eb2) · Commits · CDM - Common information sharing environment and Data Model / CISE Data Model

test-purposes/AtsCise/AtsCise.tplan2

+258 −6

Original line number	Diff line number	Diff line
		@@ -960,7 +960,7 @@ Package CISE {
		TP Id "TP_CDM_NODE_PULL_REQ_BV_02_01"

		Test objective
		"Check that the IUT responds with an HTTP 200 OK Acknowledgment response when receiving a PullRequest"
		"Check that the IUT responds with an HTTP 200 OK Acknowledgment response when receiving a PullRequest for ActionService"

		Reference
		"ETSI GS CDM 004 [1] Clause 5.4.2 Pull",
		@@ -1011,7 +1011,7 @@ Package CISE {
		Priority indicating value High,
		Location indicating value VESSEL_LOCATION,
		Agent containing
		identifier indicating value AGENT_UNKNOWN_IDENTIFIER;;;,
		identifier indicating value AGENT_IDENTIFIER;;;,
		PullType indicating value Request,
		ResponseTimeOut indicating value RESPONSE_TIMEOUT,
		Signature indicating value any_value;;;
		@@ -1093,7 +1093,7 @@ Package CISE {
		Priority indicating value High,
		Location indicating value VESSEL_LOCATION,
		Agent containing
		identifier indicating value AGENT_UNKNOWN_IDENTIFIER;;;,
		identifier indicating value AGENT_IDENTIFIER;;;,
		PullType indicating value Request,
		ResponseTimeOut indicating value RESPONSE_TIMEOUT,
		Signature indicating value any_value;;;
		@@ -2524,7 +2524,7 @@ Package CISE {
		Priority indicating value High,
		Location indicating value VESSEL_LOCATION,
		Agent containing
		identifier indicating value AGENT_UNKNOWN_IDENTIFIER;;;,
		identifier indicating value AGENT_IDENTIFIER;;;,
		PullType indicating value Request,
		ResponseTimeOut indicating value RESPONSE_TIMEOUT,
		Signature indicating value any_value;;;
		@@ -6512,7 +6512,7 @@ Package CISE {
		Priority indicating value High,
		Location indicating value VESSEL_LOCATION,
		Agent containing
		identifier indicating value AGENT_UNKNOWN_IDENTIFIER;;;,
		identifier indicating value AGENT_IDENTIFIER;;;,
		Reliability indicating value HighReliability,
		Signature indicating value any_value;;;
		from the ADAPTER entity
		@@ -7540,7 +7540,7 @@ Package CISE {
		Priority indicating value High,
		Location indicating value VESSEL_LOCATION,
		Agent containing
		identifier indicating value AGENT_UNKNOWN_IDENTIFIER;;;,
		identifier indicating value AGENT_IDENTIFIER;;;,
		Signature indicating value any_value,
		FeedbackType indicating value Info,
		Reason indicating value ShipTypeChange,
		@@ -8449,6 +8449,258 @@ Package CISE {

		} // End of Group "vessel_service"

		Group "action_service" {

		import all from CISE_Common;

		Test Purpose {
		TP Id "TP_CDM_NODE_I2_PULL_REQ_BV_02"

		Test objective
		"Check that the IUT sends a PullRequest to the GatewayProvider when receiving a PullRequest for a ActionService"

		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",
		"ETSI GS CDM 005 [2] Clause 7.1.20 Action Core Entity"

		Config Id Config_CISE_1

		PICS Selection IUT_CDM_NODE and CDM_PULL_REQUEST and CDM_ACTION_SERVICE

		Initial conditions with {
		the IUT entity isInIdleState and
		the IUT entity not havingRegistered a GATEWAY_PROVIDER and
		the IUT entity not havingRegistered a action containing
		IMONumber indicating value ACTION_IMO_NUMBER,
		Name indicating value ACTION_NAME,
		Location indicating value ACTION_LOCATION,
		ShipType indicating value ACTION_SHIP_TYPE;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value URI_PULL_REQUEST_GET,
		body containing
		vPullRequest containing
		MessageID indicating value MESSAGE_ID,
		CorrelationID indicating value CORRELATION_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,
		ServiceType indicating value actionService;,
		Recipient containing
		ServiceID indicating value SERVICE_ID,
		ServiceOperation indicating value Pull;,
		Payload containing
		Action containing
		ActionType indicating value "Rescue",
		ActionStatus indicating value "InProgress",
		Mission indicating value "", // FIXME
		Priority indicating value High,
		Location indicating value VESSEL_LOCATION,
		Agent containing
		identifier indicating value AGENT_IDENTIFIER;;;,
		PullType indicating value Request,
		ResponseTimeOut indicating value RESPONSE_TIMEOUT,
		Signature indicating value any_value;;;
		from the ADAPTER entity
		}
		then {
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "200 OK"
		body containing
		vAcknwoledgment containing
		MessageID indicating value MESSAGE_ID,
		CorrelationID indicating value CORRELATION_ID,
		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;,
		AckCode indicating value Success,
		Signature indicating value any_value;;;
		to the ADAPTER entity and
		the IUT entity sends a vGET containing
		uri indicating value URI_PULL_REQUEST_GET,
		body containing
		vPullRequest containing
		MessageID indicating value MESSAGE_ID_1,
		CorrelationID indicating value CORRELATION_ID,
		CreationDateTime indicating value CURRENT_TIME_1,
		Priority indicating value PRIORITY,
		RequiresAck indicating value false,
		Sender containing
		ServiceID indicating value SERVICE_ID,
		ServiceOperation indicating value Pull,
		ServiceType indicating value actionService;,
		Recipient containing
		ServiceID indicating value SERVICE_ID,
		ServiceOperation indicating value Pull;,
		Payload containing
		Action containing
		ActionType indicating value "Rescue",
		ActionStatus indicating value "InProgress",
		Mission indicating value "", // FIXME
		Priority indicating value High,
		Location indicating value VESSEL_LOCATION,
		Agent containing
		identifier indicating value AGENT_IDENTIFIER;;;,
		PullType indicating value Request,
		ResponseTimeOut indicating value RESPONSE_TIMEOUT,
		Signature indicating value any_value;;;
		to the GATEWAY_PROVIDER entity and
		the IUT entity sendsBeforeResponseTimerExpiry a HTTP_RESPONSE containing
		status_code set to "200 OK",
		body containing
		vPullResponse containing
		MessageID indicating value MESSAGE_ID,
		CorrelationID indicating value CORRELATION_ID,
		CreationDateTime indicating value CURRENT_TIME,
		Priority indicating value PRIORITY,
		RequiresAck indicating value false,
		ResultCode indicating value success,
		Signature indicating value any_value;;;
		to the ADAPTER entity
		}
		}
		} // End of TP_CDM_NODE_I2_PULL_REQ_BV_02

		} // End of Group "action_service"

		Group "anomaly_service" {

		import all from CISE_Common;

		Test Purpose {
		TP Id "TP_CDM_NODE_I2_PULL_REQ_BV_03"

		Test objective
		"Check that the IUT sends a PullRequest to the GatewayProvider when receiving a PullRequest for a AnomalyService"

		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",
		"ETSI GS CDM 005 [2] Clause 7.1.20 Anomaly Core Entity"

		Config Id Config_CISE_1

		PICS Selection IUT_CDM_NODE and CDM_PULL_REQUEST and CDM_ANOMALY_SERVICE

		Initial conditions with {
		the IUT entity isInIdleState and
		the IUT entity not havingRegistered a GATEWAY_PROVIDER and
		the IUT entity not havingRegistered a anomaly containing
		IMONumber indicating value ANOMALY_IMO_NUMBER,
		Name indicating value ANOMALY_NAME,
		Location indicating value ANOMALY_LOCATION,
		ShipType indicating value ANOMALY_SHIP_TYPE;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value URI_PULL_REQUEST_GET,
		body containing
		vPullRequest containing
		MessageID indicating value MESSAGE_ID,
		CorrelationID indicating value CORRELATION_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,
		ServiceType indicating value anomalyService;,
		Recipient containing
		ServiceID indicating value SERVICE_ID,
		ServiceOperation indicating value Pull;,
		Payload containing
		Anomaly containing
		AnomalyType indicating value "VesselOutOfTrafficLanes",
		NatureType indicating value "Observed",
		Location indicating value VESSEL_LOCATION,
		Agent containing
		identifier indicating value AGENT_IDENTIFIER;;;,
		PullType indicating value Request,
		ResponseTimeOut indicating value RESPONSE_TIMEOUT,
		Signature indicating value any_value;;;
		from the ADAPTER entity
		}
		then {
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "200 OK"
		body containing
		vAcknwoledgment containing
		MessageID indicating value MESSAGE_ID,
		CorrelationID indicating value CORRELATION_ID,
		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;,
		AckCode indicating value Success,
		Signature indicating value any_value;;;
		to the ADAPTER entity and
		the IUT entity sends a vGET containing
		uri indicating value URI_PULL_REQUEST_GET,
		body containing
		vPullRequest containing
		MessageID indicating value MESSAGE_ID_1,
		CorrelationID indicating value CORRELATION_ID,
		CreationDateTime indicating value CURRENT_TIME_1,
		Priority indicating value PRIORITY,
		RequiresAck indicating value false,
		Sender containing
		ServiceID indicating value SERVICE_ID,
		ServiceOperation indicating value Pull,
		ServiceType indicating value anomalyService;,
		Recipient containing
		ServiceID indicating value SERVICE_ID,
		ServiceOperation indicating value Pull;,
		Payload containing
		Anomaly containing
		AnomalyType indicating value "VesselOutOfTrafficLanes",
		NatureType indicating value "Observed",
		Location indicating value VESSEL_LOCATION,
		Agent containing
		identifier indicating value AGENT_IDENTIFIER;;;,
		PullType indicating value Request,
		ResponseTimeOut indicating value RESPONSE_TIMEOUT,
		Signature indicating value any_value;;;
		to the GATEWAY_PROVIDER entity and
		the IUT entity sendsBeforeResponseTimerExpiry a HTTP_RESPONSE containing
		status_code set to "200 OK",
		body containing
		vPullResponse containing
		MessageID indicating value MESSAGE_ID,
		CorrelationID indicating value CORRELATION_ID,
		CreationDateTime indicating value CURRENT_TIME,
		Priority indicating value PRIORITY,
		RequiresAck indicating value false,
		ResultCode indicating value success,
		Signature indicating value any_value;;;
		to the ADAPTER entity
		}
		}
		} // End of TP_CDM_NODE_I2_PULL_REQ_BV_03

		} // End of Group "action_service"

		} // End of Group "pull_request"

		Group "pull_request_multicast" {

Admin message