Commit 88be958b authored by Giada Landi's avatar Giada Landi
Browse files

Update RNIS and AMS

parent 6e7ee3ef
Loading
Loading
Loading
Loading
+510 −506

File changed.

Preview size limit exceeded, changes collapsed.

+179 −35
Original line number Original line Diff line number Diff line
@@ -18,7 +18,7 @@ Package MEC021_APP_MP1_AMS_BV {
   import all from MEC_Common;
   import all from MEC_Common;
   
   
   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_AMS_01" 
      TP Id "TP_MEC_SRV_AMS_001_OK" 
      
      
      Test objective 
      Test objective 
         "Check that the AMS service returns information about the registered application mobility services when requested"
         "Check that the AMS service returns information about the registered application mobility services when requested"
@@ -49,7 +49,8 @@ Package MEC021_APP_MP1_AMS_BV {
               status set to "200 OK",
               status set to "200 OK",
               body containing 
               body containing 
                  AppMobilityServiceInfo containing
                  AppMobilityServiceInfo containing
            		appMobilityServiceId indicating value APP_MOBILITY_SERVICE_ID
            		appMobilityServiceId indicating value APP_MOBILITY_SERVICE_ID,
            		attribute registeredAppMobilityService
            	  ;
            	  ;
               ;
               ;
            ; to the AMS_CLIENT entity
            ; to the AMS_CLIENT entity
@@ -58,7 +59,7 @@ Package MEC021_APP_MP1_AMS_BV {
   }
   }


   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_AMS_02" 
      TP Id "TP_MEC_SRV_AMS_002_OK" 
      
      
      Test objective 
      Test objective 
         "Check that the AMS service creates a new application mobility services when requested"
         "Check that the AMS service creates a new application mobility services when requested"
@@ -90,22 +91,28 @@ Package MEC021_APP_MP1_AMS_BV {
            the IUT entity sends a HTTP_RESPONSE containing
            the IUT entity sends a HTTP_RESPONSE containing
               status set to "201 Created",
               status set to "201 Created",
               body containing
               body containing
                  AppMobilityServiceInfo containing
                     appMobilityServiceId set to any_value,
                     registeredAppMobilityService containing
                     registeredAppMobilityService containing
		                serviceConsumerId containing
		                serviceConsumerId containing
                           appInstanceId set to APP_INS_ID
                           appInstanceId set to APP_INS_ID
                        ;
                        ;
                     ;
                     ;
            	  ;
            	  ;
               ;
            ; to the AMS_CLIENT entity
            ; to the AMS_CLIENT entity
         }
         }
      }       
      }       
   }
   }


   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_AMS_03"
      TP Id "TP_MEC_SRV_AMS_003_OK"
      
      
      Test objective 
      Test objective 
         "Check that the AMS service returns information about the available subscriptions when requested"
         "Check that the AMS service returns information about the available subscriptions when requested.
          Permitted SUBSCRIPTION_TYPE are:
          - MobilityProcedureSubscription
          - AdjacentAppInfoSubscription"
      
      
      Reference "ETSI GS MEC 021 2.0.8, clause 8.6.3.1"
      Reference "ETSI GS MEC 021 2.0.8, clause 8.6.3.1"
      
      
@@ -117,7 +124,7 @@ Package MEC021_APP_MP1_AMS_BV {
            _link containing
            _link containing
                self indicating value SUBSCRIPTION_HREF_VALUE
                self indicating value SUBSCRIPTION_HREF_VALUE
            ;,
            ;,
            subscriptionType indicating value "MobilityProcedureSubscription"		//shall we have a TP for each type of subscription?
            subscriptionType indicating value SUBSCRIPTION_TYPE
         ;
         ;
      }
      }


@@ -127,7 +134,7 @@ Package MEC021_APP_MP1_AMS_BV {
            the IUT entity receives a vGET containing
            the IUT entity receives a vGET containing
               uri indicating value "/amsi/v1/subscriptions/",
               uri indicating value "/amsi/v1/subscriptions/",
               query_parameters containing
               query_parameters containing
                  subscriptionType indicating value "MobilityProcedureSubscription"
                  subscriptionType indicating value SUBSCRIPTION_TYPE
               ;
               ;
            ; from the MEC_SUB entity
            ; from the MEC_SUB entity
         }
         }
