MEC013 TPs review - Step 1 (3070a060) · Commits · MEC - Multi-access Edge Computing / MEC API Test Purposes

Test Purposes/MEC013/SRV/RLOCLOOK/PlatRadioNodeLocation.tplan2

+179 −88

Original line number	Diff line number	Diff line
		/*
		Copyright (c) ETSI 2018-2023.
		Released under BSD 3-clause license. For more information visit https://forge.etsi.org/legal-matters

		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 MEC_MEC013_SRV_RLOCLOOK {
		@@ -19,8 +29,10 @@ Package MEC_MEC013_SRV_RLOCLOOK {
		"Check that the IUT responds with the list of radio nodes currently associated with the MEC host and the location of each radio node
		when queried by a MEC Application"

		Reference "ETSI GS MEC 013 2.1.1, clause 7.3.7",
		"https://forge.etsi.org/gitlab/mec/gs013-location-api/blob/master/LocationAPI.yaml#/definitions/AccessPointList"
		Reference
		"ETSI GS MEC 013 3.1.1 Clause 5.3.7",
		"ETSI GS MEC 013 3.1.1 Clause 6.2.1",
		"ETSI GS MEC 013 3.1.1 Clause 7.9.3.1"

		Config Id Config_MEC_1

		@@ -29,28 +41,24 @@ Package MEC_MEC013_SRV_RLOCLOOK {
		Initial conditions with {
		the IUT entity being_in idle_state and
		the IUT entity having a ue_location containing
		zoneId indicating value ZONE_ID
		;
		zoneId indicating value ZONE_ID;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "location/v2/zones/{ZONE_ID}/accessPoints"
		;
		uri indicating value "location/v3/queries/zones/{ZONE_ID}/accessPoints";
		from the MEC_APP entity
		}
		then {
		// MEC 013, clause 7.3.7
		// MEC 013, clause 7.9.3.1
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "200 OK"
		body containing
		accessPointList containing
		zoneId set to ZONE_ID
		;
		;
		;
		accessPointInfo containing
		zoneId set to ZONE_ID;;;;
		to the MEC_APP entity
		}
		}
		@@ -65,8 +73,10 @@ Package MEC_MEC013_SRV_RLOCLOOK {
		a request for an URI that cannot be mapped to a valid resource URI
		is sent by a MEC Application"

		Reference "ETSI GS MEC 013 2.1.1, clause 7.3.7",
		"https://forge.etsi.org/gitlab/mec/gs013-location-api/blob/master/LocationAPI.yaml#/definitions/AccessPointList"
		Reference
		"ETSI GS MEC 013 3.1.1 Clause 5.3.7",
		"ETSI GS MEC 013 3.1.1 Clause 6.2.1",
		"ETSI GS MEC 013 3.1.1 Clause 7.9.3.1"

		Config Id Config_MEC_1

		@@ -75,25 +85,106 @@ Package MEC_MEC013_SRV_RLOCLOOK {
		Initial conditions with {
		the IUT entity being_in idle_state and
		the IUT entity not having a ue_location containing
		zoneId indicating value NON_EXISTENT_ZONE_ID
		;
		zoneId indicating value NON_EXISTENT_ZONE_ID;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "location/v2/zones/{NON_EXISTENT_ZONE_ID}/accessPoints"
		;
		uri indicating value "location/v3/zones/{NON_EXISTENT_ZONE_ID}/accessPoints";
		from the MEC_APP entity
		}
		then {
		// MEC 013, clause 7.3.7
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "404 Not Found"
		;
		status_code set to "404 Not Found";
		to the MEC_APP entity
		}
		}
		}


		Test Purpose {
		TP Id "TP_MEC_MEC013_SRV_RLOCLOOK_002_OK"

		Test objective
		"Check that the IUT responds with the radio nodes when queried by a MEC Application"

		Reference
		"ETSI GS MEC 013 3.1.1 Clause 5.3.7",
		"ETSI GS MEC 013 3.1.1 Clause 6.2.1",
		"ETSI GS MEC 013 3.1.1 Clause 7.10.3.1"

		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 ue_location containing
		zoneId indicating value ZONE_ID,
		accessPointId indicating value ACCESS_POINT_ID;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "location/v3/queries/zones/{ZONE_ID}/accessPoints/{ACCESS_POINT_ID}";
		from the MEC_APP entity
		}
		then {
		// MEC 013, clause 7.10.3.1
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "200 OK"
		body containing
		accessPointInfo containing
		zoneId indicating value ZONE_ID,
		accessPointId indicating value ACCESS_POINT_ID;;;
		to the MEC_APP entity
		}
		}
		}


		Test Purpose {
		TP Id "TP_MEC_MEC013_SRV_RLOCLOOK_002_NF"

		Test objective
		"Check that the IUT responds with an error when the radio nodes does not exist"

		Reference
		"ETSI GS MEC 013 3.1.1 Clause 5.3.7",
		"ETSI GS MEC 013 3.1.1 Clause 6.2.1",
		"ETSI GS MEC 013 3.1.1 Clause 7.10.3.1"

		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 not having a ue_location containing
		zoneId indicating value ZONE_ID,
		accessPointId indicating value NON_EXISTING_ACCESS_POINT_ID;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "location/v3/queries/zones/{ZONE_ID}/accessPoints/{NON_EXISTING_ACCESS_POINT_ID}";
		from the MEC_APP entity
		}
		then {
		// MEC 013, clause 7.10.3.1
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "404 Not Found";
		to the MEC_APP entity
		}
		}
		}


		}

Test Purposes/MEC013/SRV/UEAREALOOK/PlatUeAreaLookup.tplan2

0 → 100644

+250 −0

Original line number	Diff line number	Diff line
		/*
		Copyright (c) ETSI 2018-2023.

		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 MEC_MEC013_SRV_UEAREALOOK {

		import all from MEC_Common;


		/*
		* UE Area Subscribe (UEAREALOOK)
		*/

		Test Purpose {
		TP Id "TP_MEC_MEC013_SRV_UEAREALOOK_001_OK_01"

		Test objective
		"Check that the IUT responds with a list of UE area subscriptions when queried by a MEC Application - No filter"

		Reference
		"ETSI GS MEC 013 3.1.1 Clause 5.3.2",
		"ETSI GS MEC 013 3.1.1 Clause 6.3.3",
		"ETSI GS MEC 013 3.1.1 Clause 7.16.3.1"

		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 subscriptions containing
		subscriptionType indicating value "UserAreaSubscription",
		subscriptionId indicating value SUBSCRIPTION_ID,
		_links containing
		self indicating value LINKS_SELF;;
		}

		// MEC 013, clause 5.3.2
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "location/v3/subscriptions/area";
		from the MEC_APP entity
		}
		then {
		// MEC 013, clause 7.16.3.4
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "200 OK"
		body containing
		notificationSubscriptionList containing
		subscription containing
		href indicating value any_value,
		subscriptionType indicating value "UserAreaSubscription";,
		resourceURL indicating value LINKS_SELF;;;
		to the MEC_APP entity
		}
		}
		}


		Test Purpose {
		TP Id "TP_MEC_MEC013_SRV_UEAREALOOK_001_OK_02"

		Test objective
		"Check that the IUT responds with a list of UE area subscriptions when queried by a MEC Application - Event filter"

		Reference
		"ETSI GS MEC 013 3.1.1 Clause 5.3.2",
		"ETSI GS MEC 013 3.1.1 Clause 6.3.3",
		"ETSI GS MEC 013 3.1.1 Clause 7.16.3.1"

		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 subscriptions containing
		subscriptionId indicating value SUBSCRIPTION_ID,
		_links containing
		self indicating value LINKS_SELF;;
		}

		// MEC 013, clause 5.3.2
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "location/v3/subscriptions/area",
		query_parameters containing
		subscription_type indicating value "event";;
		from the MEC_APP entity
		}
		then {
		// MEC 013, clause 7.16.3.4
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "200 OK"
		body containing
		notificationSubscriptionList containing
		subscription containing
		href indicating value any_value,
		subscriptionType indicating value "UserAreaSubscription";,
		resourceURL indicating value LINKS_SELF;;;
		to the MEC_APP entity
		}
		}
		}


		Test Purpose {
		TP Id "TP_MEC_MEC013_SRV_UEAREALOOK_001_BR"

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

		Reference
		"ETSI GS MEC 013 3.1.1 Clause 5.3.2",
		"ETSI GS MEC 013 3.1.1 Clause 6.3.8",
		"ETSI GS MEC 013 3.1.1 Clause 6.4.8",
		"ETSI GS MEC 013 3.1.1 Clause 7.16.3.4"

		Config Id Config_MEC_1

		PICS Selection PIC_MEC_PLAT and PIC_SERVICES

		Initial conditions with {
		the IUT entity being_in idle_state
		}

		// MEC 013, clause 5.3.5
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "location/v3/subscriptions/area",
		query_parameters containing
		subscription_type indicating value "dummy";;
		from the MEC_APP entity
		}
		then {
		// MEC 013, clause 7.5.3.4
		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_MEC013_SRV_UEAREALOOK_002_OK"

		Test objective
		"Check that the IUT acknowledges the change of UE area subscription request when commanded by a MEC Application"

		Reference
		"ETSI GS MEC 013 3.1.1 Clause 6.3.8",
		"ETSI GS MEC 013 3.1.1 Clause 6.4.8",
		"ETSI GS MEC 013 3.1.1 Clause 7.17.3.2"

		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 subscriptions containing
		subscriptionId indicating value SUBSCRIPTION_ID,
		allbackReference indicating value CALLBACK_URL;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "location/v3/subscriptions/area/{SUBSCRIPTION_ID}";
		from the MEC_APP entity
		}
		then {
		// MEC 013, clause 7.17.3.2
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "200 OK"
		body containing
		userAreaSubscription containing
		subscriptionType indicating value "UserAreaSubscription",
		clientCorrelator indicating value CLIENT_ID,
		callbackReference indicating value CALLBACK_URL,
		_links indicating value LINKS,
		areaDefine indicating value AREA,
		addressList containing
		address indicating value ACR_SOME_IP;,
		trackingAccuracy indicating value TRACKING_ACCURACY_THRESHOLD;;;
		to the MEC_APP entity
		}
		}
		}


		Test Purpose {
		TP Id "TP_MEC_MEC013_SRV_UEAREALOOK_002_NF"

		Test objective
		"Check that the IUT responds with an error when a request for an URI that cannot be mapped to a valid resource URI
		is sent by a MEC Application"

		Reference
		"ETSI GS MEC 013 3.1.1 Clause 6.3.8",
		"ETSI GS MEC 013 3.1.1 Clause 6.4.8",
		"ETSI GS MEC 013 3.1.1 Clause 7.17.3.2"

		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 not having a subscriptions containing
		subscriptionId indicating value NON_EXISTING_SUBSCRIPTION_ID;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "location/v3/subscriptions/area/{NON_EXISTING_SUBSCRIPTION_ID}";
		from the MEC_APP entity
		}
		then {
		// MEC 013, clause 7.17.3.2
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "404 Not Found";
		to the MEC_APP entity
		}
		}
		}


		}

