Commit b19d9dc3 authored by Michele Carignani's avatar Michele Carignani
Browse files

added configuration and restructured requests/responses

parent 866765ea

Test Purposes/MEC011/mec-011-common-data.tplan2

+2 −4
Original line number Diff line number Diff line 
Package MEC_011_DATA {

	

	Data { /* To be mo */

	Data { /* To be modified */

		type STRING;

		type JSON;

		type string with s of type STRING;

		

		STRING "application/json;charset=utf-8";

		string CONTENT_JSON containing s indicating value "application/json;charset=utf-8"; 

		string CONTENT_JSON containing s set to "application/json;charset=utf-8"; 

		

		JSON valid_serviceInfo_list; // As specified in MEC 011 Sect. 6.2.2

	

		

	

	}

}
 
 No newline at end of file

Test Purposes/MEC011/mec-011-domain.tplan2

+0 −16
Original line number Diff line number Diff line
@@ -28,20 +28,4 @@ Package MEC_011_Domain { 
		;

	}

	

	Configuration {

		

		Interface Type myPort accepts string;

		

		Component Type MecAppComponent with gate p of type myPort; 

		Component Type MecPlatformComponent with gate p of type myPort;

		

		Test Configuration myConfig containing

		 Tester component MEC_App of type MecAppComponent

		 SUT component MEC_Plat of type MecPlatformComponent

		 connection between MEC_App.p and MEC_Plat.p

		;

		     

	}

	

	

}
 
 No newline at end of file

Test Purposes/MEC011/mec-011.tplan2

+4 −3
Original line number Diff line number Diff line
@@ -15,6 +15,7 @@ file and shall not imply any sub-license right. 
 

Package MEC_011_mp1 {

	

	import all from MEC_Common;

	import all from MEC_011_DATA;

	import all from MEC_011_Domain;
@@ -27,7 +28,7 @@ Package MEC_011_mp1 { 
		

		Reference "ETSI GS MEC 011 V2.0.3, clause 7.4.3.1"

		

		// ConfigId: TODO

		Config Id Config_MEC_1

 		

 		PICS Selection PIC_MEC_PLAT PIC_SERVICES
@@ -51,7 +52,7 @@ Package MEC_011_mp1 { 
		        }

		        then {

		            the IUT entity sends a httpResponse containing

		                Status_Code indicating value "200 OK",

		                Status_Code set to "200 OK",

		                Content_type indicating value CONTENT_JSON,

		                body containing

		                	valid_serviceInfo_list;
@@ -70,7 +71,7 @@ Package MEC_011_mp1 { 
		

		Reference "ETSI GS MEC 011 V2.0.3, clause 7.4.3.4"

		

		Config Id myConfig

		Config Id Config_MEC_1

		

 		PICS Selection PIC_MEC_PLAT PIC_SERVICES PIC_NOTIFICATIONS

Test Purposes/MEC012/RNIS_All_subscriptions_query.tplan2

+14 −8
Original line number Diff line number Diff line 
Package rnis_rab_query {

	

	import all from MEC_Common;

	import all from MEC_012_Domain;

	

	Test Purpose {

		TP Id "TP/MEC/RNIS/QUERY/SUBSCRIPTION/001"

		TP Id "TP_MEC_RNIS_QUERY_SUBSCRIPTION_001"

		

		Test objective 

			"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"

		Config Id Config_MEC_1

 		PICS Selection PIC_RNIS



		Initial conditions  with {

			the IUT entity having_RNIS_subscription // containing SUBSCRIPTION_HREF indicating value SUBSCRIPTION_HREF_VALUE

			   //and containing SUBSCRIPTION_TYPE indicating value CELL_CHANGE

			and the RNIS_CLIENT entity having_RNIS_subscription_privileges to the IUT entity

			the IUT entity having a RNIS_subscription containing

				SUBSCRIPTION_HREF indicating value SUBSCRIPTION_HREF_VALUE,

			    SUBSCRIPTION_TYPE indicating value CELL_CHANGE;

		}



 		Expected behaviour
@@ -25,11 +27,15 @@ Package rnis_rab_query { 
			}

			then {

				the RNIS_CLIENT entity receives a valid Response containing 

				  Response_Status_Code set to 200,    /* (OK) */

				  Response_Status_Code set to "200 OK",

				  Message_Body containing 

				     RNIS_subscription containing 

						   SUBSCRIPTION_HREF indicating value SUBSCRIPTION_HREF_VALUE,

						   SUBSCRIPTION_TYPE indicating value CELL_CHANGE;

				  	subscriptionLinkList containing

				  		_link containing

				  			self set to omit;,

				  		subscription containing

						   	href indicating value SUBSCRIPTION_HREF_VALUE,

						   	subscriptionType indicating value CELL_CHANGE;

						   	;

				     ;

				  ;

			}

Test Purposes/MEC012/RNIS_RAB_query.tplan2

+18 −15
Original line number Diff line number Diff line 
Package rnis_rab_query {

	

	import Config_MEC_1 from MEC_Common;

	import all from MEC_012_Domain;

	

	Test Purpose {

		TP Id "TP_MEC_RNIS_QUERY_RAB_001"

		TP Id "TP_MEC_RNIS_QUERY_RAB_BV_001"

		

		Test objective 

			"Check that the Radio Access Bearer (RAB) information is returned when 

			it is requested to the RNIS service"

		

		Reference "ETSI GS MEC 012 1.1.1, clause 7.3.3.1"

		

		// ConfigId: TODO

		

 		PICS Selection PIC_RNIS

		Config Id Config_MEC_1

 		PICS Selection PIC_RNIS PIC_RAB_QUERY



		Initial conditions  with {

			the IUT entity having RAB_information  // containing CELL_ID indicating value CELL_USER_INFO TODO

			and the RNIS_CLIENT entity having privileges to perform_RNIS_query_to the IUT

			the IUT entity having a RAB_information 

				containing CELL_ID indicating value CELL_USER_INFO;

		}



 		Expected behaviour

		ensure that {

			when {

				the IUT entity receives a RAB info query message 

					containing URI query parameters contatinig 

				the RNIS_SERVER entity receives a vGET containing 

					Uri indicating value "/rni/v1/queries/rab_info",

	                query_parameters containing 

	                	cell id indicating value CELL_ID;

	                ;

			}

			then {

				the IUT entity sends a valid Response containing 

						Response_Status_Code set to 200,    /* (OK) */

						Message_Body containing 

							RAB_information indicating value CELL_USER_INFO;

				the RNIS_SERVER entity sends a httpResponse containing

					Status_Code set to "200 OK",    /* (OK) */

					Content_type indicating value CONTENT_JSON,

					body containing 

						RAB_information indicating value CELL_USER_INFO

					;

				;

			}

		}