Commit ee203798 authored by Giada Landi's avatar Giada Landi
Browse files

Update MEC012 and added MEC010-2

parent b19d9dc3
Loading
Loading
Loading
Loading
+115 −0
Original line number Diff line number Diff line
Package app_pkg_mgt {
	
	import all from MEC_Common;
	import all from MEC_012_Domain;
	
	Test Purpose {
		TP Id "TP_MEC_APP_PACKAGE_MANAGEMENT_001"
		
		Test objective 
			"Check that the list of App Packages is returned when 
			it is requested to the MEO"
		
		Reference "ETSI GS MEC 010-2 1.2.2, clause 7.3.1.3.2"
		Config Id Config_MEC_2
 		PICS Selection PIC_APP_PACKAGE PIC_APP_PACKAGE_MANAGEMENT

		Initial conditions  with {
			the IUT entity having a App_Package containing
				ON_BOARDED_APP_PKG_ID indicating value ON_BOARDED_APP_PKG_ID_VALUE;
		}

 		Expected behaviour
		ensure that {
			when {
				the IUT entity receives a vGET containing 
					Uri indicating value "/apmi/v1/app_packages";
			}
			then {
				the IUT entity sends a httpResponse containing
				  Response_Status_Code set to "200 OK",
				  Message_Body containing 
				  	OnboardedAppPkgInfoList containing
						OnboardedAppPkgInfo containing 
							appPkgId set to ON_BOARDED_APP_PKG_ID_VALUE,
							appDId set to APPD_ID,
							appName set to APP_NAME,
							appSoftwareVersion set to APP_SW_VERSION,
							appDVersion set to APPD_VERSION,
							checksum set to CHECKSUM,
							softwareImagesList set to SOFTWARE_IMAGES_LIST,
							operationalState set to OPERATIONAL_STATE,
							usageState set to USAGE_STATE,
				  			_link containing
				  				self set to APP_PKG_URI,
								appD set to APPD_URI,
								appPkgContent set to APP_PKG_CONTENT_URI
							;,
				  		;
					;
				  ;
				;
			}
		} 		
	}

	Test Purpose {
		TP Id "TP_MEC_APP_PACKAGE_MANAGEMENT_002"
		
		Test objective 
			"Check that a new App Package is created when 
			it is requested to the MEO from the OSS"
		
		Reference "ETSI GS MEC 010-2 1.2.2, clause 7.3.1.3.1"
		Config Id Config_MEC_2
 		PICS Selection PIC_APP_PACKAGE PIC_APP_PACKAGE_MANAGEMENT

		Initial conditions  with {
			the IUT being_in idle_state;
		}

 		Expected behaviour
		ensure that {
			when {
				the IUT entity receives a vPOST containing 
					Uri indicating value "/apmi/v1/app_packages",
					Content_type indicating value CONTENT_JSON,
					Message_Body containing
						appPkg containing
							appPkgName set to APP_PKG_NAME,
							appPkgVersion set to APP_PKG_VERSION,
							appProvider set to APP_PROVIDER,
							checksum set to CHECKSUM,
							appPkgPath set to APP_PKG_PATH
						;
					;
			}
			then {
				the IUT entity sends a httpResponse containing
				  Response_Status_Code set to "200 OK",
				  Message_Body containing 
				  	OnboardedAppPkgInfoList containing
						OnboardedAppPkgInfo containing 
							appPkgId set to ON_BOARDED_APP_PKG_ID,
							appDId set to APPD_ID,
							appName set to APP_PKG_NAME,
							appSoftwareVersion set to APP_PKG_VERSION,
							appDVersion set to APPD_VERSION,
							appProvider set to APP_PROVIDER,
							checksum set to CHECKSUM,
							softwareImagesList set to SOFTWARE_IMAGES_LIST,
							operationalState set to OPERATIONAL_STATE,
							usageState set to USAGE_STATE,
				  			_link containing
				  				self set to APP_PKG_URI,
								appD set to APPD_URI,
								appPkgContent set to APP_PKG_CONTENT_URI
							;,
				  		;
					;
				  ;
				;
			}
		} 		
	}
}
+55 −0
Original line number Diff line number Diff line
Package app_pkg_mgt_notifications {
	
	import Config_MEC_2 from MEC_Common;
	import all from MEC_010_2_Domain;
	
	Test Purpose {
		TP Id "TP_MEC_APP_PACKAGE_MANAGEMENT_NOTIFICATIONS_001"
		
		Test objective 
			"Check that the MEO sends an App Package management notification to the OSS
			if the OSS has an associated subscription with the MEO and 
			when the related triggering event is generated"
		
		Reference "ETSI GS MEC 010-2 1.2.2, clause 7.3.5"
		Config Id Config_MEC_2
 		PICS Selection PIC_APP_PACKAGE PIC_APP_PACKAGE_NOTIFICATIONS

		Initial conditions  with {
			the IUT entity having a App_Package_subscription containing
				subscriptionId indicating value SUBSCRIPTION_ID, 
				subscriptionType indicating value "OpChange",
				callbackUri indicating value CALLBACK_URI,
				appPkgFilter containing
					appPkgFilterCriteria containing
						appProvider set to APP_PROVIDER
					;,
				;
			;
		}

 		Expected behaviour
		ensure that {
			when {
				the IUT entity generates a app_package_operational_change_event containing
					appProvider set to APP_PROVIDER
				;
			}
			then {
				the IUT entity sends a vPOST containing
					Uri indicating value CALLBACK_URI,
					Content_type indicating value CONTENT_JSON,
					Message_Body containing
						notificationId indicating value NOTIFICATION_ID,
						notificationType indicating value "OpChange",
						subscriptionId indicating value SUBSCRIPTION_ID,
						timeStamp set to TIMESTAMP,
						appPkgId set to APP_PKG_ID,
						appDId set to APPD_ID,
					;
				;
			}
		} 		
	}

}
+46 −0
Original line number Diff line number Diff line
Package MEC_010_2_Domain {
	Domain {
			pics:
			- PIC_APP_PACKAGE			// MEC025, clause 7.3.2
			- PIC_APP_PACKAGE_MANAGEMENT		// MEC025, table 7.3.2-1
			- PIC_APP_PACKAGE_NOTIFICATIONS		// MEC025, table 7.3.2-2
			;
			entities:
			- MEC_OSS
			- MEO
			- IUT
			;
			events:
			- App_Package_subscription
			- App_Package
			- having
			- sends
			- receives
			- generates
			- being_in
			- idle_state
			- app_package_operational_change_event
			;
		}
}