@@ -137,8 +144,11 @@ Package MEC021_APP_MP1_AMS_BV {
               body containing
               body containing
                  SubscriptionLinkList containing
                  SubscriptionLinkList containing
                     subscription containing
                     subscription containing
                        href indicating value SUBSCRIPTION_HREF_VALUE,
                        _links containing
			subscriptionType indicating value "MobilityProcedureSubscription"
                           self indicating value SUBSCRIPTION_HREF_VALUE
                        ;,
						subscriptionType indicating value SUBSCRIPTION_TYPE,
						callbackReference set to any_value
                     ;
                     ;
                  ;
                  ;
               ;
               ;
@@ -148,10 +158,13 @@ Package MEC021_APP_MP1_AMS_BV {
   }
   }


   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_AMS_04"
      TP Id "TP_MEC_SRV_AMS_004_OK"
      
      
      Test objective 
      Test objective 
         "Check that the AMS service creates a notification subscriptions when requested"
         "Check that the AMS service creates a notification subscriptions when requested.
          Permitted SUBSCRIPTION_TYPE are:
          - MobilityProcedureSubscription
          - AdjacentAppInfoSubscription"
      
      
      Reference "ETSI GS MEC 021 2.0.8, clause 8.6.3.4"
      Reference "ETSI GS MEC 021 2.0.8, clause 8.6.3.4"
      
      
@@ -168,8 +181,8 @@ Package MEC021_APP_MP1_AMS_BV {
            the IUT entity receives a vPOST containing
            the IUT entity receives a vPOST containing
               uri indicating value "/amsi/v1/subscriptions/",
               uri indicating value "/amsi/v1/subscriptions/",
               body containing
               body containing
                  MobilityProcedureSubscription containing
                  NotificationSubscription containing
		     subscriptionType indicating value "MobilityProcedureSubscription",		//shall we have a TP for each type of subscription?
		             subscriptionType indicating value SUBSCRIPTION_TYPE,
                     callbackReference indicating value CALLBACK_REFERENCE
                     callbackReference indicating value CALLBACK_REFERENCE
                  ;
                  ;
               ;
               ;
@@ -179,8 +192,8 @@ Package MEC021_APP_MP1_AMS_BV {
            the IUT entity sends a HTTP_RESPONSE containing
            the IUT entity sends a HTTP_RESPONSE containing
               status set to "201 CREATED",
               status set to "201 CREATED",
               body containing
               body containing
                  MobilityProcedureSubscription containing
                  NotificationSubscription containing
		     subscriptionType indicating value "MobilityProcedureSubscription",
		             subscriptionType indicating value SUBSCRIPTION_TYPE,
                     callbackReference indicating value CALLBACK_REFERENCE
                     callbackReference indicating value CALLBACK_REFERENCE
                  ;
                  ;
               ;
               ;
@@ -190,10 +203,13 @@ Package MEC021_APP_MP1_AMS_BV {
   }
   }


   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_AMS_05"
      TP Id "TP_MEC_SRV_AMS_005_OK"
      
      
      Test objective 
      Test objective 
         "Check that the AMS service returns information about a given subscription when requested"
         "Check that the AMS service returns information about a given subscription when requested.
          Permitted SUBSCRIPTION_TYPE are:
          - MobilityProcedureSubscription
          - AdjacentAppInfoSubscription"
      
      
      Reference "ETSI GS MEC 021 2.0.8, clause 8.7.3.1"
      Reference "ETSI GS MEC 021 2.0.8, clause 8.7.3.1"
      
      
@@ -206,7 +222,7 @@ Package MEC021_APP_MP1_AMS_BV {
                self indicating value SUBSCRIPTION_HREF_VALUE
                self indicating value SUBSCRIPTION_HREF_VALUE
            ;,
            ;,
            callbackReference indicating value CALLBACK_REFERENCE,
            callbackReference indicating value CALLBACK_REFERENCE,
            subscriptionType indicating value "MobilityProcedureSubscription"		//shall we have a TP for each type of subscription?
            subscriptionType indicating value SUBSCRIPTION_TYPE
         ;
         ;
      }
      }


@@ -221,8 +237,8 @@ Package MEC021_APP_MP1_AMS_BV {
            the IUT entity sends a HTTP_RESPONSE containing
            the IUT entity sends a HTTP_RESPONSE containing
               status set to "200 OK",
               status set to "200 OK",
               body containing
               body containing
                  MobilityProcedureSubscription containing
                  NotificationSubscription containing
		     subscriptionType indicating value "MobilityProcedureSubscription",
		             subscriptionType indicating value SUBSCRIPTION_TYPE,
                     callbackReference indicating value CALLBACK_REFERENCE
                     callbackReference indicating value CALLBACK_REFERENCE
                  ;
                  ;
               ;
               ;
@@ -232,7 +248,7 @@ Package MEC021_APP_MP1_AMS_BV {
   }
   }


   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_AMS_06"
      TP Id "TP_MEC_SRV_AMS_006_OK"
      
      
      Test objective 
      Test objective 
         "Check that the AMS service deletes a given subscription when requested"
         "Check that the AMS service deletes a given subscription when requested"
