Update TPs (c5d74d0e) · Commits · CDM - Common information sharing environment and Data Model / CISE Data Model

test-purposes/AtsCise/AtsCise.tplan2

+219 −2

Original line number	Original line	Diff line number	Diff line
	@@ -12,7 +12,7 @@ Package CISE {
	import all from CISE_Common;		import all from CISE_Common;

	Test Purpose {		Test Purpose {
	TP Id "TP_CDM_NODE_PULL_REQ_BV_01"		TP Id "TP_CDM_NODE_PULL_REQ_BV_01_01"

	Test objective		Test objective
	"Check that the IUT responds with an HTPP 200 OK Acknowledgment response when receiving a PullRequest from a known peer with a list of vessels in specified basin - no Acknowledgment required"		"Check that the IUT responds with an HTPP 200 OK Acknowledgment response when receiving a PullRequest from a known peer with a list of vessels in specified basin - no Acknowledgment required"
	@@ -122,7 +122,224 @@ Package CISE {
	to the ADAPTER entity		to the ADAPTER entity
	}		}
	}		}
	} // End of TP_CDM_NODE_PULL_REQ_BV_01		} // End of TP_CDM_NODE_PULL_REQ_BV_01_01

			Test Purpose {
			TP Id "TP_CDM_NODE_PULL_REQ_BV_01_02"

			Test objective
			"Check that the IUT responds with an HTPP 200 OK Acknowledgment response when receiving a PullRequest from a known peer with a list of vessels in specified basin - no Acknowledgment required"

			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_NODE and PICS_CDM_VESSEL_SERVICE

			Initial conditions with {
			the IUT entity isInIdleState
			}

			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 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 Colour 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,
			DiscoveryProfiles containing
			country indicating value COUNTRY
			;,
			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 CORELATION_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 HTTP_RESPONSE containing
			status_code set to "200 OK"
			body containing
			vPullResponse 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
			;,
			ResultCode indicating value success,
			Signature indicating value any_value
			;
			;
			;
			to the ADAPTER entity
			}
			}
			} // End of TP_CDM_NODE_PULL_REQ_BV_01_02

			Test Purpose {
			TP Id "TP_CDM_NODE_PULL_REQ_BV_02"

			Test objective
			"Check that the IUT responds with an HTPP 200 OK Acknowledgment response when receiving a PullRequest from a known peer with a list of cargos in specified basin - no Acknowledgment required"

			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_NODE and PICS_CDM_VESSEL_SERVICE

			Initial conditions with {
			the IUT entity isInIdleState
			}

			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 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
			Cargo containing
			CargoType indicating value CARGO_TYPE
			;
			;,
			PullType indicating value Request,
			DiscoveryProfiles containing
			seaBasin indicating value SEA_BASIN
			;,
			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 CORELATION_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 HTTP_RESPONSE containing
			status_code set to "200 OK"
			body containing
			vPullResponse 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
			;,
			ResultCode indicating value success,
			Signature indicating value any_value
			;
			;
			;
			to the ADAPTER entity
			}
			}
			} // End of TP_CDM_NODE_PULL_REQ_BV_02

	// Add TP with responseTimeout		// Add TP with responseTimeout
	// Add TP with filtering		// Add TP with filtering

test-purposes/cise-common.tplan2

+11 −6

Original line number	Original line	Diff line number	Diff line
	@@ -126,12 +126,6 @@ Package CISE_Common {
	// PIXITs		// PIXITs
	CDM_PRIORITY PRIORITY;		CDM_PRIORITY PRIORITY;
	CDM_SERVIDE_ID SERVICE_ID;		CDM_SERVIDE_ID SERVICE_ID;
	XSD_STRING IMO_NUMBER;
	XSD_STRING VESSEL_IMO_NUMBER;
	XSD_STRING VESSEL_NAME;
	CDM_LOCATION VESSEL_LOCATION;
	XSD_STRING VESSEL_SHIP_TYPE;
	XSD_STRING VESSEL_SERVICE_TYPE;
	XSD_STRING SIGNING_CERT_SUBJECT;		XSD_STRING SIGNING_CERT_SUBJECT;
	XSD_STRING EXPIRED_SIGNING_CERT_SUBJECT;		XSD_STRING EXPIRED_SIGNING_CERT_SUBJECT;
	XSD_STRING FUTURE_SIGNING_CERT_SUBJECT;		XSD_STRING FUTURE_SIGNING_CERT_SUBJECT;
	@@ -139,6 +133,17 @@ Package CISE_Common {
	XSD_STRING EXPIRED_SIGNING_CERT;		XSD_STRING EXPIRED_SIGNING_CERT;
	XSD_STRING FUTURE_SIGNING_CERT;		XSD_STRING FUTURE_SIGNING_CERT;
	XSD_STRING CORRUPTED_SIGNING_CERT;		XSD_STRING CORRUPTED_SIGNING_CERT;
			XSD_STRING SEA_BASIN;
			XSD_STRING COUNTRY;
			// Vessel
			XSD_STRING IMO_NUMBER;
			XSD_STRING VESSEL_IMO_NUMBER;
			XSD_STRING VESSEL_NAME;
			CDM_LOCATION VESSEL_LOCATION;
			XSD_STRING VESSEL_SHIP_TYPE;
			XSD_STRING VESSEL_SERVICE_TYPE;
			// Cargo
			XSD_STRING CARGO_TYPE;

	STRING URI_PULL_REQUEST_GET; // "/api/ui/messages/discovery/values"		STRING URI_PULL_REQUEST_GET; // "/api/ui/messages/discovery/values"
	STRING URI_SUBSCRIBE_GET; // TODO		STRING URI_SUBSCRIBE_GET; // TODO