Commit 01336fcc authored by Filipe Ferreira's avatar Filipe Ferreira
Browse files

MEC 013 v2.0.3 negative test cases.

parent 843e5226
Loading
Loading
Loading
Loading
+3 −3
Original line number Original line Diff line number Diff line
@@ -133,8 +133,8 @@ Package MEC_MEO_UEAPPS {


      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the UE_APP entity having a appInfo containing
         the UE_APP entity "not" having a appInfo containing
            appName indicating value APP_NAME
            appName indicating value NON_EXISTING_APP_NAME
         ;
         ;
      }
      }
   
   
@@ -146,7 +146,7 @@ Package MEC_MEO_UEAPPS {
                  uri indicating value "mx2/v2/app_list",
                  uri indicating value "mx2/v2/app_list",
                  query_parameters containing
                  query_parameters containing
                     // Wrong value should trigger an error response.
                     // Wrong value should trigger an error response.
                     appName indicating value UNKNOWN_APP_NAME
                     appName indicating value NON_EXISTING_APP_NAME
                  ;
                  ;
               ;
               ;
               from the UE_APP entity
               from the UE_APP entity
+0 −127
Original line number Original line Diff line number Diff line
/*
Copyright (c) ETSI 2018.

This software is subject to copyrights owned by ETSI. Non-exclusive permission
is hereby granted, free of charge, to copy, reproduce and amend this file
under the following conditions: It is provided "as is", without warranty of any
kind, expressed or implied.

ETSI shall never be liable for any claim, damages, or other liability arising
from its use or inability of use.This permission does not apply to any documentation
associated with this file for which ETSI keeps all rights reserved. The present
copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
*/

Package MEC_SRV_UEAREASUB {

   import all from MEC_Common;


   /*
    * UE Area Subscribe (UEAREASUB)
    */

    Test Purpose {
      TP Id "TP_MEC_SRV_UEAREASUB_001_OK"

      Test objective
         "Check that the IUT acknowledges the UE area change subscription request when
         commanded by a MEC Application and notifies it when the UE enters the specified circle"

      Reference "ETSI GS MEC 013 V2.0.3, clause 7.3.11"

      Config Id Config_MEC_1

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state
      }

      // MEC 013, clause 5.3.11
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPOST containing
                  uri indicating value "location/v2/subscriptions/area/circle",
                  body containing
                     circleNotificationSubscription containing 
                        clientCorrelator indicating value CLIENT_ID, 
                        callbackReference indicating value CALLBACK_URL,
                        address indicating value IP_ADDRESS
                     ;
                  ;
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 013, clause 7.3.11.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "201 Created"
                  body containing
                     circleNotificationSubscription containing 
                        clientCorrelator indicating value CLIENT_ID, 
                        callbackReference indicating value CALLBACK_URL,
                        address indicating value IP_ADDRESS
                     ;
                  ;
               ;
               to the MEC_APP entity
               and
               // MEC 013, clause 7.3.11.3
               the IUT entity sends a vPOST containing
                  uri indicating value CALLBACK_URL,
                  body containing
                     subscriptionNotification containing
                        terminalLocation containing
                           address set to IP_ADDRESS
                        ;
                     ;
                  ;
               ;
               to the MEC_APP entity
            }
         }
   }

   Test Purpose {
      TP Id "TP_MEC_SRV_UEAREASUB_002_OK"
   
      Test objective
      "Check that the IUT acknowledges the cancellation of UE area change notifications  
      when commanded by a MEC Application"
   
      Reference "ETSI GS MEC 013 V2.0.3, clause 7.3.6"
   
      Config Id Config_MEC_1
   
      PICS Selection PIC_MEC_PLAT and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity having a subscriptions containing 
            subscriptionId indicating value SUBSCRIPTION_ID
         ;
      }
   
      // MEC 013, clause 5.3.6
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vDELETE containing
                  uri indicating value "location/v2/subscriptions/area/circle/{SUBSCRIPTION_ID}" 
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 013, clause 7.3.6.6
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "204 No Content"
               ;
               to the MEC_APP entity
            }
         }
   }

}
+41 −4
Original line number Original line Diff line number Diff line
@@ -47,10 +47,7 @@ Package MEC_SRV_RLOC {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vGET containing
               the IUT entity receives a vGET containing
                  uri indicating value "location/v2/zones/{ZONE_ID}/accessPoints",
                  uri indicating value "location/v2/zones/{ZONE_ID}/accessPoints"
                  query_parameters containing
                     zoneId indicating value ZONE_ID
                  ;
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
            }
            }