@@ -246,9 +262,7 @@ Package MEC021_APP_MP1_AMS_BV {
         the IUT entity having a AMS_subscription containing
         the IUT entity having a AMS_subscription containing
            _link containing
            _link containing
                self indicating value SUBSCRIPTION_HREF_VALUE
                self indicating value SUBSCRIPTION_HREF_VALUE
            ;,
            ;
            callbackReference indicating value CALLBACK_REFERENCE,
            subscriptionType indicating value "MobilityProcedureSubscription"		//shall we have a TP for each type of subscription?
         ;
         ;
      }
      }


@@ -268,10 +282,13 @@ Package MEC021_APP_MP1_AMS_BV {
   }
   }


   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_AMS_07"
      TP Id "TP_MEC_SRV_AMS_007_OK"
      
      
      Test objective 
      Test objective 
         "Check that the AMS service modifies a given subscription when requested"
         "Check that the AMS service modifies a given subscription when requested.
		  Permitted SUBSCRIPTION_TYPE are:
          - MobilityProcedureSubscription
          - AdjacentAppInfoSubscription"
      
      
      Reference "ETSI GS MEC 021 2.0.8, clause 8.7.3.2"
      Reference "ETSI GS MEC 021 2.0.8, clause 8.7.3.2"
      
      
@@ -284,7 +301,7 @@ Package MEC021_APP_MP1_AMS_BV {
                self indicating value SUBSCRIPTION_HREF_VALUE
                self indicating value SUBSCRIPTION_HREF_VALUE
            ;,
            ;,
            callbackReference indicating value CALLBACK_REFERENCE,
            callbackReference indicating value CALLBACK_REFERENCE,
            subscriptionType indicating value "MobilityProcedureSubscription"		//shall we have a TP for each type of subscription?
            subscriptionType indicating value SUBSCRIPTION_TYPE
         ;
         ;
      }
      }


