Commit 22f83985 authored by Filipe Ferreira's avatar Filipe Ferreira
Browse files

MEC 011 2.0.8 updates.

parent bb06a38f
Loading
Loading
Loading
Loading
+237 −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_app_services {
   
   import all from MEC_Common;

   
   /*
    * Application Service Availability Query (APPSAQ)
    */
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BV_001"
      
      Test objective 
         "Check that the IUT responds with a list of available MEC services 
         for a given application instance when queried by a MEC Application"
      
      Reference "ETSI GS MEC 011 V2.0.8, clause 7.15.3.1",
         "https://forge.etsi.org/gitlab/mec/gs011-app-enablement-api/blob/master/Mp1.yaml#/definitions/ServiceInfo"
      
      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.5
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vGET containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services"
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 011, clause 7.15.3.1
               the IUT entity sends a HttpMsg containing
                  status_code set to "200 OK"
                  body containing
                     ServiceInfoList containing
                        ServiceInfo set to any_value
                     ;
                  ;
               ;
               to the MEC_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BV_002"
      
      Test objective 
         "Check that the IUT notifies the authorised relevant (subscribed) application  
         instances when a new service for a given application instance is registered"
      
      Reference "ETSI GS MEC 011 V2.0.8, clause 7.15.3.4",
         "https://forge.etsi.org/gitlab/mec/gs011-app-enablement-api/blob/master/Mp1.yaml#/definitions/ServiceInfo"

      Config Id Config_MEC_1
      
      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 apps_instance containing
            instance_id indicating value APP_INSTANCE_ID
         ; and
         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 vPOST containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services",
                  body containing
                     serName indicating value SERVICE_NAME
                  ;
               ;
               from the MEC_APP_Registrant entity
            }
            then {
               // MEC 011, clause 7.15.3.4
               the IUT entity sends a HttpMsg containing
                  status_code set to "201 Created",
                  Location set to LOCATION,
                  body containing
                     ServiceInfo containing
                        serName set to SERVICE_NAME
                     ;
                  ;
               ;
               to the MEC_APP_Registrant entity
               and
               // MEC 011, clause 6.4.2
               the IUT entity sends a notification_message containing
                  body containing
                     notificationType set to "SerAvailabilityNotification",
                     services containing
                        serName set to SERVICE_NAME
                     _links containing
                        subscription set to MP1_SUBSCRIPTION_A
                     ;
                     ;
                  ;
               ;
               to the MEC_APP_Subscriber entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BV_003"
      
      Test objective 
         "Check that the IUT responds with the information on a specific service 
         for a given application instance when queried by a MEC Application"
      
      Reference "ETSI GS MEC 011 V2.0.8, clause 7.14.3.1",
         "https://forge.etsi.org/gitlab/mec/gs011-app-enablement-api/blob/master/Mp1.yaml#/definitions/ServiceInfo"

      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 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 "/mp1/v1/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}"
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 011, clause 7.14.3.1
               the IUT entity sends a HttpMsg containing
                  status_code set to "200 OK"
                  body containing
                     ServiceInfo containing
                        serInstanceId set to SERVICE_ID
                     ;
                  ;
               ;
               to the MEC_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BV_004" 
      
      Test objective 
         "Check that the IUT updates a service information for a given 
         application instance when commanded by a MEC Application"
      
      Reference "ETSI GS MEC 011 V2.0.8, clause 7.14.3.2",
         "https://forge.etsi.org/gitlab/mec/gs011-app-enablement-api/blob/master/Mp1.yaml#/definitions/ServiceInfo"

      
      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 services_running containing  
            service_id indicating value SERVICE_ID
         ;
      }

      // MEC 011, clause 5.2.4
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPUT containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}", 
                  body containing
                     version indicating value NEW_VERSION
                  ;
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 011, clause 7.3.3.2
               the IUT entity sends a HttpMsg containing
                  status_code set to "200 OK"
                  body containing
                     ServiceInfo containing
                        version set to NEW_VERSION
                     ;
                  ;
               ;
               to the MEC_APP entity
            }
         }
   }
   
}
+2 −115
Original line number Diff line number Diff line
@@ -28,7 +28,7 @@ Package plat_mp1_services {
         "Check that the IUT responds with a list of available MEC services 
         when queried by a MEC Application"
      
      Reference "ETSI GS MEC 011 V2.0.4, clause 7.4.3.1",
      Reference "ETSI GS MEC 011 V2.0.8, clause 7.4.3.1",
         "https://forge.etsi.org/gitlab/mec/gs011-app-enablement-api/blob/master/Mp1.yaml#/definitions/ServiceInfo"
      
      Config Id Config_MEC_1
@@ -64,69 +64,6 @@ Package plat_mp1_services {
   }


   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_SAQ_BV_002"
      
      Test objective 
         "Check that the IUT notifies the authorised relevant application instances 
         when a new service is registered when they are subscribed"
      
      Reference "ETSI GS MEC 011 V2.0.4, clause 7.4.3.4",
         "https://forge.etsi.org/gitlab/mec/gs011-app-enablement-api/blob/master/Mp1.yaml#/definitions/ServiceInfo"

      Config Id Config_MEC_1
      
      PICS Selection PIC_MEC_PLAT and PIC_SERVICES and PIC_NOTIFICATIONS

      Initial conditions  with {
         the IUT entity being_in idle_state and
         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 vPOST containing
                  Uri indicating value "/mp1/v1/services",
                  body containing
                     serName indicating value SERVICE_NAME
                  ;
               ;
               from the MEC_APP_Registrant entity
            }
            then {
               // MEC 011, clause 7.4.3.4
               the IUT entity sends a HttpMsg containing
                  status_code set to "201 Created",
                  Location set to LOCATION,
                  body containing
                     ServiceInfo containing
                        serName set to SERVICE_NAME
                     ;
                  ;
               ;
               to the MEC_APP_Registrant entity
               and
               // MEC 011, clause 6.4.2
               the IUT entity sends a notification_message containing
                  body containing
                     notificationType set to "SerAvailabilityNotification",
                     services containing
                        serName set to SERVICE_NAME
                     _links containing
                        subscription set to MP1_SUBSCRIPTION_A
                     ;
                     ;
                  ;
               ;
               to the MEC_APP_Subscriber entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_SAQ_BV_003"
      
@@ -134,7 +71,7 @@ Package plat_mp1_services {
         "Check that the IUT responds with the information on a specific service 
         when queried by a MEC Application"
      
      Reference "ETSI GS MEC 011 V2.0.4, clause 7.3.3.1",
      Reference "ETSI GS MEC 011 V2.0.8, clause 7.3.3.1",
         "https://forge.etsi.org/gitlab/mec/gs011-app-enablement-api/blob/master/Mp1.yaml#/definitions/ServiceInfo"

      Config Id Config_MEC_1
@@ -172,54 +109,4 @@ Package plat_mp1_services {
         }
   }


   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_SAQ_BV_004" 
      
      Test objective 
         "Check that the IUT updates a service information 
         when commanded by a MEC Application"
      
      Reference "ETSI GS MEC 011 V2.0.4, clause 7.3.3.2",
         "https://forge.etsi.org/gitlab/mec/gs011-app-enablement-api/blob/master/Mp1.yaml#/definitions/ServiceInfo"

      
      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 services_running containing  
            service_id indicating value SERVICE_ID
         ;
      }

      // MEC 011, clause 5.2.4
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPUT containing
                  Uri indicating value "/mp1/v1/services/{SERVICE_ID}", 
                  body containing
                     version indicating value NEW_VERSION
                  ;
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 011, clause 7.3.3.2
               the IUT entity sends a HttpMsg containing
                  status_code set to "200 OK"
                  body containing
                     ServiceInfo containing
                        version set to NEW_VERSION
                     ;
                  ;
               ;
               to the MEC_APP entity
            }
         }
   }
   
}