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

Update TPs for MEC-012

parent 5393607c
Loading
Loading
Loading
Loading
+10 −10
Original line number Diff line number Diff line
@@ -32,7 +32,7 @@ Package rnis_subscriptions {
      Initial conditions  with {
         the IUT entity having a RNIS_subscription containing
            subscriptionHref indicating value SUBSCRIPTION_HREF_VALUE,
            subscriptionType indicating value CELL_CHANGE
            subscriptionType indicating value "CellChangeSubscription"
         ;
      }

@@ -42,21 +42,21 @@ Package rnis_subscriptions {
            the IUT entity receives a vGET containing
               uri indicating value "/rni/v1/subscriptions" //TODO how to handle query parameters?
               query_parameters containing
                  subscriptionType indicating value CELL_CHANGE
                  subscriptionType indicating value "CellChangeSubscription"
               ;
            ; from the MEC_SUB entity
         }
         then {
            the IUT entity sends a httpResponse containing
               status set to "200 OK",
            the IUT entity sends a HTTP_RESPONSE containing
               status set to HTTP_200_OK,
               body containing
                  subscriptionLinkList containing
                     _links containing
                        self set to SUBSCRIPTION_HREF_VALUE
                     ;,
                     subscription containing
                     CellChangeSubscription containing
                        href indicating value SUBSCRIPTION_HREF_VALUE,
                        subscriptionType indicating value CELL_CHANGE
                        subscriptionType indicating value "CellChangeSubscription"
                     ;
                  ;
               ;
@@ -86,7 +86,7 @@ Package rnis_subscriptions {
            the IUT entity receives a vPOST containing
               uri indicating value "/rni/v1/subscriptions",
               body containing
                  subscription containing
                  CellChangeSubscription containing
                     subscriptionType indicating value "CellChangeSubscription",
                     callbackReference indicating value CALLBACK_URI,
                     filterCriteriaAssocHo containing
@@ -101,10 +101,10 @@ Package rnis_subscriptions {
            ; from the MEC_SUB entity
         }
         then {
            the IUT entity sends a httpResponse containing
               status set to "201 CREATED",
            the IUT entity sends a HTTP_RESPONSE containing
               status set to HTTP_201_CREATED,
               body containing
                  subscription containing
                  CellChangeSubscription containing
                     subscriptionType indicating value "CellChangeSubscription",
                     callbackReference indicating value CALLBACK_URI,
                     _links containing
+36 −24
Original line number Diff line number Diff line
@@ -22,7 +22,7 @@ Package rnis_rab_query {
      TP Id "TP_MEC025_RNI_QUERY_01" 
      
      Test objective 
         "Check that the RNIS service returns the RAB information"
         "Check that the RNIS service returns the RAB information when requested"
      
      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"
@@ -31,7 +31,7 @@ Package rnis_rab_query {
      PICS Selection PIC_RNIS and PIC_RNIS_QUERY

      Initial conditions  with {
         the IUT entity having a RAB_information containing
         the IUT entity having a RabInfo containing
            cellId indicating value CELL_USER_INFO
         ;
      }
@@ -47,11 +47,14 @@ Package rnis_rab_query {
            ; from the RNIS_CLIENT entity
         }
         then {
            the IUT entity sends a httpResponse containing
               status set to "200 OK",
               content_type indicating value CONTENT_JSON,
            the IUT entity sends a HTTP_RESPONSE containing
               status set to HTTP_200_OK,
               body containing 
                  RAB_information indicating value CELL_USER_INFO
                  RabInfo containing
            		cellUserInfo containing
            		  ecgi indicating value CELL_ID
            		  ;
            	  ;
               ;
            ; to the RNIS_CLIENT entity
         }
@@ -62,7 +65,7 @@ Package rnis_rab_query {
      TP Id "TP_MEC025_RNI_QUERY_02" 
      
      Test objective 
         "Check that the RNIS service returns the PLMN information"
         "Check that the RNIS service returns the PLMN information when requested"
      
      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"
@@ -71,7 +74,7 @@ Package rnis_rab_query {
      PICS Selection PIC_RNIS and PIC_RNIS_QUERY

      Initial conditions  with {
         the IUT entity having a PLMN_information containing
         the IUT entity having a PlmnInfo containing
            appInsId indicating value APP_INSTANCE_INFO
         ;
      }
@@ -87,11 +90,12 @@ Package rnis_rab_query {
            ; from the RNIS_CLIENT entity
         }
         then {
            the IUT entity sends a httpResponse containing
               status set to "200 OK",
               content_type indicating value CONTENT_JSON,
            the IUT entity sends a HTTP_RESPONSE containing
               status set to HTTP_200_OK,
               body containing 
                  PLMN_information indicating value APP_INSTANCE_INFO
                  PlmnInfo containing 
                  	appInsId indicating value APP_INS_ID
                  ;
               ;
            ; to the RNIS_CLIENT entity
         }
@@ -111,8 +115,10 @@ Package rnis_rab_query {
      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
         the IUT entity having a S1BearerInfo containing
            s1UeInfo containing 
              ecgi indicating value CELL_ID
            ;
         ;
      }

@@ -127,11 +133,12 @@ Package rnis_rab_query {
            ; from the RNIS_CLIENT entity
         }
         then {
            the IUT entity sends a httpResponse containing
               status set to "200 OK",
               content_type indicating value CONTENT_JSON,
            the IUT entity sends a HTTP_RESPONSE containing
               status set to HTTP_200_OK,
               body containing 
                  S1_Bearer_information indicating value S1_BEARER_UE_INFO
                  S1BearerInfo containing 
                  	ecgi indicating value CELL_ID
                  ;
               ;
            ; to the RNIS_CLIENT entity
         }
@@ -145,14 +152,16 @@ Package rnis_rab_query {
         "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"
         "https://forge.etsi.org/gitlab/mec/gs012-rnis-api/blob/master/RniAPI.yaml"		//TODO: not yet available in OpenAPI spec. To be added later
      
      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
            cellInfo containing
              ecgi indicating value CELL_ID
            ;
         ;
      }

@@ -167,11 +176,14 @@ Package rnis_rab_query {
            ; from the RNIS_CLIENT entity
         }
         then {
            the IUT entity sends a httpResponse containing
               status set to "200 OK",
               content_type indicating value CONTENT_JSON,
            the IUT entity sends a HTTP_RESPONSE containing
               status set to HTTP_200_OK,
               body containing 
                  L2_Meas_information indicating value CELL_L2_MEASUREMENTS_INFO
                  L2_Meas_information containing
            		cellInfo containing
              		  ecgi indicating value CELL_ID
            		;
                  ;
               ;
            ; to the RNIS_CLIENT entity
         }
+19 −61
Original line number Diff line number Diff line
@@ -35,15 +35,8 @@ Package rnis_subscriptions_id {
            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
               self set to "/rni/v1/subscriptions/{SUBSCRIPTION_ID}"
            ;
         ;
      }

@@ -51,26 +44,19 @@ Package rnis_subscriptions_id {
      ensure that {
         when {
            the IUT entity receives a vGET containing
               uri indicating value SUBSCRIPTION_HREF_VALUE
               uri indicating value "/rni/v1/subscriptions/{SUBSCRIPTION_ID}"
            ; from the MEC_SUB entity
         }
         then {
            the IUT entity sends a httpResponse containing
               status set to "200 OK",
            the IUT entity sends a HTTP_RESPONSE containing
               status set to HTTP_200_OK,
               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
                        self set to "/rni/v1/subscriptions/{SUBSCRIPTION_ID}"
                     ;
                  ;
               ;
            ; to the MEC_SUB entity
@@ -95,15 +81,8 @@ Package rnis_subscriptions_id {
            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
               self set to "/rni/v1/subscriptions/{SUBSCRIPTION_ID}"
            ;
         ;
      }

@@ -117,36 +96,22 @@ Package rnis_subscriptions_id {
                     subscriptionType indicating value "CellChangeSubscription",
                     callbackReference indicating value NEW_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
                        self set to "/rni/v1/subscriptions/{SUBSCRIPTION_ID}"
                     ;
                  ;
               ;
            ; from the MEC_SUB entity
         }
         then {
            the IUT entity sends a httpResponse containing
               status set to "200 OK",
            the IUT entity sends a HTTP_RESPONSE containing
               status set to HTTP_200_OK,
               body containing
                  subscription containing
                     subscriptionType indicating value "CellChangeSubscription",
                     callbackReference indicating value NEW_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
                        self set to "/rni/v1/subscriptions/{SUBSCRIPTION_ID}"
                     ;
                  ;
               ;
            ; to the MEC_SUB entity
@@ -172,15 +137,8 @@ Package rnis_subscriptions_id {
            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
               self set to "/rni/v1/subscriptions/{SUBSCRIPTION_ID}"
            ;
         ;
      }

@@ -192,8 +150,8 @@ Package rnis_subscriptions_id {
            ; from the MEC_SUB entity
         }
         then {
            the IUT entity sends a httpResponse containing
               status set to "204 NO CONTENT"
            the IUT entity sends a HTTP_RESPONSE containing
               status set to HTTP_204_NO_CONTENT
            ; to the MEC_SUB entity
         }
      }       
+30 −204

File changed.

Preview size limit exceeded, changes collapsed.

+0 −4
Original line number Diff line number Diff line
@@ -14,10 +14,6 @@ Package MEC_012_Domain {
         - MEC_SUB
       ;
       events:
         - RAB_information
         - PLMN_information
         - S1_Bearer_information
         - L2_Meas_information
         - perform_RNIS_query_to
         - having_RNIS_subscription
         - having_RNIS_subscription_privileges