Fix: https://forge.etsi.org/rep/mec/gs032p2-test-purposes/issues/6 - Syntax... (3d46e45e) · Commits · MEC - Multi-access Edge Computing / MEC API Test Purposes

Test Purposes/MEC015/SRV/MTS/MultiAccessTrafficSteering.tplan2

+7 −55

Original line number	Diff line number	Diff line
		@@ -538,9 +538,8 @@ Package MEC_MEC015_SRV_MTS {
		ensure that {
		when {
		the IUT entity receives a vPUT containing
		uri indicating value "mts/v1/mts_sessions",
		query_parameters containing
		sessionId indicating value MTS_SESSION_ID,
		uri indicating value "mts/v1/mts_sessions/{sessionId}",
		query_parameters indicating value MTS_SESSION_ID,
		body containing
		mtsSessionInfo containing
		appInsId indicating value APP_INSTANCE_ID,
		@@ -599,10 +598,9 @@ Package MEC_MEC015_SRV_MTS {
		ensure that {
		when {
		the IUT entity receives a vPUT containing
		uri indicating value "mts/v1/mts_sessions",
		uri indicating value "mts/v1/mts_sessions/{sessionId}",
		// Wrong parameter name should trigger an error response.
		query_parameters containing
		sessionId indicating value MTS_SESSION_ID,
		query_parameters indicating value MTS_SESSION_ID,
		body containing
		mtsSessionInfo containing
		appInsId indicating value APP_INSTANCE_ID,
		@@ -654,9 +652,8 @@ Package MEC_MEC015_SRV_MTS {
		ensure that {
		when {
		the IUT entity receives a vPUT containing
		uri indicating value "mts/v1/mts_sessions",
		query_parameters containing
		sessionId indicating value MTS_UNKNOWN_SESSION_ID,
		uri indicating value "mts/v1/mts_sessions/{sessionId}",
		query_parameters indicating value MTS_UNKNOWN_SESSION_ID,
		body containing
		mtsSessionInfo containing
		appInsId indicating value APP_INSTANCE_ID,
		@@ -725,51 +722,6 @@ Package MEC_MEC015_SRV_MTS {
		}


		Test Purpose {
		TP Id "TP_MEC_MEC015_SRV_MTS_006_BR"

		Test objective
		"Check that the IUT responds with an error when
		a request with incorrect parameters is sent by a MEC Application"

		Reference "ETSI GS MEC 015 V2.1.1, clause 9.4.3.3",
		"https://forge.etsi.org/rep/mec/gs015-bandwith-mgmt-api/blob/master/BwManagementApi.yaml"

		Config Id Config_MEC_1

		PICS Selection PIC_MEC_PLAT and PIC_SERVICES

		Initial conditions with {
		the IUT entity being_in idle_state and
		the MEC_APP entity having a mtsSessionInfo containing
		sessionId indicating value MTS_SESSION_ID
		;
		}

		// MEC 015 Clause 7.2.5
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vDELETE containing
		uri indicating value "mts/v1/mts_sessions",
		query_parameters containing
		// Wrong parameter name should trigger an error response.
		sessionId indicating value MTS_SESSION_ID
		;
		;
		from the MEC_APP entity
		}
		then {
		// MEC 015 Clause 8.3.3.2
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "400 Bad Request"
		;
		to the MEC_APP entity
		}
		}
		}


		Test Purpose {
		TP Id "TP_MEC_MEC015_SRV_MTS_006_NF"

		@@ -796,7 +748,7 @@ Package MEC_MEC015_SRV_MTS {
		ensure that {
		when {
		the IUT entity receives a vDELETE containing
		uri indicating value "mts/v1/mts_sessions",
		uri indicating value "mts/v1/mts_sessions/{sessionId}",
		query_parameters containing
		sessionId indicating value MTS_UNKNOWN_SESSION_ID
		;

Test Purposes/MEC015/SRV/TM/TrafficManagement.tplan2

+12 −25

Original line number	Diff line number	Diff line
		@@ -39,7 +39,6 @@ Package MEC_MEC015_SRV_TM {
		Initial conditions with {
		the IUT entity being_in idle_state and
		the MEC_APP entity having a oneOrmore bwInfo
		;
		}

		// MEC 015 Clause 6.2.5
		@@ -592,10 +591,8 @@ Package MEC_MEC015_SRV_TM {
		ensure that {
		when {
		the IUT entity receives a vPUT containing
		uri indicating value "bwm/v1/bw_allocations",
		query_parameters containing
		allocationId indicating value BW_ALLOCATION_ID
		;
		uri indicating value "bwm/v1/bw_allocations/{allocationId}",
		query_parameters indicating value BW_ALLOCATION_ID,
		body containing
		bwInfo containing
		appInsId indicating value APP_INSTANCE_ID,
		@@ -650,10 +647,8 @@ Package MEC_MEC015_SRV_TM {
		ensure that {
		when {
		the IUT entity receives a vPUT containing
		uri indicating value "bwm/v1/bw_allocations",
		query_parameters containing
		allocationId indicating value BW_ALLOCATION_ID
		;
		uri indicating value "bwm/v1/bw_allocations/{allocationId}",
		query_parameters indicating value BW_ALLOCATION_ID,
		body containing
		bwInfo containing
		appInsId indicating value APP_INSTANCE_ID,
		@@ -701,10 +696,8 @@ Package MEC_MEC015_SRV_TM {
		ensure that {
		when {
		the IUT entity receives a vPUT containing
		uri indicating value "bwm/v1/bw_allocations",
		query_parameters containing
		allocationId indicating value BW_UNKNOWN_ALLOCATION_ID
		;
		uri indicating value "bwm/v1/bw_allocations/{allocationId}",
		query_parameters indicating value BW_UNKNOWN_ALLOCATION_ID,
		body containing
		bwInfo containing
		appInsId indicating value APP_INSTANCE_ID,
		@@ -753,10 +746,8 @@ Package MEC_MEC015_SRV_TM {
		ensure that {
		when {
		the IUT entity receives a vPATCH containing
		uri indicating value "bwm/v1/bw_allocations",
		query_parameters containing
		allocationId indicating value BW_ALLOCATION_ID
		;
		uri indicating value "bwm/v1/bw_allocations/{allocationId}",
		query_parameters indicating value BW_ALLOCATION_ID,
		body containing
		bwInfoDeltas containing
		appInsId indicating value APP_INSTANCE_ID,
		@@ -811,10 +802,8 @@ Package MEC_MEC015_SRV_TM {
		ensure that {
		when {
		the IUT entity receives a vPATCH containing
		uri indicating value "bwm/v1/bw_allocations",
		query_parameters containing
		allocationId indicating value BW_ALLOCATION_ID
		;
		uri indicating value "bwm/v1/bw_allocations/{allocationId}",
		query_parameters indicating value BW_ALLOCATION_ID,
		body containing
		bwInfo containing
		appInsId indicating value APP_INSTANCE_ID,
		@@ -863,10 +852,8 @@ Package MEC_MEC015_SRV_TM {
		ensure that {
		when {
		the IUT entity receives a vPATCH containing
		uri indicating value "bwm/v1/bw_allocations",
		query_parameters containing
		allocationId indicating value BW_UNKNOWN_ALLOCATION_ID
		;
		uri indicating value "bwm/v1/bw_allocations/{allocationId}",
		query_parameters indicating value BW_UNKNOWN_ALLOCATION_ID,
		body containing
		bwInfo containing
		appInsId indicating value APP_INSTANCE_ID,

Test Purposes/MEC030/SRV/V2XInformationService.tplan2

+28 −117

Original line number	Diff line number	Diff line
		@@ -843,7 +843,7 @@ Package MEC_MEC030_SRV_V2X {
		subscriptionType indicating value "ProvChgUuUniSubscription"
		;
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -897,7 +897,7 @@ Package MEC_MEC030_SRV_V2X {
		subscriptionType indicating value "ProvChgUuMbmsSubscription"
		;
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -952,7 +952,7 @@ Package MEC_MEC030_SRV_V2X {
		;
		;
		;
		;
		;;
		to the MEC_APP entity
		}
		}
		@@ -1005,7 +1005,7 @@ Package MEC_MEC030_SRV_V2X {
		subscriptionType indicating value "V2xMsgSubscription"
		;
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -1060,52 +1060,6 @@ Package MEC_MEC030_SRV_V2X {
		}


		Test Purpose {
		TP Id "TP_MEC_MEC030_SRV_V2X_006_NF"

		Test objective
		"Check that the IUT responds with an error when
		a request with incorrect parameters is sent by a MEC Application"

		Reference "ETSI GS MEC 030 V2.1.1, clause 7.8.3.1",
		"https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml"

		Config Id Config_MEC_1

		PICS Selection PIC_MEC_PLAT and PIC_SERVICES

		Initial conditions with {
		the IUT entity being_in idle_state and
		the IUT entity having a provChgUuUniSubscription containing
		_links containing
		self indicating value HREF_UU_UNI_SUBSCRIPTION
		;
		;
		}

		// MEC 030 Clause 6.3.2 Type: ProvChgUuUniSubscription
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "vis/v1/subscriptions",
		query_parameters containing
		prov_chg_uu_uni indicating value PROV_CHG_UU_UNI_UNKNOWN
		;
		;
		from the MEC_APP entity
		}
		then {
		// MEC 030 Clause 7.8.3.1
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "404 Not Found"
		;
		to the MEC_APP entity
		}
		}
		}


		Test Purpose {
		TP Id "TP_MEC_MEC030_SRV_V2X_007_OK_01"

		@@ -1150,7 +1104,7 @@ Package MEC_MEC030_SRV_V2X {
		filterCriteria indicating value FILTER_UU_UNI_CRITERIA,
		_links indicating value HREF_UU_UNI_SUBSCRIPTION
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -1202,7 +1156,7 @@ Package MEC_MEC030_SRV_V2X {
		filterCriteria indicating value FILTER_UU_MBMS_CRITERIA,
		_links indicating value HREF_UU_MBMS_SUBSCRIPTION
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -1254,7 +1208,7 @@ Package MEC_MEC030_SRV_V2X {
		filterCriteria indicating value FILTER_PC5_CRITERIA,
		_links indicating value HREF_PC5_SUBSCRIPTION
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -1306,7 +1260,7 @@ Package MEC_MEC030_SRV_V2X {
		filterCriteria indicating value FILTER_V2XMSG_CRITERIA,
		_links indicating value HREF_V2XMSG_SUBSCRIPTION
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -1404,7 +1358,7 @@ Package MEC_MEC030_SRV_V2X {
		filterCriteria indicating value FILTER_UU_UNI_CRITERIA,
		_links indicating value HREF_UU_UNI_SUBSCRIPTION
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -1458,7 +1412,7 @@ Package MEC_MEC030_SRV_V2X {
		filterCriteria indicating value FILTER_UU_MBMS_CRITERIA,
		_links indicating value HREF_UU_MBMS_SUBSCRIPTION
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -1512,7 +1466,7 @@ Package MEC_MEC030_SRV_V2X {
		filterCriteria indicating value FILTER_PC5_CRITERIA,
		_links indicating value HREF_PC5_SUBSCRIPTION
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -1566,7 +1520,7 @@ Package MEC_MEC030_SRV_V2X {
		filterCriteria indicating value FILTER_V2XMSG_CRITERIA,
		_links indicating value HREF_V2XMSG_SUBSCRIPTION
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -1696,7 +1650,7 @@ Package MEC_MEC030_SRV_V2X {
		ensure that {
		when {
		the IUT entity receives a vPUT containing
		uri indicating value "vis/v1/subscriptions",
		uri indicating value "vis/v1/subscriptions/{SubscriptionId}",
		body containing
		provChgUuUniSubscription containing
		subscriptionType indicating value "ProvChgUuUniSubscription",
		@@ -1719,7 +1673,7 @@ Package MEC_MEC030_SRV_V2X {
		filterCriteria indicating value FILTER_UU_UNI_CRITERIA_1,
		_links indicating value HREF_UU_UNI_SUBSCRIPTION
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -1755,7 +1709,7 @@ Package MEC_MEC030_SRV_V2X {
		ensure that {
		when {
		the IUT entity receives a vPUT containing
		uri indicating value "vis/v1/subscriptions",
		uri indicating value "vis/v1/subscriptions/{SubscriptionId}",
		body containing
		provChgUuMbmsSubscription containing
		subscriptionType indicating value "ProvChgUuMbmsSubscription",
		@@ -1778,7 +1732,7 @@ Package MEC_MEC030_SRV_V2X {
		filterCriteria indicating value FILTER_UU_MBMS_CRITERIA_1,
		_links indicating value HREF_UU_MBMS_SUBSCRIPTION
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -1814,7 +1768,7 @@ Package MEC_MEC030_SRV_V2X {
		ensure that {
		when {
		the IUT entity receives a vPUT containing
		uri indicating value "vis/v1/subscriptions",
		uri indicating value "vis/v1/subscriptions/{SubscriptionId}",
		body containing
		provChgPc5Subscription containing
		subscriptionType indicating value "ProvChgPc5Subscription",
		@@ -1837,7 +1791,7 @@ Package MEC_MEC030_SRV_V2X {
		filterCriteria indicating value FILTER_PC5_CRITERIA_1,
		_links indicating value HREF_PC5_SUBSCRIPTION
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -1873,7 +1827,7 @@ Package MEC_MEC030_SRV_V2X {
		ensure that {
		when {
		the IUT entity receives a vPUT containing
		uri indicating value "vis/v1/subscriptions",
		uri indicating value "vis/v1/subscriptions/{SubscriptionId}",
		body containing
		v2xMsgSubscription containing
		subscriptionType indicating value "ProvChgPc5Subscription",
		@@ -1896,7 +1850,7 @@ Package MEC_MEC030_SRV_V2X {
		filterCriteria indicating value FILTER_V2XMSG_CRITERIA_1,
		_links indicating value HREF_V2XMSG_SUBSCRIPTION
		;
		;
		;;
		;
		to the MEC_APP entity
		}
		@@ -1932,7 +1886,7 @@ Package MEC_MEC030_SRV_V2X {
		ensure that {
		when {
		the IUT entity receives a vPUT containing
		uri indicating value "vis/v1/subscriptions",
		uri indicating value "vis/v1/subscriptions/{SubscriptionId}",
		body containing
		provChgUuUniSubscription containing
		subscriptionType indicating value "InvalidProvChgUuUniSubscription", // Invalid SubscriptionType
		@@ -1983,13 +1937,13 @@ Package MEC_MEC030_SRV_V2X {
		ensure that {
		when {
		the IUT entity receives a vPUT containing
		uri indicating value "vis/v1/subscriptions",
		uri indicating value "vis/v1/subscriptions/{InvalidSubscriptionId}",
		body containing
		provChgUuUniSubscription containing
		subscriptionType indicating value "ProvChgUuUniSubscription",
		callbackReference indicating value CALLBACK_UU_UNI_SUBSCRIPTION,
		filterCriteria indicating value FILTER_UU_UNI_CRITERIA_1,
		_links indicating value HREF_UU_UNI_UNKNOWN_SUBSCRIPTION
		_links indicating value HREF_UU_UNI_SUBSCRIPTION
		;
		;
		;
		@@ -2178,49 +2132,6 @@ Package MEC_MEC030_SRV_V2X {
		}


		Test Purpose {
		TP Id "TP_MEC_MEC030_SRV_V2X_010_BR"

		Test objective
		"Check that the IUT responds with the requested of updating subscription
		when queried by a MEC Application"

		Reference "ETSI GS MEC 030 V2.1.1, clause 7.9.3.2",
		"https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml"

		Config Id Config_MEC_1

		PICS Selection PIC_MEC_PLAT and PIC_SERVICES

		Initial conditions with {
		the IUT entity being_in idle_state and
		the IUT entity having a provChgUuUniSubscription containing
		_links containing
		self indicating value HREF_UU_UNI_SUBSCRIPTION
		;
		;
		}

		// MEC 030 Clause 6.3.2 Type: ProvChgUuUniSubscription
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vDELETE containing
		uri indicating value "vis/v1/subscriptions"
		;
		from the MEC_APP entity
		}
		then {
		// MEC 030 Clause 7.9.3.2
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "400 Bad Request"
		;
		to the MEC_APP entity
		}
		}
		}


		Test Purpose {
		TP Id "TP_MEC_MEC030_SRV_V2X_010_NF"