Commit cf6e359d authored by YannGarcia's avatar YannGarcia
Browse files

TTF T024: Review PlatAppServices, PlatSrvSubscriptions & Liveness TPs

parent f15812d0

Test Purposes/MEC011/SRV/APPSAQ/PlatAppServices.tplan2

+93 −132
Original line number Diff line number Diff line
@@ -15,10 +15,12 @@ Package MEC_MEC011_SRV_APPSAQ { 
      TP Id "TP_MEC_MEC011_SRV_APPSAQ_001_OK"



      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"

         "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 3.2.1, clause 8.2.6.3.1",

      Reference

         "ETSI GS MEC 011 3.2.1, clause 5.2.5",

         "ETSI GS MEC 011 3.2.1, clause 8.1.2.2",

         "ETSI GS MEC 011 3.2.1, clause 8.2.6.3.1",

         "https://forge.etsi.org/rep/mec/gs011-app-enablement-api/blob/master/MecServiceMgmtApi.yaml#L722#/definitions/ServiceInfo" //Outdated



      Config Id Config_MEC_1
@@ -28,8 +30,7 @@ Package MEC_MEC011_SRV_APPSAQ { 
      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

         ;

            instance_id indicating value APP_INSTANCE_ID;

      }



      // MEC 011 3.2.1, clause 5.2.5
@@ -37,8 +38,7 @@ Package MEC_MEC011_SRV_APPSAQ { 
         ensure that {

            when {

               the IUT entity receives a vGET containing

                  uri indicating value "/mec_service_mgmt/v2/applications/{APP_INSTANCE_ID}/services"

               ;

                  uri indicating value "/mec_service_mgmt/v2/applications/{APP_INSTANCE_ID}/services";

               from the MEC_APP entity

            }

            then {
@@ -46,9 +46,7 @@ Package MEC_MEC011_SRV_APPSAQ { 
               the IUT entity sends a HTTP_RESPONSE containing

                  status_code set to "200 OK"

                  body containing

	                  ServiceInfo set to any_value			// @TODO: Should be a list of ServiceInfos. How can we express it in TDL?

                  ;

               ;

                     ServiceInfo set to any_value;; // @TODO: Should be a list of ServiceInfos. How can we express it in TDL?

               to the MEC_APP entity

            }

         }
@@ -59,10 +57,13 @@ Package MEC_MEC011_SRV_APPSAQ { 
      TP Id "TP_MEC_MEC011_SRV_APPSAQ_001_BR"



      Test objective

         "Check that the IUT responds with an error when

         a request with incorrect parameters is sent by a MEC Application"

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



      Reference "ETSI GS MEC 011 3.2.1, clause 8.2.6.3.1"

      Reference

         "ETSI GS MEC 011 3.2.1, clause 5.2.5",

         "ETSI GS MEC 011 3.2.1, clause 8.1.2.2",

         "ETSI GS MEC 011 3.2.1, clause 8.2.6.3.1",

         "https://forge.etsi.org/rep/mec/gs011-app-enablement-api/blob/master/MecServiceMgmtApi.yaml#L722#/definitions/ServiceInfo" //Outdated



      Config Id Config_MEC_1
@@ -71,8 +72,7 @@ Package MEC_MEC011_SRV_APPSAQ { 
      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

         ;

            instance_id indicating value APP_INSTANCE_ID;

      }



      // MEC 011 3.2.1, clause 5.2.5
@@ -82,17 +82,13 @@ Package MEC_MEC011_SRV_APPSAQ { 
               the IUT entity receives a vGET containing

                  uri indicating value "/mec_service_mgmt/v2/applications/{APP_INSTANCE_ID}/services"

                  query_parameters containing

                     // Wrong parameter name should trigger an error response.

                     instance_id indicating value any_value

                  ;

               ;

                     instance_id indicating value any_value;; // Wrong parameter name should trigger an error response.

               from the MEC_APP entity

            }

            then {

               // MEC 011 3.2.1, clause 8.2.6.3.1

               the IUT entity sends a HTTP_RESPONSE containing

                  status_code set to "400 Bad Request"

               ;

                  status_code set to "400 Bad Request";

               to the MEC_APP entity

            }

         }
@@ -103,12 +99,13 @@ Package MEC_MEC011_SRV_APPSAQ { 
      TP Id "TP_MEC_MEC011_SRV_APPSAQ_002_OK"



      Test objective

         "Check that the IUT notifies the authorised relevant (subscribed) application

         instances when a new service for a given application instance is registered"

         "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 3.2.1, clause 8.2.6.3.4",

      Reference

         "ETSI GS MEC 011 3.2.1, clause 5.2.5",

         "ETSI GS MEC 011 3.2.1, clause 8.1.2.2",

         "ETSI GS MEC 011 3.2.1, clause 8.2.6.3.4",

         "https://forge.etsi.org/rep/mec/gs011-app-enablement-api/blob/master/MecServiceMgmtApi.yaml#L722#/definitions/ServiceInfo" //Outdated



      Config Id Config_MEC_1



      PICS Selection PIC_MEC_PLAT and PIC_SERVICES and PIC_NOTIFICATIONS
@@ -116,8 +113,7 @@ Package MEC_MEC011_SRV_APPSAQ { 
      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

            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

      }
@@ -130,10 +126,7 @@ Package MEC_MEC011_SRV_APPSAQ { 
                  uri indicating value "/mec_service_mgmt/v2/applications/{APP_INSTANCE_ID}/services",

                  body containing

                     ServiceInfo containing

                        serName indicating value SERVICE_NAME

                     ;

                  ;

               ;

                        serName indicating value SERVICE_NAME;;;

               from the MEC_APP_Registrant entity

            }

            then {
@@ -143,24 +136,15 @@ Package MEC_MEC011_SRV_APPSAQ { 
                  Location set to LOCATION,

                  body containing

                     ServiceInfo containing

                        serName set to SERVICE_NAME

                     ;

                  ;

               ;

                        serName set to SERVICE_NAME;;;

               to the MEC_APP_Registrant entity

               and

               

               the IUT entity sends a notification_message containing

               and 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

                     ;

                     ;

                  ;

               ;

                        subscription set to MP1_SUBSCRIPTION_A;;;;

               to the MEC_APP_Subscriber entity

            }

         }
@@ -171,10 +155,13 @@ Package MEC_MEC011_SRV_APPSAQ { 
      TP Id "TP_MEC_MEC011_SRV_APPSAQ_002_BR"



      Test objective

         "Check that the IUT responds with an error when

         a request with incorrect parameters is sent by a MEC Application"

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



      Reference "ETSI GS MEC 011 3.2.1, clause 8.2.6.3.4"

      Reference

         "ETSI GS MEC 011 3.2.1, clause 5.2.5",

         "ETSI GS MEC 011 3.2.1, clause 8.1.2.2",

         "ETSI GS MEC 011 3.2.1, clause 8.2.6.3.4",

         "https://forge.etsi.org/rep/mec/gs011-app-enablement-api/blob/master/MecServiceMgmtApi.yaml#L722#/definitions/ServiceInfo" //Outdated



      Config Id Config_MEC_1
@@ -183,8 +170,7 @@ Package MEC_MEC011_SRV_APPSAQ { 
      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

            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

      }
@@ -197,18 +183,13 @@ Package MEC_MEC011_SRV_APPSAQ { 
                  uri indicating value "/mec_service_mgmt/v2/applications/{APP_INSTANCE_ID}/services",

                  body containing

                     ServiceInfo containing

                        // Wrong parameter name should trigger an error response.

                        Name indicating value SERVICE_NAME

                     ;

                  ;

               ;

                        Name indicating value SERVICE_NAME;;; // Wrong parameter name should trigger an error response.

               from the MEC_APP_Registrant entity

            }

            then {

               // MEC 011 3.2.1, clause 8.2.6.3.4

               the IUT entity sends a HTTP_RESPONSE containing

                  status_code set to "400 Bad Request"

               ;

                  status_code set to "400 Bad Request";

               to the MEC_APP_Registrant entity

            }

         }
@@ -219,10 +200,13 @@ Package MEC_MEC011_SRV_APPSAQ { 
      TP Id "TP_MEC_MEC011_SRV_APPSAQ_002_NF"



      Test objective

         "Check that the IUT responds with an error when

         a request for an unknown URI is sent by a MEC Application"

         "Check that the IUT responds with an error when a request for an unknown URI is sent by a MEC Application"



      Reference "ETSI GS MEC 011 3.2.1, clause 8.2.6.3.4"

      Reference

         "ETSI GS MEC 011 3.2.1, clause 5.2.5",

         "ETSI GS MEC 011 3.2.1, clause 8.1.2.2",

         "ETSI GS MEC 011 3.2.1, clause 8.2.6.3.4",

         "https://forge.etsi.org/rep/mec/gs011-app-enablement-api/blob/master/MecServiceMgmtApi.yaml#L722#/definitions/ServiceInfo" //Outdated



      Config Id Config_MEC_1
@@ -231,8 +215,7 @@ Package MEC_MEC011_SRV_APPSAQ { 
      Initial conditions  with {

         the IUT entity being_in idle_state and

         the IUT entity not having a apps_instance containing

            instance_id indicating value NON_EXISTENT_APP_INSTANCE_ID

         ; and

            instance_id indicating value NON_EXISTENT_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

      }
@@ -245,17 +228,13 @@ Package MEC_MEC011_SRV_APPSAQ { 
                  uri indicating value "/mec_service_mgmt/v2/applications/{NON_EXISTENT_APP_INSTANCE_ID}/services",

                  body containing

                     ServiceInfo containing

                        serName indicating value SERVICE_NAME

                     ;

                  ;

               ;

                        serName indicating value SERVICE_NAME;;;

               from the MEC_APP_Registrant entity

            }

            then {

               // MEC 011 3.2.1, clause 8.2.6.3.4

               the IUT entity sends a HTTP_RESPONSE containing

                  status_code set to "404 Not Found"

               ;

                  status_code set to "404 Not Found";

               to the MEC_APP_Registrant entity

            }

         }
@@ -266,10 +245,12 @@ Package MEC_MEC011_SRV_APPSAQ { 
      TP Id "TP_MEC_MEC011_SRV_APPSAQ_003_OK"



      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"

         "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 3.2.1, clause 8.2.7.3.1",

      Reference

         "ETSI GS MEC 011 3.2.1, clause 5.2.5",

         "ETSI GS MEC 011 3.2.1, clause 8.1.2.2",

         "ETSI GS MEC 011 3.2.1, clause 8.2.7.3.1",

         "https://forge.etsi.org/rep/mec/gs011-app-enablement-api/blob/master/MecServiceMgmtApi.yaml#L722#/definitions/ServiceInfo" //Outdated



      Config Id Config_MEC_1
@@ -279,11 +260,9 @@ Package MEC_MEC011_SRV_APPSAQ { 
      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

            instance_id indicating value APP_INSTANCE_ID; and

         the IUT entity having a services_running containing

            service_id indicating value SERVICE_ID

         ;

            service_id indicating value SERVICE_ID;

      }



      // MEC 011 3.2.1, clause 5.2.5
@@ -291,8 +270,7 @@ Package MEC_MEC011_SRV_APPSAQ { 
         ensure that {

            when {

               the IUT entity receives a vGET containing

                  uri indicating value "/mec_service_mgmt/v2/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}"

               ;

                  uri indicating value "/mec_service_mgmt/v2/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}";

               from the MEC_APP entity

            }

            then {
@@ -301,10 +279,7 @@ Package MEC_MEC011_SRV_APPSAQ { 
                  status_code set to "200 OK"

                  body containing

                     ServiceInfo containing

                        serInstanceId set to SERVICE_ID

                     ;

                  ;

               ;

                        serInstanceId set to SERVICE_ID;;;

               to the MEC_APP entity

            }

         }
@@ -315,10 +290,13 @@ Package MEC_MEC011_SRV_APPSAQ { 
      TP Id "TP_MEC_MEC011_SRV_APPSAQ_003_NF"



      Test objective

         "Check that the IUT responds with an error when

         a request for an unknown URI is sent by a MEC Application"

         "Check that the IUT responds with an error when a request for an unknown URI is sent by a MEC Application"



      Reference "ETSI GS MEC 011 3.2.1, clause 8.2.7.3.1"

      Reference

         "ETSI GS MEC 011 3.2.1, clause 5.2.5",

         "ETSI GS MEC 011 3.2.1, clause 8.1.2.2",

         "ETSI GS MEC 011 3.2.1, clause 8.2.7.3.1",

         "https://forge.etsi.org/rep/mec/gs011-app-enablement-api/blob/master/MecServiceMgmtApi.yaml#L722#/definitions/ServiceInfo" //Outdated



      Config Id Config_MEC_1
@@ -327,11 +305,9 @@ Package MEC_MEC011_SRV_APPSAQ { 
      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

            instance_id indicating value APP_INSTANCE_ID; and

         the IUT entity not having a services_running containing

            service_id indicating value NON_EXISTENT_SERVICE_ID

         ;

            service_id indicating value NON_EXISTENT_SERVICE_ID;

      }



      // MEC 011 3.2.1, clause 5.2.5
@@ -339,15 +315,13 @@ Package MEC_MEC011_SRV_APPSAQ { 
         ensure that {

            when {

               the IUT entity receives a vGET containing

                  uri indicating value "/mec_service_mgmt/v2/applications/{APP_INSTANCE_ID}/services/{NON_EXISTENT_SERVICE_ID}"

               ;

                  uri indicating value "/mec_service_mgmt/v2/applications/{APP_INSTANCE_ID}/services/{NON_EXISTENT_SERVICE_ID}";

               from the MEC_APP entity

            }

            then {

               // MEC 011 3.2.1, clause 8.2.7.3.1

               the IUT entity sends a HTTP_RESPONSE containing

                  status_code set to "404 Not Found"

               ;

                  status_code set to "404 Not Found";

               to the MEC_APP entity

            }

         }
@@ -358,10 +332,12 @@ Package MEC_MEC011_SRV_APPSAQ { 
      TP Id "TP_MEC_MEC011_SRV_APPSAQ_004_OK"



      Test objective

         "Check that the IUT updates a service information for a given

         application instance when commanded by a MEC Application"

         "Check that the IUT updates a service information for a given application instance when commanded by a MEC Application"



      Reference "ETSI GS MEC 011 3.2.1, clause 8.2.7.3.2",

      Reference

         "ETSI GS MEC 011 3.2.1, clause 5.2.4",

         "ETSI GS MEC 011 3.2.1, clause 8.1.2.2",

         "ETSI GS MEC 011 3.2.1, clause 8.2.7.3.2",

         "https://forge.etsi.org/rep/mec/gs011-app-enablement-api/blob/master/MecServiceMgmtApi.yaml#L722#/definitions/ServiceInfo" //Outdated
@@ -372,11 +348,9 @@ Package MEC_MEC011_SRV_APPSAQ { 
      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

            instance_id indicating value APP_INSTANCE_ID; and

         the IUT entity having a services_running containing

            service_id indicating value SERVICE_ID

         ;

            service_id indicating value SERVICE_ID;

      }



      // MEC 011 3.2.1, clause 5.2.4
@@ -387,10 +361,7 @@ Package MEC_MEC011_SRV_APPSAQ { 
                  uri indicating value "/mec_service_mgmt/v2/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}",

                  body containing

                     ServiceInfo containing

                        version indicating value NEW_VERSION

                     ;

                  ;

               ;

                        version indicating value NEW_VERSION;;;

               from the MEC_APP entity

            }

            then {
@@ -399,10 +370,7 @@ Package MEC_MEC011_SRV_APPSAQ { 
                  status_code set to "200 OK"

                  body containing

                     ServiceInfo containing

                        version set to NEW_VERSION

                     ;

                  ;

               ;

                        version set to NEW_VERSION;;;

               to the MEC_APP entity

            }

         }
@@ -413,10 +381,13 @@ Package MEC_MEC011_SRV_APPSAQ { 
      TP Id "TP_MEC_MEC011_SRV_APPSAQ_004_BR"



      Test objective

         "Check that the IUT responds with an error when

         a request with incorrect parameters is sent by a MEC Application"

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



      Reference "ETSI GS MEC 011 3.2.1, clause 8.2.7.3.2"

      Reference

         "ETSI GS MEC 011 3.2.1, clause 5.2.4",

         "ETSI GS MEC 011 3.2.1, clause 8.1.2.2",

         "ETSI GS MEC 011 3.2.1, clause 8.2.7.3.2",

         "https://forge.etsi.org/rep/mec/gs011-app-enablement-api/blob/master/MecServiceMgmtApi.yaml#L722#/definitions/ServiceInfo" //Outdated



      Config Id Config_MEC_1
@@ -425,11 +396,9 @@ Package MEC_MEC011_SRV_APPSAQ { 
      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

            instance_id indicating value APP_INSTANCE_ID; and

         the IUT entity having a services_running containing

            service_id indicating value SERVICE_ID

         ;

            service_id indicating value SERVICE_ID;

      }



      // MEC 011 3.2.1, clause 5.2.4
@@ -440,18 +409,13 @@ Package MEC_MEC011_SRV_APPSAQ { 
                  uri indicating value "/mec_service_mgmt/v2/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}",

                  body containing

                     ServiceInfo containing

                        // Wrong parameter name should trigger an error response.

                        a_version indicating value NEW_VERSION

                     ;

                  ;

               ;

                        a_version indicating value NEW_VERSION;;; // Wrong parameter name should trigger an error response.

               from the MEC_APP entity

            }

            then {

               // MEC 011 3.2.1, clause 8.2.7.3.2 

               the IUT entity sends a HTTP_RESPONSE containing

                  status_code set to "400 Bad Request"

               ;

                  status_code set to "400 Bad Request";

               to the MEC_APP entity

            }

         }
@@ -462,10 +426,13 @@ Package MEC_MEC011_SRV_APPSAQ { 
      TP Id "TP_MEC_MEC011_SRV_APPSAQ_004_NF"



      Test objective

         "Check that the IUT responds with an error when

         a request for an unknown URI is sent by a MEC Application"

         "Check that the IUT responds with an error when a request for an unknown URI is sent by a MEC Application"



      Reference "ETSI GS MEC 011 3.2.1, clause 8.2.7.3.2"

      Reference

         "ETSI GS MEC 011 3.2.1, clause 5.2.4",

         "ETSI GS MEC 011 3.2.1, clause 8.1.2.2",

         "ETSI GS MEC 011 3.2.1, clause 8.2.7.3.2",

         "https://forge.etsi.org/rep/mec/gs011-app-enablement-api/blob/master/MecServiceMgmtApi.yaml#L722#/definitions/ServiceInfo" //Outdated



      Config Id Config_MEC_1
@@ -474,11 +441,9 @@ Package MEC_MEC011_SRV_APPSAQ { 
      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

            instance_id indicating value APP_INSTANCE_ID; and

         the IUT entity not having a services_running containing

            service_id indicating value NON_EXISTENT_SERVICE_ID

         ;

            service_id indicating value NON_EXISTENT_SERVICE_ID;

      }



      // MEC 011 3.2.1, clause 5.2.4
@@ -489,17 +454,13 @@ Package MEC_MEC011_SRV_APPSAQ { 
                  uri indicating value "/mec_service_mgmt/v2/applications/{APP_INSTANCE_ID}/services/{NON_EXISTENT_SERVICE_ID}",

                  body containing

                     ServiceInfo containing

                        version indicating value NEW_VERSION

                     ;

                  ;

               ;

                        version indicating value NEW_VERSION;;;

               from the MEC_APP entity

            }

            then {

               // MEC 011 3.2.1, clause 8.2.7.3.2

               the IUT entity sends a HTTP_RESPONSE containing

                  status_code set to "404 Not Found"

               ;

                  status_code set to "404 Not Found";

               to the MEC_APP entity

            }

         }

Test Purposes/MEC011/SRV/LIV/Liveness.tplan2

+140 −58

File changed.

Preview size limit exceeded, changes collapsed.

Test Purposes/MEC011/SRV/SRVSUB/PlatSrvSubscriptions.tplan2

+79 −99

File changed.

Preview size limit exceeded, changes collapsed.