@@ -69,4 +66,44 @@ Package MEC_SRV_RLOC {
         }
         }
   }
   }



   Test Purpose {
      TP Id "TP_MEC_SRV_RLOC_001_NF"

      Test objective
         "Check that the IUT responds with an error when
         a request for an URI that cannot be mapped to a valid resource URI
         is sent by a MEC Application"

      Reference "ETSI GS MEC 013 V1.5.0, clause 7.3.7",
         "https://forge.etsi.org/gitlab/mec/gs013-location-api/blob/master/LocationAPI.yaml#/definitions/AccessPointList"

      Config Id Config_MEC_1

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity "not" having a ue_location containing 
            zoneId indicating value NON_EXISTENT_ZONE_ID
         ;
      }

      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vGET containing
                  uri indicating value "location/v2/zones/{NON_EXISTENT_ZONE_ID}/accessPoints"
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 013, clause 7.3.7
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "404 Not Found"
               ;
               to the MEC_APP entity
            }
         }
   }
}
}
+86 −0
Original line number Original line Diff line number Diff line
@@ -85,6 +85,52 @@ Package MEC_SRV_UEAREASUB {
         }
         }
   }
   }



    Test Purpose {
      TP Id "TP_MEC_SRV_UEAREASUB_001_BR"

      Test objective
         "Check that the IUT responds with an error when
         a request with incorrect parameters is sent by a MEC Application"

      Reference "ETSI GS MEC 013 V2.0.3, clause 7.3.11"

      Config Id Config_MEC_1

      PICS Selection PIC_MEC_PLAT and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state
      }

      // MEC 013, clause 5.3.11
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPOST containing
                  uri indicating value "location/v2/subscriptions/area/circle",
                  body containing
                     circleNotificationSubscription containing 
                        clientCorrelator indicating value CLIENT_ID, 
                        // Wrong name should trigger an error response.
                        callback indicating value CALLBACK_URL,
                        address indicating value IP_ADDRESS
                     ;
                  ;
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 013, clause 7.3.11.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "400 Bar Request"
               ;
               to the MEC_APP entity
            }
         }
   }


   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_SRV_UEAREASUB_002_OK"
      TP Id "TP_MEC_SRV_UEAREASUB_002_OK"
   
   
@@ -124,4 +170,44 @@ Package MEC_SRV_UEAREASUB {
         }
         }
   }
   }



   Test Purpose {
      TP Id "TP_MEC_SRV_UEAREASUB_002_NF"
   
      Test objective
         "Check that the IUT responds with an error when
         a request for an URI that cannot be mapped to a valid resource URI
         is sent by a MEC Application"
   
      Reference "ETSI GS MEC 013 V2.0.3, clause 7.3.6"
   
      Config Id Config_MEC_1
   
      PICS Selection PIC_MEC_PLAT and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity "not" having a subscriptions containing 
            subscriptionId indicating value NON_EXISTING_SUBSCRIPTION_ID
         ;
      }
   
      // MEC 013, clause 5.3.6
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vDELETE containing
                  uri indicating value "location/v2/subscriptions/area/circle/{NON_EXISTING_SUBSCRIPTION_ID}" 
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 013, clause 7.3.6.6
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "404 Not Found"
               ;
               to the MEC_APP entity
            }
         }
   }
}
}
+43 −0
Original line number Original line Diff line number Diff line
@@ -65,4 +65,47 @@ Package MEC_SRV_UEDISTLOOK {
         }
         }
   }
   }



   Test Purpose {
      TP Id "TP_MEC_SRV_UEDISTLOOK_001_BR"
   
      Test objective
         "Check that the IUT responds with an error when
         a request with incorrect parameters is sent by a MEC Application"
   
      Reference "ETSI GS MEC 013 V2.0.3, clause 7.3.9"
   
      Config Id Config_MEC_1
   
      PICS Selection PIC_MEC_PLAT and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state
      }
   
      // MEC 013, clause 5.3.9
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vGET containing
                  uri indicating value "location/v2/queries",
                  query_parameters containing
                     address indicating value any_value,
                     // Wrong name should trigger an error response.
                     lat indicating value any_value,
                     longitude indicating value any_value
                  ;
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 013, clause 7.3.9.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "400 Bad Request"
               ;
               to the MEC_APP entity
            }
         }
   }

}
}
Loading