Commit 1fa2c86f authored by Filipe Ferreira's avatar Filipe Ferreira
Browse files

Update as per Meeting 9 TODOs.

parent dc279ed1
Loading
Loading
Loading
Loading
+197 −0
Original line number 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 plat_mp1_dns_rules {

   import all from MEC_Common;
   import all from MEC_011_DATA;
   import all from MEC_011_Domain;


   /*
    * DNS rules (DNS)
    */
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_DNS_BV_001"

      Test objective
         "Check that the IUT responds with a list of active DNS rules
         when queried by a MEC Application"

      Reference "ETSI GS MEC 011 V2.0.4, clause 7.12.3.1"

      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 apps_instance containing
            instance_id indicating value APP_INSTANCE_ID;
      }

      // MEC 011, clause 5.2.8
      Expected behaviour
          ensure that {
              when {
                  the IUT entity receives a vGET containing
                      Uri indicating value "mp1/v1/applications/{APP_INSTANCE_ID}/dns_rules"
                  ;
                  from the MEC_APP entity
              }
              then {
                  the IUT entity sends a HTTP_RESPONSE_200_OK containing
                      body containing
                        valid_DnsRule_list;
                  ;
                  to the MEC_APP entity
              }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_DNS_BV_002"

      Test objective
         "Check that the IUT responds with the information on a specific DNS rule
         when queried by a MEC Application"

      Reference "ETSI GS MEC 011 V2.0.4, clause 7.13.3.1"

      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 apps_instance containing
            instance_id indicating value APP_INSTANCE_ID; and
         the IUT entity having a dns_rules containing
            rule_id indicating value DNS_RULE_ID;
      }

      // MEC 011, clause 5.2.8
      Expected behaviour
          ensure that {
              when {
                  the IUT entity receives a vGET containing
                      Uri indicating value "mp1/v1/applications/{APP_INSTANCE_ID}/dns_rules/{DNS_RULE_ID}" 
                  ;
                  from the MEC_APP entity
              }
              then {
                  the IUT entity sends a HTTP_RESPONSE_200_OK containing
                      body containing
                        valid_DnsRule;
                  ;
                  to the MEC_APP entity
              }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_DNS_BV_003"

      Test objective
         "Check that the IUT updates a specific DNS rule
         when commanded by a MEC Application"

      Reference "ETSI GS MEC 011 V2.0.4, clause 7.13.3.2"

      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 apps_instance containing
            instance_id indicating value APP_INSTANCE_ID; and
         the IUT entity having a dns_rules containing
            rule_id indicating value DNS_RULE_ID;
      }

      // MEC 011, clause 5.2.8
      Expected behaviour
          ensure that {
              when {
                  the IUT entity receives a vPUT containing
                      Uri indicating value "mp1/v1/applications/{APP_INSTANCE_ID}/dns_rules/{DNS_RULE_ID}" 
                      body containing
                         dnsRule set to DNS_RULE_SAMPLE_1
                      ;
                  ;
                  from the MEC_APP entity
              }
              then {
                  // MEC 011, clause 7.13.3.2
                  the IUT entity sends a HTTP_RESPONSE_200_OK containing
                    body containing
                      dnsRule set to DNS_RULE_SAMPLE_1
                    ;
                  ;
                  to the MEC_APP entity
              }
      }
   }


   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_DNS_BI_001"

      Test objective
         "Check that the IUT responds with an error when
         not compliant data is sent for an update to a specific DNS rule
         by a MEC Application"

      Reference "ETSI GS MEC 011 V2.0.4, clause 7.13.3.2"

      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 apps_instance containing
            instance_id indicating value APP_INSTANCE_ID; and
         the IUT entity having a dns_rules containing
            rule_id indicating value DNS_RULE_ID;
      }

      // MEC 011, clause 5.2.8
      Expected behaviour
          ensure that {
              when {
                  the IUT entity receives a vPUT containing
                      Uri indicating value "mp1/v1/applications/{APP_INSTANCE_ID}/dns_rules/{DNS_RULE_ID}" 
                      body containing
                         dnsRule set to DNS_RULE_SAMPLE_BAD_REQUEST
                      ;
                  ;
                  from the MEC_APP entity
              }
              then {
                  // MEC 011, clause 7.13.3.2
                  the IUT entity sends a HTTP_RESPONSE_400_BAD_REQUEST containing
                          body containing
                            problemDetails set to DNS_RULE_SAMPLE_BAD_REQUEST_DETAILS
                          ;
                        ;
                  to the MEC_APP entity
              }
      }
   }
}
+191 −0
Original line number 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 plat_mp1_notifications {
   
   import all from MEC_Common;
   import all from MEC_011_DATA;
   import all from MEC_011_Domain;

   
   /*
    * Notifications (NTF)
    */
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_NTF_BV_001"  
      
      Test objective 
         "Check that the IUT responds with a list of subscriptions for notifications  
         on services availability when queried by a MEC Application"
      
      Reference "ETSI GS MEC 011 V2.0.4, clause 7.6.3.1"
      
      Config Id Config_MEC_1
      
      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity having a apps_instance containing
            instance_id indicating value APP_INSTANCE_ID;
      }

      // MEC 011, clause 5.2.6
      Expected behaviour
          ensure that {
              when {
                  the IUT entity receives a vGET containing
                      Uri indicating value "mp1/v1/applications/{APP_INSTANCE_ID}/subscriptions" 
                  ;
                  from the MEC_APP entity
              }
              then {
                  the IUT entity sends a HTTP_RESPONSE_200_OK containing
                      body containing
                        valid_Mp1SubscriptionLinkList;
                  ;
                  to the MEC_APP entity
              }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_NTF_BV_002" 
      
      Test objective 
         "Check that the IUT acknowledges the subscription by a MEC Application
         to notifications on service availability events"
      
      Reference "ETSI GS MEC 011 V2.0.4, clause 7.6.3.1"
      
      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 apps_instance containing
            instance_id indicating value APP_INSTANCE_ID;
      }

      // MEC 011, clause 5.2.6.2
      Expected behaviour
          ensure that {
              when {
                  the IUT entity receives a vPOST containing
                      Uri indicating value "mp1/v1/applications/{APP_INSTANCE_ID}/subscriptions" 
                      body containing
                         SerAvailabilityNotificationSubscription set to SERVICE_AVAIL_NOTIF_SUBS_SAMPLE_1
                      ;
                  ;
                  from the MEC_APP entity
              }
              then {
                  // MEC 011, clause 7.6.3.4
                  the IUT entity sends a HTTP_RESPONSE_201_CREATED containing
                          Location set to LOCATION,
                          body containing
                             notificationType set to "SerAvailabilityNotification",
                             services set to SERVICE_AVAIL_NOTIF_SUBS_SAMPLE_1,
                             _links containing
                                subscription set to MP1_SUBSCRIPTION;
                          ;
                        ;
                  to the MEC_APP entity
              }
      }
   }


   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_NTF_BV_003"  
      
      Test objective 
         "Check that the IUT responds with the information on a specific subscription 
         when queried by a MEC Application"
      
      Reference "ETSI GS MEC 011 V2.0.4, clause 7.5.3.1"
      
      Config Id Config_MEC_1
      
      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity having a apps_instance containing
            instance_id indicating value APP_INSTANCE_ID; and
         the IUT entity having a subscriptions containing
            subscription_id indicating value SUBSCRIPTION_ID;
      }

      // MEC 011, clause 5.2.6
      Expected behaviour
          ensure that {
              when {
                  the IUT entity receives a vGET containing
                      Uri indicating value "mp1/v1/applications/{APP_INSTANCE_ID}/subscriptions/{SUBSCRIPTION_ID}" 
                  ;
                  from the MEC_APP entity
              }
              then {
                  the IUT entity sends a HTTP_RESPONSE_200_OK containing
                      body containing
                        valid_SerAvailabilityNotificationSubscription;
                  ;
                  to the MEC_APP entity
              }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_NTF_BV_004"  
      
      Test objective 
         "Check that the IUT acknowledges the unsubscribe from service availability event notifications
         when commanded by a MEC Application"
      
      Reference "ETSI GS MEC 011 V2.0.4, clause 7.5.3.5"
      
      Config Id Config_MEC_1
      
      PICS Selection PIC_MEC_PLAT and PIC_NOTIFICATIONS

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity having a apps_instance containing
            instance_id indicating value APP_INSTANCE_ID; and
         the IUT entity having a subscriptions containing
            subscription_id indicating value SUBSCRIPTION_ID;
      }

      // MEC 011, clause 5.2.6
      Expected behaviour
          ensure that {
              when {
                  the IUT entity receives a vDELETE containing
                      Uri indicating value "mp1/v1/applications/{APP_INSTANCE_ID}/subscriptions/{SUBSCRIPTION_ID}" 
                  ;
                  from the MEC_APP entity
              }
              then {
                  the IUT entity sends a HTTP_RESPONSE_204_NO_CONTENT
                  to the MEC_APP entity
              }
         }
   }

}
+201 −0
Original line number Diff line number Diff line
@@ -13,237 +13,189 @@ 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_013_mp1 {
Package plat_mp1_services {
   
   import all from MEC_Common;
   import all from MEC_013_DATA;
   import all from MEC_013_Domain;
   import all from MEC_011_DATA;
   import all from MEC_011_Domain;

   
   /*
    * UE Location Lookup (LOC)
    * Service Availability Query (SAQ)
    */

   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_LOC_BV_001"
      TP Id "TP_MEC_PLAT_MP1_SAQ_BV_001"
      
      Test objective 
      "Check that the IUT responds with a list for the location of User Equipments
         "Check that the IUT responds with a list of available MEC services 
         when queried by a MEC Application"
      
      Reference "ETSI GS MEC 013 V1.5.0, clause 7.3.2"
      Reference "ETSI GS MEC 011 V2.0.4, clause 7.4.3.1"
      
      Config Id Config_MEC_1
      
         PICS Selection PIC_MEC_PLAT PIC_SERVICES
      PICS Selection PIC_MEC_PLAT and PIC_SERVICES

      Initial conditions  with {
            the IUT entity being_in idle_state and
            the IUT entity having a ue_location containing     // TODO This intends to say there's a UE in location
               zoneId indicating value ZONE_ID;                // with zone ID ZONE_ID. Is this the proper way?
         the IUT entity being_in idle_state
      }

      // MEC 011, clause 5.2.5
      Expected behaviour
          ensure that {
              when {
                  the IUT entity receives a vGET containing
                      Uri indicating value "location/v2/users",
                         query_parameters containing
                            zoneId indicating value ZONE_ID;
                      Uri indicating value "/mp1/v1/services"
                  ;
                  from the MEC_APP entity
              }
              then {
                  the IUT entity sends a Response containing
                      Status_Code set to "200 OK",
                      Content_type set to CONTENT_JSON,
                  the IUT entity sends a HTTP_RESPONSE_200_OK containing
                      body containing
                        valid_serviceInfo_list;
                  ;
                  to the MEC_APP entity
              }
      }
   }


   /*
    * UE Information Lookup (INF)
    */

   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_INF_BV_001"
      TP Id "TP_MEC_PLAT_MP1_SAQ_BV_002"
      
      Test objective 
         "Check that the IUT responds with the information pertaining to one or more UEs in a particular location
         when queried by a MEC Application"
         "Check that the IUT notifies the authorised relevant application instances 
         when a new service is registered when they are subscribed"
      
      Reference "ETSI GS MEC 013 V1.5.0, clause 7.3.3"
      Reference "ETSI GS MEC 011 V2.0.4, clause 7.4.3.4"
      
      Config Id Config_MEC_1
      
      PICS Selection PIC_MEC_PLAT PIC_SERVICES
      PICS Selection PIC_MEC_PLAT and PIC_SERVICES and PIC_NOTIFICATIONS

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity having a ue_location containing     // TODO This intends to say there's a UE in location
            zoneId indicating value ZONE_ID;                // with zone ID ZONE_ID. Is this the proper way?
         the MEC_APP_Registrant entity being_in idle_state and
         the MEC_APP_Subscriber entity subscribed_to the MP1_subscription_a
      }


      // MEC 011, clause 5.2.4
      Expected behaviour
          ensure that {
              when {
                  the IUT entity receives a vGET containing
                      Uri indicating value "location/v2/users",
                      query_parameters containing
                         zoneId indicating value ZONE_ID;
                  the IUT entity receives a vPOST containing
                      Uri indicating value "/mp1/v1/services",
                      body containing
                         serviceInfo set to SERVICE_INFO_SAMPLE_1
                      ;
                  ;
                  from the MEC_APP_Registrant entity
              }
              then {
                  the IUT entity sends a Response containing
                      Status_Code set to "200 OK",
                      Content_type set to CONTENT_JSON,
                  // MEC 011, clause 7.4.3.4
                  the IUT entity sends a HTTP_RESPONSE_201_CREATED containing
                          Location set to LOCATION,
                          body containing
                             serviceInfo set to SERVICE_INFO_SAMPLE_1
                          ;
                        ;
                      to the MEC_APP_Registrant entity
                  and
                  // MEC 011, clause 6.4.2
                  the IUT entity sends a notification_message containing
                     body containing
                        valid_userInfo_list;
                        notificationType set to "SerAvailabilityNotification",
                        services set to SERVICE_INFO_SAMPLE_1,
                        _links containing
                           subscription set to MP1_subscription_a;
                     ;
                  ;
                  to the MEC_APP_Subscriber entity
              }
      }
   }



   /*
    * Radio Node Location Lookup (RLOC)
    */

   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_RLOC_BV_001"
      TP Id "TP_MEC_PLAT_MP1_SAQ_BV_003"
      
      Test objective 
         "Check that the IUT responds with the list of radio nodes currently associated with the MEC host and the location of each radio node
         "Check that the IUT responds with the information on a specific service 
         when queried by a MEC Application"
      
      Reference "ETSI GS MEC 013 V1.5.0, clause 7.3.7"
      Reference "ETSI GS MEC 011 V2.0.4, clause 7.3.3.1"
      
      Config Id Config_MEC_1
      
      PICS Selection PIC_MEC_PLAT PIC_SERVICES
      PICS Selection PIC_MEC_PLAT and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity having a ue_location containing     // TODO This intends to say there's a UE in location
            zoneId indicating value ZONE_ID;                // with zone ID ZONE_ID. Is this the proper way?
         the IUT entity having a services_running containing  
            service_id indicating value SERVICE_ID;
      }


      // MEC 011, clause 5.2.5
      Expected behaviour
          ensure that {
              when {
                  the IUT entity receives a vGET containing
                      Uri indicating value "location/v2/zones/ZONE_ID/accessPoints",
                      query_parameters containing
                         zoneId indicating value ZONE_ID;
                      Uri indicating value "/mp1/v1/services/{SERVICE_ID}"
                  ;
                  from the MEC_APP entity
              }
              then {
                  the IUT entity sends a Response containing
                      Status_Code set to "200 OK",
                      Content_type set to CONTENT_JSON,
                  the IUT entity sends a HTTP_RESPONSE_200_OK containing
                      body containing
                        valid_AccessPointList;
                        valid_serviceInfo;
                  ;
                  to the MEC_APP entity
              }
      }
   }



   /*
    * UE Distance Subscribe (DIST)
    */

   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_DIST_BV_001"
      TP Id "TP_MEC_PLAT_MP1_SAQ_BV_004" 
      
      Test objective 
         "Check that the IUT acknowledges the subscription by a MEC Application
         to the notifications on UE distance"
         "Check that the IUT updates a service information 
         when commanded by a MEC Application"
      
      Reference "ETSI GS MEC 013 V1.5.0, clause 7.3.10"
      Reference "ETSI GS MEC 011 V2.0.4, clause 7.3.3.2"
      
      Config Id Config_MEC_1
      
      PICS Selection PIC_MEC_PLAT PIC_SERVICES
      PICS Selection PIC_MEC_PLAT and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state
         the IUT entity being_in idle_state and
         the IUT entity having a services_running containing  
            service_id indicating value SERVICE_ID;
      }

      // MEC 013, clause 5.3.10
      // MEC 011, clause 5.2.4
      Expected behaviour
          ensure that {
              when {
                  the IUT entity receives a vPOST containing
                      Uri indicating value "location/v2/subscriptions/distance",
                  the IUT entity receives a vPUT containing
                      Uri indicating value "/mp1/v1/services/{SERVICE_ID}", 
                      body containing
                         distanceNotificationSubscription set to DISTANCE_NOTIFICATION_SAMPLE_1
                         serviceInfo set to SERVICE_INFO_SAMPLE_2
                      ;
                  ;
                  from the MEC_APP entity
              }
              then {
                  // MEC 013, clause 7.3.10.2
                  the IUT entity sends a response
                        containing
                          Status_Code set to HTTP_201_CREATED,
                          Content_type set to CONTENT_JSON,
                  // MEC 011, clause 7.3.3.2
                  the IUT entity sends a HTTP_RESPONSE_200_OK containing
                          body containing
                             valid_distanceNotificationSubscription;
                        ;
              }
      }
   }



   /*
    * UE Area Subscribe (AREA)
    */

    Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_AREA_BV_001"

      Test objective
         "Check that the IUT acknowledges the subscription by a MEC Application
         to the notifications on UE movement in relation to a geographic area"

      Reference "ETSI GS MEC 013 V1.5.0, clause 7.3.11"

      Config Id Config_MEC_1

      PICS Selection PIC_MEC_PLAT 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 set to GEOGRAPHIC_NOTIFICATION_SAMPLE_1
                             serviceInfo set to SERVICE_INFO_SAMPLE_2
                          ;
                        ;
              }
              then {
                  // MEC 013, clause 7.3.11.2
                  the IUT entity sends a response
                        containing
                          Status_Code set to HTTP_201_CREATED,
                          Content_type set to CONTENT_JSON,
                          body containing
                             valid_circleNotificationSubscription;
                        ;
                  to the MEC_APP entity
              }
      }
   }
   
}
+99 −0

File added.

Preview size limit exceeded, changes collapsed.

+150 −0

File added.

Preview size limit exceeded, changes collapsed.

Loading