/*
 
 	Domain {
		pics:
		- PIC_RNIS
		;
		entities:
		- RNIS_CLIENT
		- IUT
		;
		events:
		- RNIS_subscription
		- perform_RNIS_subscription_query_to
		- privileges
		- sends
		- receives
		;
	}
 
 */
+106 −0
Original line number Diff line number Diff line
Package rnis_subscriptions {
	
	import all from MEC_Common;
	import all from MEC_012_Domain;
	
	Test Purpose {
		TP Id "TP_MEC_RNIS_SUBSCRIPTIONS_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 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;
		}

 		Expected behaviour
		ensure that {
			when {
				the IUT entity receives a vGET containing
					Uri indicating value "/rni/v1/subscriptions";
			}
			then {
				the IUT entity sends a httpResponse containing
					Response_Status_Code set to "200 OK",
					Message_Body containing
						subscriptionLinkList containing
							_links containing
				  				self set to SUBSCRIPTION_HREF_VALUE
							;,
							subscription containing
								href indicating value SUBSCRIPTION_HREF_VALUE,
								subscriptionType indicating value CELL_CHANGE
							;
						;
					;
				;
			}
		} 		
	}

	Test Purpose {
		TP Id "TP_MEC_RNIS_SUBSCRIPTIONS_002"
		
		Test objective 
			"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"
		Config Id Config_MEC_1
 		PICS Selection PIC_RNIS PIC_RNIS_ALL_SUBSCRIPTIONS

		Initial conditions  with {
			the IUT entity being_in idle_state;
		}

 		Expected behaviour
		ensure that {
			when {
				the IUT entity receives a vPOST containing
					Uri indicating value "/rni/v1/subscriptions"
					Content_type indicating value CONTENT_JSON,
					Message_Body containing
						subscription containing
							subscriptionType indicating value "CellChangeSubscription",
							callbackReference indicating value CALLBACK_URI,
							filterCriteriaAssocHo containing
								appInsId set to APP_INS_ID,
								associateId set to ASSOCIATE_ID_LIST,
								ecgi set to ECGI,
								hoStatus set to HO_STATUS
							;,
							expiryDeadline set to EXPIRY_DEADLINE
						;
					;
			}
			then {
				the IUT entity sends a httpResponse containing
					Response_Status_Code set to "201 CREATED",
					Message_Body containing
						subscription containing
							subscriptionType indicating value "CellChangeSubscription",
							callbackReference indicating value CALLBACK_URI,
							_links containing
				  				self set to SUBSCRIPTION_HREF_VALUE
							;,
							filterCriteriaAssocHo containing
								appInsId set to APP_INS_ID,
								associateId set to ASSOCIATE_ID_LIST,
								ecgi set to ECGI,
								hoStatus set to HO_STATUS
							;,
							expiryDeadline set to EXPIRY_DEADLINE
						;
					;
				;
			}
		} 		
	}
}
+0 −44
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"
		
		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 a RNIS_subscription containing
				SUBSCRIPTION_HREF indicating value SUBSCRIPTION_HREF_VALUE,
			    SUBSCRIPTION_TYPE indicating value CELL_CHANGE;
		}

 		Expected behaviour
		ensure that {
			when {
				the RNIS_CLIENT entity sends a RNI_all_subscription_query_message to the IUT entity
			}
			then {
				the RNIS_CLIENT entity receives a valid Response containing 
				  Response_Status_Code set to "200 OK",
				  Message_Body containing 
				  	subscriptionLinkList containing
				  		_link containing
				  			self set to omit;,
				  		subscription containing
						   	href indicating value SUBSCRIPTION_HREF_VALUE,
						   	subscriptionType indicating value CELL_CHANGE;
						   	;
				     ;
				  ;
			}
		} 		
	}
}
 No newline at end of file
Loading