Fix: https://forge.etsi.org/rep/groups/mec/-/issues - #7, #8, #9 & #10 (e909c89b) · Commits · MEC - Multi-access Edge Computing / MEC API Test Purposes

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

+1 −1

Original line number	Original line	Diff line number	Diff line
	@@ -704,7 +704,7 @@ Package MEC_MEC015_SRV_MTS {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vDELETE containing		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		query_parameters containing
	sessionId indicating value MTS_SESSION_ID		sessionId indicating value MTS_SESSION_ID
	;		;

Test Purposes/MEC030/SRV/V2XInformationService.tplan2

+64 −50

Original line number	Original line	Diff line number	Diff line
	@@ -35,7 +35,7 @@ Package MEC_MEC030_SRV_V2X {
	Initial conditions with {		Initial conditions with {
	the IUT entity being_in idle_state and		the IUT entity being_in idle_state and
	the MEC_APP entity having a uuUnicastProvisioningInfo containing		the MEC_APP entity having a uuUnicastProvisioningInfo containing
	location_info indicating value LOCATION_INFO		location_info indicating value LOCATION_INFO_ECGI
	;		;
	}		}

	@@ -82,7 +82,7 @@ Package MEC_MEC030_SRV_V2X {
	Initial conditions with {		Initial conditions with {
	the IUT entity being_in idle_state and		the IUT entity being_in idle_state and
	the MEC_APP entity having a uuUnicastProvisioningInfo containing		the MEC_APP entity having a uuUnicastProvisioningInfo containing
	location_info indicating value LOCATION_INFO		location_info indicating value LOCATION_INFO_LATITUDE
	;		;
	}		}

	@@ -129,7 +129,7 @@ Package MEC_MEC030_SRV_V2X {
	Initial conditions with {		Initial conditions with {
	the IUT entity being_in idle_state and		the IUT entity being_in idle_state and
	the MEC_APP entity having a uuUnicastProvisioningInfo containing		the MEC_APP entity having a uuUnicastProvisioningInfo containing
	location_info indicating value LOCATION_INFO		location_info indicating value LOCATION_INFO_LATITUDE
	;		;
	}		}

	@@ -174,7 +174,7 @@ Package MEC_MEC030_SRV_V2X {
	Initial conditions with {		Initial conditions with {
	the IUT entity being_in idle_state and		the IUT entity being_in idle_state and
	the MEC_APP entity having a uuUnicastProvisioningInfo containing		the MEC_APP entity having a uuUnicastProvisioningInfo containing
	location_info indicating value LOCATION_INFO		location_info indicating value LOCATION_INFO_ECGI
	;		;
	}		}

	@@ -218,7 +218,7 @@ Package MEC_MEC030_SRV_V2X {
	Initial conditions with {		Initial conditions with {
	the IUT entity being_in idle_state and		the IUT entity being_in idle_state and
	the MEC_APP entity having a uuMbmsProvisioningInfo containing		the MEC_APP entity having a uuMbmsProvisioningInfo containing
	location_info indicating value LOCATION_INFO		location_info indicating value LOCATION_INFO_ECGI
	;		;
	}		}

	@@ -825,10 +825,7 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vGET containing		the IUT entity receives a vGET containing
	uri indicating value "vis/v1/subscriptions",		uri indicating value "vis/v1/subscriptions/prov_chg_uu_uni"
	query_parameters containing
	prov_chg_uu_uni indicating value PROV_CHG_UU_UNI
	;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}
	@@ -879,10 +876,7 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vGET containing		the IUT entity receives a vGET containing
	uri indicating value "vis/v1/subscriptions",		uri indicating value "vis/v1/subscriptions/prov_chg_uu_mbms"
	query_parameters containing
	prov_chg_uu_mbms indicating value PROV_CHG_UU_MBMS
	;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}
	@@ -933,10 +927,7 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vGET containing		the IUT entity receives a vGET containing
	uri indicating value "vis/v1/subscriptions",		uri indicating value "vis/v1/subscriptions/prov_chg_pc5"
	query_parameters containing
	prov_chg_pc5 indicating value PROV_CHG_PC5
	;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}
	@@ -987,10 +978,7 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vGET containing		the IUT entity receives a vGET containing
	uri indicating value "vis/v1/subscriptions",		uri indicating value "vis/v1/subscriptions/v2x_msg"
	query_parameters containing
	v2x_msg indicating value V2X_MSG
	;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}
	@@ -1041,10 +1029,10 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vGET containing		the IUT entity receives a vGET containing
	uri indicating value "vis/v1/subscriptions",		uri indicating value "vis/v1/subscriptions/{subscriptionType}",
	query_parameters containing		query_parameters containing
	// Wrong parameter name should trigger an error response.		// Wrong parameter name should trigger an error response.
	prov_chg_uu_uni indicating value PROV_CHG_UU_UNI		subscriptionType indicating value ANY
	;		;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	@@ -1340,7 +1328,7 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vGET containing		the IUT entity receives a vGET containing
	uri indicating value "vis/v1/subscriptions",		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
	query_parameters containing		query_parameters containing
	subscriptionId indicating value HREF_UU_UNI_SUBSCRIPTION		subscriptionId indicating value HREF_UU_UNI_SUBSCRIPTION
	;		;
	@@ -1394,7 +1382,7 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vGET containing		the IUT entity receives a vGET containing
	uri indicating value "vis/v1/subscriptions",		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
	query_parameters containing		query_parameters containing
	subscriptionId indicating value HREF_UU_MBMS_SUBSCRIPTION		subscriptionId indicating value HREF_UU_MBMS_SUBSCRIPTION
	;		;
	@@ -1448,7 +1436,7 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vGET containing		the IUT entity receives a vGET containing
	uri indicating value "vis/v1/subscriptions",		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
	query_parameters containing		query_parameters containing
	subscriptionId indicating value HREF_PC5_SUBSCRIPTION		subscriptionId indicating value HREF_PC5_SUBSCRIPTION
	;		;
	@@ -1502,7 +1490,7 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vGET containing		the IUT entity receives a vGET containing
	uri indicating value "vis/v1/subscriptions",		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
	query_parameters containing		query_parameters containing
	subscriptionId indicating value HREF_V2XMSG_SUBSCRIPTION		subscriptionId indicating value HREF_V2XMSG_SUBSCRIPTION
	;		;
	@@ -1556,7 +1544,7 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vGET containing		the IUT entity receives a vGET containing
	uri indicating value "vis/v1/subscriptions",		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
	query_parameters containing		query_parameters containing
	// Wrong parameter name should trigger an error response.		// Wrong parameter name should trigger an error response.
	subscriptionId indicating value HREF_V2XMSG_SUBSCRIPTION		subscriptionId indicating value HREF_V2XMSG_SUBSCRIPTION
	@@ -1603,9 +1591,8 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vGET containing		the IUT entity receives a vGET containing
	uri indicating value "vis/v1/subscriptions",		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
	query_parameters containing		query_parameters containing
	// Wrong parameter name should trigger an error response.
	subscriptionId indicating value HREF_V2XMSG_UNKNOWN_SUBSCRIPTION		subscriptionId indicating value HREF_V2XMSG_UNKNOWN_SUBSCRIPTION
	;		;
	;		;
	@@ -1650,7 +1637,9 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vPUT containing		the IUT entity receives a vPUT containing
	uri indicating value "vis/v1/subscriptions/{SubscriptionId}",		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
			query_parameters containing
			subscriptionId indicating value HREF_UU_UNI_SUBSCRIPTION,
	body containing		body containing
	provChgUuUniSubscription containing		provChgUuUniSubscription containing
	subscriptionType indicating value "ProvChgUuUniSubscription",		subscriptionType indicating value "ProvChgUuUniSubscription",
	@@ -1658,7 +1647,7 @@ Package MEC_MEC030_SRV_V2X {
	filterCriteria indicating value FILTER_UU_UNI_CRITERIA_1,		filterCriteria indicating value FILTER_UU_UNI_CRITERIA_1,
	_links indicating value HREF_UU_UNI_SUBSCRIPTION		_links indicating value HREF_UU_UNI_SUBSCRIPTION
	;		;
	;		;;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}
	@@ -1709,7 +1698,9 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vPUT containing		the IUT entity receives a vPUT containing
	uri indicating value "vis/v1/subscriptions/{SubscriptionId}",		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
			query_parameters containing
			subscriptionId indicating value HREF_UU_MBMS_SUBSCRIPTION,
	body containing		body containing
	provChgUuMbmsSubscription containing		provChgUuMbmsSubscription containing
	subscriptionType indicating value "ProvChgUuMbmsSubscription",		subscriptionType indicating value "ProvChgUuMbmsSubscription",
	@@ -1717,7 +1708,7 @@ Package MEC_MEC030_SRV_V2X {
	filterCriteria indicating value FILTER_UU_MBMS_CRITERIA_1,		filterCriteria indicating value FILTER_UU_MBMS_CRITERIA_1,
	_links indicating value HREF_UU_MBMS_SUBSCRIPTION		_links indicating value HREF_UU_MBMS_SUBSCRIPTION
	;		;
	;		;;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}
	@@ -1768,7 +1759,9 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vPUT containing		the IUT entity receives a vPUT containing
	uri indicating value "vis/v1/subscriptions/{SubscriptionId}",		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
			query_parameters containing
			subscriptionId indicating value HREF_PC5_SUBSCRIPTION,
	body containing		body containing
	provChgPc5Subscription containing		provChgPc5Subscription containing
	subscriptionType indicating value "ProvChgPc5Subscription",		subscriptionType indicating value "ProvChgPc5Subscription",
	@@ -1776,7 +1769,7 @@ Package MEC_MEC030_SRV_V2X {
	filterCriteria indicating value FILTER_PC5_CRITERIA_1,		filterCriteria indicating value FILTER_PC5_CRITERIA_1,
	_links indicating value HREF_PC5_SUBSCRIPTION		_links indicating value HREF_PC5_SUBSCRIPTION
	;		;
	;		;;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}
	@@ -1827,7 +1820,9 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vPUT containing		the IUT entity receives a vPUT containing
	uri indicating value "vis/v1/subscriptions/{SubscriptionId}",		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
			query_parameters containing
			subscriptionId indicating value HREF_V2XMSG_SUBSCRIPTION,
	body containing		body containing
	v2xMsgSubscription containing		v2xMsgSubscription containing
	subscriptionType indicating value "ProvChgPc5Subscription",		subscriptionType indicating value "ProvChgPc5Subscription",
	@@ -1835,7 +1830,7 @@ Package MEC_MEC030_SRV_V2X {
	filterCriteria indicating value FILTER_V2XMSG_CRITERIA_1,		filterCriteria indicating value FILTER_V2XMSG_CRITERIA_1,
	_links indicating value HREF_V2XMSG_SUBSCRIPTION		_links indicating value HREF_V2XMSG_SUBSCRIPTION
	;		;
	;		;;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}
	@@ -1886,7 +1881,9 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vPUT containing		the IUT entity receives a vPUT containing
	uri indicating value "vis/v1/subscriptions/{SubscriptionId}",		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
			query_parameters containing
			subscriptionId indicating value HREF_UU_UNI_SUBSCRIPTION,
	body containing		body containing
	provChgUuUniSubscription containing		provChgUuUniSubscription containing
	subscriptionType indicating value "InvalidProvChgUuUniSubscription", // Invalid SubscriptionType		subscriptionType indicating value "InvalidProvChgUuUniSubscription", // Invalid SubscriptionType
	@@ -1894,7 +1891,7 @@ Package MEC_MEC030_SRV_V2X {
	filterCriteria indicating value FILTER_UU_UNI_CRITERIA_1,		filterCriteria indicating value FILTER_UU_UNI_CRITERIA_1,
	_links indicating value HREF_UU_UNI_SUBSCRIPTION		_links indicating value HREF_UU_UNI_SUBSCRIPTION
	;		;
	;		;;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}
	@@ -1937,7 +1934,9 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vPUT containing		the IUT entity receives a vPUT containing
	uri indicating value "vis/v1/subscriptions/{InvalidSubscriptionId}",		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
			query_parameters containing
			subscriptionId indicating value HREF_UU_UNI_UNKNOWN_SUBSCRIPTION,
	body containing		body containing
	provChgUuUniSubscription containing		provChgUuUniSubscription containing
	subscriptionType indicating value "ProvChgUuUniSubscription",		subscriptionType indicating value "ProvChgUuUniSubscription",
	@@ -1945,7 +1944,7 @@ Package MEC_MEC030_SRV_V2X {
	filterCriteria indicating value FILTER_UU_UNI_CRITERIA_1,		filterCriteria indicating value FILTER_UU_UNI_CRITERIA_1,
	_links indicating value HREF_UU_UNI_SUBSCRIPTION		_links indicating value HREF_UU_UNI_SUBSCRIPTION
	;		;
	;		;;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}
	@@ -1988,7 +1987,10 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vDELETE containing		the IUT entity receives a vDELETE containing
	uri indicating value "vis/v1/subscriptions"		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
			query_parameters containing
			subscriptionId indicating value HREF_UU_UNI_SUBSCRIPTION
			;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}
	@@ -2031,7 +2033,10 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vDELETE containing		the IUT entity receives a vDELETE containing
	uri indicating value "vis/v1/subscriptions"		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
			query_parameters containing
			subscriptionId indicating value HREF_UU_MBMS_SUBSCRIPTION
			;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}
	@@ -2074,7 +2079,10 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vDELETE containing		the IUT entity receives a vDELETE containing
	uri indicating value "vis/v1/subscriptions"		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
			query_parameters containing
			subscriptionId indicating value HREF_PC5_SUBSCRIPTION
			;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}
	@@ -2117,7 +2125,10 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vDELETE containing		the IUT entity receives a vDELETE containing
	uri indicating value "vis/v1/subscriptions"		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
			query_parameters containing
			subscriptionId indicating value HREF_V2XMSG_SUBSCRIPTION
			;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}
	@@ -2160,7 +2171,10 @@ Package MEC_MEC030_SRV_V2X {
	ensure that {		ensure that {
	when {		when {
	the IUT entity receives a vDELETE containing		the IUT entity receives a vDELETE containing
	uri indicating value "vis/v1/subscriptions"		uri indicating value "vis/v1/subscriptions/{subscriptionId}",
			query_parameters containing
			subscriptionId indicating value HREF_UU_UNI_SUBSCRIPTION
			;
	;		;
	from the MEC_APP entity		from the MEC_APP entity
	}		}

Admin message