Commit 866765ea authored by Michele Carignani's avatar Michele Carignani
Browse files

first review of MEC012 notifications TPs

parent 1f56db02

Test Purposes/MEC012/RNIS_All_subscriptions_query.tplan2

+13 −26
Original line number Diff line number Diff line 
Package rnis_rab_query {

	

	Domain {

		pics:

		- PIC_RNIS

		;

		entities:

		- RNIS_CLIENT

		- IUT

		;

		events:

		- RNIS_subscription

		- perform_RNIS_subscription_query_to

		- privileges

		- sends

		- receives

		;

	}

	import all from MEC_012_Domain;

	

	Test Purpose {

		TP Id "TP/MEC/RNIS/QUERY/SUBSCRIPTION/001"
@@ -28,23 +13,25 @@ Package rnis_rab_query { 
 		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 having privileges to perform_RNIS_subscription_query_to the IUT

			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

		}



 		Expected behaviour

		ensure that {

			when {

				the RNIS_CLIENT entity sends a RNIS all subscription query message 

					to the IUT entity;

				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 and    /* (OK) */

					containing Message_Body containing RNIS_subscription 

						containing SUBSCRIPTION_HREF indicating value SUBSCRIPTION_HREF_VALUE and

						containing SUBSCRIPTION_TYPE indicating value CELL_CHANGE; 

				the RNIS_CLIENT entity receives a valid Response containing 

				  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;

				     ;

				  ;

			}

		} 		

	}

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

+2 −0
Original line number Diff line number Diff line
@@ -10,6 +10,8 @@ Package MEC_012_Domain { 
			events:

			- RAB_information

			- perform_RNIS_query_to

			- having_RNIS_subscription

			- having_RNIS_subscription_privileges

			- privileges

			- sends

			- receives