Test Purposes/MEC013/SRV/UEAREASUB/PlatUeAreaSubscription.tplan2

+290 −168

File changed.

Preview size limit exceeded, changes collapsed.

Test Purposes/MEC013/SRV/UEDISTLOOK/PlatUeDistanceLookup.tplan2

+191 −89

Original line number	Diff line number	Diff line
		/*
		Copyright (c) ETSI 2018-2023.
		Released under BSD 3-clause license. For more information visit https://forge.etsi.org/legal-matters

		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 MEC_MEC013_SRV_UEDISTLOOK {
		@@ -15,41 +25,44 @@ Package MEC_MEC013_SRV_UEDISTLOOK {
		TP Id "TP_MEC_MEC013_SRV_UEDISTLOOK_001_OK"

		Test objective
		"Check that the IUT responds with the distance to a UE
		when queried by a MEC Application"
		"Check that the IUT responds with the list of UE distance subscriptions to a UE when queried by a MEC Application"

		Reference "ETSI GS MEC 013 2.1.1, clause 7.3.9"
		Reference
		"ETSI GS MEC 013 3.1.1 Clause 5.3.2",
		"ETSI GS MEC 013 3.1.1 Clause 6.3.3",
		"ETSI GS MEC 013 3.1.1 Clause 7.14.3.1"

		Config Id Config_MEC_1

		PICS Selection PIC_MEC_PLAT and PIC_SERVICES

		Initial conditions with {
		the IUT entity being_in idle_state
		the IUT entity being_in idle_state and
		the IUT entity having a subscriptions containing
		subscriptionType indicating value "UserDistanceSubscription",
		subscriptionId indicating value SUBSCRIPTION_ID,
		_links containing
		self indicating value LINKS_SELF;;
		}

		// MEC 013, clause 5.3.9
		// MEC 013, clause 5.3.2
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "location/v2/queries",
		query_parameters containing
		address indicating value any_value,
		latitude indicating value any_value,
		longitude indicating value any_value
		;
		;
		uri indicating value "location/v3/subscriptions/distance";
		from the MEC_APP entity
		}
		then {
		// MEC 013, clause 7.3.9.2
		// MEC 013, clause 7.14.3.1
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "200 OK"
		body containing
		terminalDistance set to any_value
		;
		;
		notificationSubscriptionList containing
		subscription containing
		href indicating value any_value,
		subscriptionType indicating value "UserDistanceSubscription";,
		resourceURL indicating value LINKS_SELF;;;
		to the MEC_APP entity
		}
		}
		@@ -57,20 +70,23 @@ Package MEC_MEC013_SRV_UEDISTLOOK {


		Test Purpose {
		TP Id "TP_MEC_MEC013_SRV_UEDISTLOOK_001_BR"
		TP Id "TP_MEC_MEC013_SRV_UEDISTLOOK_001_NF"

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

		Reference "ETSI GS MEC 013 2.1.1, clause 7.3.9"
		Reference
		"ETSI GS MEC 013 3.1.1 Clause 5.3.2",
		"ETSI GS MEC 013 3.1.1 Clause 6.3.3",
		"ETSI GS MEC 013 3.1.1 Clause 7.14.3.1"

		Config Id Config_MEC_1

		PICS Selection PIC_MEC_PLAT and PIC_SERVICES

		Initial conditions with {
		the IUT entity being_in idle_state
		the IUT entity being_in idle_state and
		the IUT entity not having any UserDistanceSubscription
		}

		// MEC 013, clause 5.3.9
		@@ -78,24 +94,110 @@ Package MEC_MEC013_SRV_UEDISTLOOK {
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "location/v2/queries",
		query_parameters containing
		address indicating value any_value,
		// Wrong name should trigger an error response.
		lat indicating value any_value,
		longitude indicating value any_value
		;
		;
		uri indicating value "location/v3/subscriptions/distance";
		from the MEC_APP entity
		}
		then {
		// MEC 013, clause 7.3.9.2
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "400 Bad Request"
		;
		status_code set to "404 Not Found";
		to the MEC_APP entity
		}
		}
		}

		Test Purpose {
		TP Id "TP_MEC_MEC013_SRV_UEDISTLOOK_002_OK"

		Test objective
		"Check that the IUT responds with the distance to a UE when queried by a MEC Application"

		Reference
		"ETSI GS MEC 013 3.1.1 Clause 5.3.2",
		"ETSI GS MEC 013 3.1.1 Clause 6.3.9",
		"ETSI GS MEC 013 3.1.1 Clause 6.4.9",
		"ETSI GS MEC 013 3.1.1 Clause 7.16.3.1"

		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 subscriptions containing
		subscriptionType indicating value "UserDistanceSubscription",
		subscriptionId indicating value SUBSCRIPTION_ID,
		_links containing
		self indicating value LINKS_SELF;;
		}

		// MEC 013, clause 5.3.2
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "location/v3/subscriptions/distance/{SUBSCRIPTION_ID}";
		from the MEC_APP entity
		}
		then {
		// MEC 013, clause 7.14.3.1
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "200 OK"
		body containing
		userDistanceSubscription containing
		subscriptionType indicating value "UserDistanceSubscription",
		clientCorrelator indicating value CLIENT_ID,
		callbackReference indicating value CALLBACK_URL,
		_links indicating value LINKS,
		monitoredAddress indicating value MONITORED_IP_ADDRESS,
		distance indicating value any_value,
		trackingAccuracy indicating value any_value,
		criteria indicating value any_value,
		checkImmediate indicating value true;;;
		to the MEC_APP entity
		}
		}
		}


		Test Purpose {
		TP Id "TP_MEC_MEC013_SRV_UEDISTLOOK_002_NF"

		Test objective
		"Check that the IUT responds with an error when inconsistent request was sent by a MEC Application"

		Reference
		"ETSI GS MEC 013 3.1.1 Clause 5.3.2",
		"ETSI GS MEC 013 3.1.1 Clause 6.3.9",
		"ETSI GS MEC 013 3.1.1 Clause 6.4.9",
		"ETSI GS MEC 013 3.1.1 Clause 7.16.3.1"

		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 not having a subscriptions containing
		subscriptionId indicating value NON_EXISTING_SUBSCRIPTION_ID;
		}

		// MEC 013, clause 5.3.2
		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "location/v3/subscriptions/distance/{NON_EXISTING_SUBSCRIPTION_ID}";
		from the MEC_APP entity
		}
		then {
		// MEC 013, clause 7.14.3.1
		the IUT entity sends a HTTP_RESPONSE containing
		status_code set to "404 Not Found";
		to the MEC_APP entity
		}
		}
		}


		}

Test Purposes/MEC013/SRV/UEDISTSUB/PlatUeDistanceSubscription.tplan2

+205 −191

File changed.

Preview size limit exceeded, changes collapsed.