@@ -294,8 +311,8 @@ Package MEC021_APP_MP1_AMS_BV {
            the IUT entity receives a vPUT containing
            the IUT entity receives a vPUT containing
               uri indicating value SUBSCRIPTION_HREF_VALUE,
               uri indicating value SUBSCRIPTION_HREF_VALUE,
               body containing
               body containing
                  MobilityProcedureSubscription containing
                  NotificationSubscription containing
		     subscriptionType indicating value "MobilityProcedureSubscription",		//shall we have a TP for each type of subscription?
		             subscriptionType indicating value SUBSCRIPTION_TYPE,
                     callbackReference indicating value NEW_CALLBACK_REFERENCE
                     callbackReference indicating value NEW_CALLBACK_REFERENCE
                  ;
                  ;
               ;
               ;
@@ -305,8 +322,8 @@ Package MEC021_APP_MP1_AMS_BV {
            the IUT entity sends a HTTP_RESPONSE containing
            the IUT entity sends a HTTP_RESPONSE containing
               status set to "200 OK",
               status set to "200 OK",
               body containing
               body containing
                  MobilityProcedureSubscription containing
                  NotificationSubscription containing
		     subscriptionType indicating value "MobilityProcedureSubscription",
		             subscriptionType indicating value SUBSCRIPTION_TYPE,
                     callbackReference indicating value NEW_CALLBACK_REFERENCE
                     callbackReference indicating value NEW_CALLBACK_REFERENCE
                  ;
                  ;
               ;
               ;
@@ -315,4 +332,131 @@ Package MEC021_APP_MP1_AMS_BV {
      }       
      }       
   }
   }
   
   
   Test Purpose {
      TP Id "TP_MEC_SRV_AMS_008_OK"
      
      Test objective 
         "Check that the AMS service sends an AMS notification  about a mobility procedure 
         if the AMS service has an associated subscription and the event is generated"
      
      Reference "ETSI GS MEC 021 2.0.8, clause 7.4.2"
      
      Config Id Config_MEC_1
      PICS Selection PIC_AMS_NOTIFICATIONS

      Initial conditions  with {
         the IUT entity having a AMS_subscription containing 
            subscriptionType indicating value "MobilityProcedureSubscription",
            callbackReference indicating value CALLBACK_URI,
            filterCriteria containing
               appInstanceId set to APP_INSTANCE_ID
            ;
         ;
      }

      Expected behaviour
      ensure that {
         when {
            the IUT entity generates a mobility_procedure_event containing 
               appInstanceId set to APP_INSTANCE_ID;
         }
         then {
            the IUT entity sends a vPOST containing
               uri indicating value CALLBACK_URI,
               body containing
                  notificationType indicating value "MobilityProcedureNotification",
                  targetAppInfo containing
                     appInstanceId set to APP_INSTANCE_ID
                  ;,
                  mobilityStatus set to any_value
               ;
            ; to the MEC_SUB entity
         }
      }
   }
   
   Test Purpose {
      TP Id "TP_MEC_SRV_AMS_009_OK"
      
      Test objective 
         "Check that the AMS service sends an AMS notification about adjacent application instances
         if the AMS service has an associated subscription and the event is generated"
      
      Reference "ETSI GS MEC 021 2.0.8, clause 7.4.3"
      
      Config Id Config_MEC_1
      PICS Selection PIC_AMS_NOTIFICATIONS

      Initial conditions  with {
         the IUT entity having a AMS_subscription containing 
            subscriptionType indicating value "AdjacentAppInfoSubscription",
            callbackReference indicating value CALLBACK_URI,
            filterCriteria containing
               appInstanceId set to APP_INSTANCE_ID
            ;
         ;
      }

      Expected behaviour
      ensure that {
         when {
            the IUT entity generates a adjacent_app_info_event containing 
               appInstanceId set to APP_INSTANCE_ID;
         }
         then {
            the IUT entity sends a vPOST containing
               uri indicating value CALLBACK_URI,
               body containing
                  notificationType indicating value "AdjacentAppInfoNotification",
                  adjacentAppInfo containing
                     appInstanceId set to APP_INSTANCE_ID
                  ;
               ;
            ; to the MEC_SUB entity
         }
      }
   }
   
   Test Purpose {
      TP Id "TP_MEC_SRV_AMS_010_OK"
      
      Test objective 
         "Check that the AMS service sends an AMS notification on subscription expiration   
         if the AMS service has an associated subscription and the event is generated"
      
      Reference "ETSI GS MEC 021 2.0.8, clause 7.4.4"
      
      Config Id Config_MEC_1
      PICS Selection PIC_AMS_NOTIFICATIONS

      Initial conditions  with {
         the IUT entity having a AMS_subscription containing
            subscriptionType indicating value any_value,        //VALID for all subscription types
            callbackReference indicating value CALLBACK_URI,
             _links containing
               self set to SUBSCRIPTION_HREF_VALUE
            ;,
            subscriptionId set to SUBSCRIPTION_ID,
            expiryDeadline set to EXPIRY_DEADLINE
         ;
      }

      Expected behaviour
      ensure that {
         when {
            the IUT entity generates a expiry_notification_event containing 
                subscriptionId set to SUBSCRIPTION_ID;
         }
         then {
            the IUT entity sends a vPOST containing
               uri indicating value CALLBACK_URI,
               body containing
                  notificationType indicating value "ExpiryNotification",		//this field is not in the spec.
                  expiryDeadline set to EXPIRY_DEADLINE
               ;
            ; to the MEC_SUB entity
         }
      }
   }
	
}
}
+172 −176

File changed.

Preview size limit exceeded, changes collapsed.

+35 −31
Original line number Original line Diff line number Diff line
@@ -18,20 +18,30 @@ Package MEC012_APP_MP1_RNI_SUBS_BV {
   import all from MEC_Common;
   import all from MEC_Common;
   
   
   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_RNI_SUBSCRIPTION_01"
      TP Id "TP_MEC_SRV_RNIS_011_OK"
      
      
      Test objective 
      Test objective 
         "Check that the RNIS service sends the list of links to the relevant RNIS subscriptions when requested"
         "Check that the RNIS service sends the list of links to the relevant RNIS subscriptions when requested.
          Acceptable SUBSCRIPTION_TYPE are the following:
          - cell_change	        Cell Change 
          - rab_est	            RAB Establishment
          - rab_mod	            RAB Modification
          - rab_rel	            RAB Release
          - meas_rep_ue	        UE Measurement Report
          - nr_meas_rep_ue	    5G NR UE Measurement Report
          - timing_advance_ue	UE Timing Advance
          - ca_reconf	        Carrier Aggregation Reconfig
          - s1_bearer	        S1 Bearer Notification "
      
      
      Reference "ETSI GS MEC 012 2.0.4, clause 7.6.3.1", 
      Reference "ETSI GS MEC 012 2.0.4, clause 7.6.3.1", 
         "https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/SubscriptionLinkList"
         "https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml#/definitions/SubscriptionLinkList"
      Config Id Config_MEC_1
      Config Id Config_MEC_1
      PICS Selection PIC_RNIS and PIC_RNIS_ALL_SUBSCRIPTIONS
      PICS Selection PIC_RNIS_ALL_SUBSCRIPTIONS


      Initial conditions  with {
      Initial conditions  with {
         the IUT entity having a RNIS_subscription containing
         the IUT entity having a RNIS_subscription containing
            subscriptionHref indicating value SUBSCRIPTION_HREF_VALUE,
            subscriptionHref indicating value SUBSCRIPTION_HREF_VALUE,
            subscriptionType indicating value "CellChangeSubscription"		//shall we have a TP for each type of subscription?
            subscriptionType indicating value SUBSCRIPTION_TYPE
         ;
         ;
      }
      }


@@ -41,7 +51,7 @@ Package MEC012_APP_MP1_RNI_SUBS_BV {
            the IUT entity receives a vGET containing
            the IUT entity receives a vGET containing
               uri indicating value "/rni/v1/subscriptions",
               uri indicating value "/rni/v1/subscriptions",
               query_parameters containing
               query_parameters containing
                  subscriptionType indicating value "cell_change"
                  subscription_type indicating value SUBSCRIPTION_TYPE
               ;
               ;
            ; from the MEC_SUB entity
            ; from the MEC_SUB entity
         }
         }
