Progress on MEC012 (a48a5500) · Commits · MEC - Multi-access Edge Computing / MEC API Test Purposes

Test Purposes/MEC012/RNIS_All_subscriptions.tplan2

+108 −99

Original line number	Diff line number	Diff line
		@@ -19,32 +19,39 @@ Package rnis_subscriptions {
		import all from MEC_012_Domain;

		Test Purpose {
		TP Id "TP_MEC_RNIS_SUBSCRIPTIONS_001"
		TP Id "TP_MEC025_RNI_SUBSCRIPTION_05"

		Test objective
		"Check that the list of RNIS subscriptions is returned when
		it is requested to the RNIS service"
		"Check that the RNIS service sends all RNIS subscriptions when requested"
		// "Check that the list of RNIS subscriptions is returned when
		// it is requested to the RNIS service"

		Reference "ETSI GS MEC 012 1.1.1, clause 7.6.3.1"
		Reference "ETSI GS MEC 012 1.1.1, clause 7.6.3.1",
		"https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/CellChangeSubscription"
		Config Id Config_MEC_1
		PICS Selection PIC_RNIS PIC_RNIS_ALL_SUBSCRIPTIONS
		PICS Selection PIC_RNIS and PIC_RNIS_ALL_SUBSCRIPTIONS

		Initial conditions with {
		the IUT entity having a RNIS_subscription containing
		SUBSCRIPTION_HREF indicating value SUBSCRIPTION_HREF_VALUE,
		SUBSCRIPTION_TYPE indicating value CELL_CHANGE;
		subscriptionHref indicating value SUBSCRIPTION_HREF_VALUE,
		subscriptionType indicating value CELL_CHANGE
		;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		Uri indicating value "/rni/v1/subscriptions";
		uri indicating value "/rni/v1/subscriptions"
		// query_parameters containing
		// subscriptionType indicating value CELL_CHANGE
		// ;
		;
		}
		then {
		the IUT entity sends a httpResponse containing
		Response_Status_Code set to "200 OK",
		Message_Body containing
		status set to "200 OK",
		body containing
		subscriptionLinkList containing
		_links containing
		self set to SUBSCRIPTION_HREF_VALUE
		@@ -61,15 +68,17 @@ Package rnis_subscriptions {
		}

		Test Purpose {
		TP Id "TP_MEC_RNIS_SUBSCRIPTIONS_002"
		TP Id "TP_MEC025_RNI_SUBSCRIPTION_01"

		Test objective
		"Check that a new RNIS subscription is created when
		it is requested to the RNIS service"
		"Check that the RNIS service creates a new RNIS subscription"
		// "Check that a new RNIS subscription is created when
		// it is requested to the RNIS service"

		Reference "ETSI GS MEC 012 1.1.1, clause 7.6.3.4"
		Reference "ETSI GS MEC 012 1.1.1, clause 7.6.3.4",
		"https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/CellChangeSubscription"
		Config Id Config_MEC_1
		PICS Selection PIC_RNIS PIC_RNIS_ALL_SUBSCRIPTIONS
		PICS Selection PIC_RNIS and PIC_RNIS_ALL_SUBSCRIPTIONS

		Initial conditions with {
		the IUT entity being_in idle_state
		@@ -79,8 +88,8 @@ Package rnis_subscriptions {
		ensure that {
		when {
		the IUT entity receives a vPOST containing
		Uri indicating value "/rni/v1/subscriptions",
		Message_Body containing
		uri indicating value "/rni/v1/subscriptions",
		body containing
		subscription containing
		subscriptionType indicating value "CellChangeSubscription",
		callbackReference indicating value CALLBACK_URI,
		@@ -97,8 +106,8 @@ Package rnis_subscriptions {
		}
		then {
		the IUT entity sends a httpResponse containing
		Response_Status_Code set to "201 CREATED",
		Message_Body containing
		status set to "201 CREATED",
		body containing
		subscription containing
		subscriptionType indicating value "CellChangeSubscription",
		callbackReference indicating value CALLBACK_URI,

Test Purposes/MEC012/RNIS_RAB_query.tplan2

+165 −41

Original line number	Diff line number	Diff line
		@@ -19,34 +19,38 @@ Package rnis_rab_query {
		import all from MEC_012_Domain;

		Test Purpose {
		TP Id "TP_MEC_RNIS_QUERY_RAB_BV_001" // TODO Align with MEC 025 TSS
		TP Id "TP_MEC025_RNI_QUERY_01" // TODO Align with MEC 025 TSS

		Test objective
		"Check that the Radio Access Bearer (RAB) information is returned when
		it is requested to the RNIS service"
		"Check that the RNIS service returns the RAB information"
		// "Check that the Radio Access Bearer (RAB) information is returned when
		// it is requested to the RNIS service"

		Reference "ETSI GS MEC 012 2.0.3, clause 7.3.3.1",
		"https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/RabInfo"

		Reference "ETSI GS MEC 012 2.0.3, clause 7.3.3.1"
		Config Id Config_MEC_1
		PICS Selection PIC_RNIS and PIC_RNIS_QUERY

		Initial conditions with {
		the IUT entity having a RAB_information
		containing CELL_ID indicating value CELL_USER_INFO;
		the IUT entity having a RAB_information containing
		cellId indicating value CELL_USER_INFO
		;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		Uri indicating value "/rni/v1/queries/rab_info",
		Query_Parameters containing
		cell_id indicating value CELL_ID
		uri indicating value "/rni/v1/queries/rab_info",
		query_parameters containing
		cellId indicating value CELL_ID
		;
		;
		}
		then {
		the IUT entity sends a httpResponse containing
		status_code set to "200 OK",
		status set to "200 OK",
		content_type indicating value CONTENT_JSON,
		body containing
		RAB_information indicating value CELL_USER_INFO
		@@ -55,4 +59,124 @@ Package rnis_rab_query {
		}
		}
		}

		Test Purpose {
		TP Id "TP_MEC025_RNI_QUERY_02" // TODO Align with MEC 025 TSS

		Test objective
		"Check that the RNIS service returns the PLMN information"

		Reference "ETSI GS MEC 012 2.0.3, clause 7.4.3.1",
		"https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/PlmnInfo"

		Config Id Config_MEC_1
		PICS Selection PIC_RNIS and PIC_RNIS_QUERY

		Initial conditions with {
		the IUT entity having a PLMN_information containing
		appInsId indicating value APP_INSTANCE_INFO
		;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "/rni/v1/queries/plmn_info",
		query_parameters containing
		appInsId indicating value APP_INS_ID
		;
		;
		}
		then {
		the IUT entity sends a httpResponse containing
		status set to "200 OK",
		content_type indicating value CONTENT_JSON,
		body containing
		PLMN_information indicating value APP_INSTANCE_INFO
		;
		;
		}
		}
		}

		Test Purpose {
		TP Id "TP_MEC025_RNI_QUERY_03" // TODO Align with MEC 025 TSS

		Test objective
		"Check that the RNIS service returns the S1 bearer information"

		Reference "ETSI GS MEC 012 2.0.3, clause 7.5.3.1",
		"https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/S1BearerInfo"

		Config Id Config_MEC_1
		PICS Selection PIC_RNIS and PIC_RNIS_QUERY

		Initial conditions with {
		the IUT entity having a S1_Bearer_information containing
		s1UeInfo indicating value S1_BEARER_UE_INFO
		;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "/rni/v1/queries/s1_bearer_info",
		query_parameters containing
		cellId indicating value CELL_ID
		;
		;
		}
		then {
		the IUT entity sends a httpResponse containing
		status set to "200 OK",
		content_type indicating value CONTENT_JSON,
		body containing
		S1_Bearer_information indicating value S1_BEARER_UE_INFO
		;
		;
		}
		}
		}

		Test Purpose {
		TP Id "TP_MEC025_RNI_QUERY_04" // TODO Align with MEC 025 TSS

		Test objective
		"Check that the RNIS service returns the L2 measurements information"

		Reference "ETSI GS MEC 012 2.0.3, clause 7.5a.3.1",
		"https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml"

		Config Id Config_MEC_1
		PICS Selection PIC_RNIS and PIC_RNIS_QUERY

		Initial conditions with {
		the IUT entity having a L2_Meas_information containing
		cellInfo indicating value CELL_L2_MEASUREMENTS_INFO
		;
		}

		Expected behaviour
		ensure that {
		when {
		the IUT entity receives a vGET containing
		uri indicating value "/rni/v1/queries/layer2_meas",
		query_parameters containing
		cellId indicating value CELL_ID
		;
		;
		}
		then {
		the IUT entity sends a httpResponse containing
		status set to "200 OK",
		content_type indicating value CONTENT_JSON,
		body containing
		L2_Meas_information indicating value CELL_L2_MEASUREMENTS_INFO
		;
		;
		}
		}
		}
		}
		No newline at end of file

Test Purposes/MEC012/RNIS_Subscriptions_id.tplan2

+179 −172

Original line number	Diff line number	Diff line
		@@ -19,15 +19,18 @@ Package rnis_subscriptions_id {
		import all from MEC_012_Domain;

		Test Purpose {
		TP Id "TP_MEC_RNIS_SPECIFIC_SUBSCRIPTION_001"
		TP Id "TP_MEC025_RNI_SUBSCRIPTION_06"

		Test objective
		"Check that a specific RNIS subscription is returned when
		it is requested to the RNIS service"
		"Check that the RNIS service sends a RNIS subscription when requested"
		// "Check that a specific RNIS subscription is returned when
		// it is requested to the RNIS service"

		Reference "ETSI GS MEC 012 2.0.3, clause 7.8.3.1",
		"https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/CellChangeSubscription"

		Reference "ETSI GS MEC 012 2.0.3, clause 7.8.3.1"
		Config Id Config_MEC_1
		PICS Selection PIC_RNIS PIC_RNIS_SPECIFIC_SUBSCRIPTION
		PICS Selection PIC_RNIS and PIC_RNIS_SPECIFIC_SUBSCRIPTION

		Initial conditions with {
		the IUT entity having a RNIS_subscription containing
		@@ -50,13 +53,13 @@ Package rnis_subscriptions_id {
		ensure that {
		when {
		the IUT entity receives a vGET containing
		Uri indicating value SUBSCRIPTION_HREF_VALUE
		uri indicating value SUBSCRIPTION_HREF_VALUE
		;
		}
		then {
		the IUT entity sends a httpResponse containing
		Response_Status_Code set to "200 OK",
		Message_Body containing
		status set to "200 OK",
		body containing
		subscription containing
		subscriptionType indicating value "CellChangeSubscription",
		callbackReference indicating value CALLBACK_URI,
		@@ -79,15 +82,17 @@ Package rnis_subscriptions_id {


		Test Purpose {
		TP Id "TP_MEC_RNIS_SPECIFIC_SUBSCRIPTION_002"
		TP Id "TP_MEC025_RNI_SUBSCRIPTION_03"

		Test objective
		"Check that a specific RNIS subscription is modified when
		this is requested to the RNIS service"
		"Check that the RNIS service modifies a RNIS subscription when requested"
		// "Check that a specific RNIS subscription is modified when
		// this is requested to the RNIS service"

		Reference "ETSI GS MEC 012 2.0.3, clause 7.8.3.2"
		Reference "ETSI GS MEC 012 2.0.3, clause 7.8.3.2",
		"https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/CellChangeSubscription"
		Config Id Config_MEC_1
		PICS Selection PIC_RNIS PIC_RNIS_SPECIFIC_SUBSCRIPTION
		PICS Selection PIC_RNIS and PIC_RNIS_SPECIFIC_SUBSCRIPTION

		Initial conditions with {
		the IUT entity having a RNIS_subscription containing
		@@ -110,8 +115,8 @@ Package rnis_subscriptions_id {
		ensure that {
		when {
		the IUT entity receives a vPUT containing
		Uri indicating value SUBSCRIPTION_HREF_VALUE,
		Message_Body containing
		uri indicating value SUBSCRIPTION_HREF_VALUE,
		body containing
		subscription containing
		subscriptionType indicating value "CellChangeSubscription",
		callbackReference indicating value NEW_CALLBACK_URI,
		@@ -131,8 +136,8 @@ Package rnis_subscriptions_id {
		}
		then {
		the IUT entity sends a httpResponse containing
		Response_Status_Code set to "200 OK",
		Message_Body containing
		status set to "200 OK",
		body containing
		subscription containing
		subscriptionType indicating value "CellChangeSubscription",
		callbackReference indicating value NEW_CALLBACK_URI,
		@@ -156,15 +161,17 @@ Package rnis_subscriptions_id {


		Test Purpose {
		TP Id "TP_MEC_RNIS_SPECIFIC_SUBSCRIPTION_003"
		TP Id "TP_MEC025_RNI_SUBSCRIPTION_04"

		Test objective
		"Check that a specific RNIS subscription is deleted when
		the related deletion is requested to the RNIS service"
		"Check that the RNIS service deletes a RNIS subscription when requested"
		// "Check that a specific RNIS subscription is deleted when
		// the related deletion is requested to the RNIS service"

		Reference "ETSI GS MEC 012 2.0.3, clause 7.8.3.5"
		Reference "ETSI GS MEC 012 2.0.3, clause 7.8.3.5",
		"https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/CellChangeSubscription"
		Config Id Config_MEC_1
		PICS Selection PIC_RNIS PIC_RNIS_SPECIFIC_SUBSCRIPTION
		PICS Selection PIC_RNIS and PIC_RNIS_SPECIFIC_SUBSCRIPTION

		Initial conditions with {
		the IUT entity having a RNIS_subscription containing
		@@ -187,12 +194,12 @@ Package rnis_subscriptions_id {
		ensure that {
		when {
		the IUT entity receives a vDELETE containing
		Uri indicating value SUBSCRIPTION_HREF_VALUE
		uri indicating value SUBSCRIPTION_HREF_VALUE
		;
		}
		then {
		the IUT entity sends a httpResponse containing
		Response_Status_Code set to "204 NO CONTENT"
		status set to "204 NO CONTENT"
		;
		}
		}

Test Purposes/MEC012/RNIS_notifications.tplan2

+356 −53

File changed.

Preview size limit exceeded, changes collapsed.

Test Purposes/MEC012/mec-012-domain.tplan2

+55 −46

Original line number	Diff line number	Diff line
		@@ -11,9 +11,13 @@ Package MEC_012_Domain {
		- RNIS_CLIENT
		- RNIS_SERVER
		- IUT
		- MEC_SUB
		;
		events:
		- RAB_information
		- PLMN_information
		- S1_Bearer_information
		- L2_Meas_information
		- perform_RNIS_query_to
		- having_RNIS_subscription
		- having_RNIS_subscription_privileges
		@@ -25,6 +29,11 @@ Package MEC_012_Domain {
		- RNIS_subscription
		- perform_RNIS_subscription_query_to
		- cell_change_event
		- rab_establish_event
		- rab_modification_event
		- rab_release_event
		- measurement_repost_event
		- timing_advance_event
		- being_in
		- idle_state
		;