@@ -52,7 +62,7 @@ Package MEC012_APP_MP1_RNI_SUBS_BV {
                  subscriptionLinkList containing
                  subscriptionLinkList containing
                     subscription containing
                     subscription containing
                        href indicating value SUBSCRIPTION_HREF_VALUE,
                        href indicating value SUBSCRIPTION_HREF_VALUE,
			subscriptionType indicating value "CELL_CHANGE"
						subscriptionType indicating value SUBSCRIPTION_TYPE
                     ;
                     ;
                  ;
                  ;
               ;
               ;
@@ -62,15 +72,25 @@ Package MEC012_APP_MP1_RNI_SUBS_BV {
   }
   }
   
   
   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_RNI_SUBSCRIPTION_02"
      TP Id "TP_MEC_SRV_RNIS_012_OK"
      
      
      Test objective 
      Test objective 
         "Check that the RNIS service creates a new RNIS subscription"
         "Check that the RNIS service creates a new RNIS subscription.
          Acceptable SUBSCRIPTION_TYPE are the following:
          - CellChangeSubscription
          - RabEstSubscription
          - RabModSubscription
          - RabRelSubscription
          - MeasRepUeSubscription
          - MeasTaSubscription
          - CaReconfSubscription
          - S1BearerSubscription
          - NrMeasRepUeSubscription"
      
      Reference "ETSI GS MEC 012 2.0.4, clause 7.6.3.4"
      
      
      Reference "ETSI GS MEC 012 2.0.4, 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
      Config Id Config_MEC_1
      PICS Selection PIC_RNIS and PIC_RNIS_ALL_SUBSCRIPTIONS
      PICS Selection PIC_RNIS_ALL_SUBSCRIPTIONS


      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state
         the IUT entity being_in idle_state
@@ -83,15 +103,8 @@ Package MEC012_APP_MP1_RNI_SUBS_BV {
               uri indicating value "/rni/v1/subscriptions",
               uri indicating value "/rni/v1/subscriptions",
               body containing
               body containing
                  CellChangeSubscription containing
                  CellChangeSubscription containing
                     subscriptionType indicating value "CellChangeSubscription",	//shall we have a TP for each type of subscription?
                     subscriptionType indicating value SUBSCRIPTION_TYPE,
                     callbackReference indicating value CALLBACK_URI,
                     callbackReference indicating value CALLBACK_URI
                     filterCriteriaAssocHo containing
                        appInstanceId 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
                  ;
                  ;
               ; 
               ; 
            ; from the MEC_SUB entity
            ; from the MEC_SUB entity
@@ -101,18 +114,9 @@ Package MEC012_APP_MP1_RNI_SUBS_BV {
               status set to "201 Created",
               status set to "201 Created",
               body containing
               body containing
                  CellChangeSubscription containing
                  CellChangeSubscription containing
                     subscriptionType indicating value "CellChangeSubscription",
                     subscriptionType indicating value SUBSCRIPTION_TYPE,
                     callbackReference indicating value CALLBACK_URI,
                     callbackReference indicating value CALLBACK_URI,
                     _links containing
                     attribute _links
                        self set to SUBSCRIPTION_HREF_VALUE
                     ;,
                     filterCriteriaAssocHo containing
                        appInstanceId 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
                  ;
                  ;
               ;
               ;
            ; to the MEC_SUB entity
            ; to the MEC_SUB entity
+334 −334

File changed.

Preview size limit exceeded, changes collapsed.

Loading