Commit 95b7f643 authored by Filipe Ferreira's avatar Filipe Ferreira
Browse files

Test renumbering according to TSS for MEC 032.

parent 664c9c16
Loading
Loading
Loading
Loading
+159 −235
Original line number Original line Diff line number Diff line
@@ -13,7 +13,7 @@ copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
file and shall not imply any sub-license right.
*/
*/


Package plat_mp1_app_services {
Package plat_app_services {


   import all from MEC_Common;
   import all from MEC_Common;


@@ -22,7 +22,7 @@ Package plat_mp1_app_services {
    * Application Service Availability Query (APPSAQ)
    * Application Service Availability Query (APPSAQ)
    */
    */
   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BV_001"
      TP Id "TP_MEC_PLAT_APPSAQ_001_OK"


      Test objective
      Test objective
         "Check that the IUT responds with a list of available MEC services
         "Check that the IUT responds with a list of available MEC services
@@ -47,13 +47,13 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vGET containing
               the IUT entity receives a vGET containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services"
                  Uri indicating value "/mec_service_mgmt/v1/applications/{APP_INSTANCE_ID}/services"
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
            }
            }
            then {
            then {
               // MEC 011, clause 7.15.3.1
               // MEC 011, clause 7.15.3.1
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK"
                  status_code set to "200 OK"
                  body containing
                  body containing
                     ServiceInfoList containing
                     ServiceInfoList containing
@@ -68,7 +68,7 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BV_002"
      TP Id "TP_MEC_PLAT_APPSAQ_002_OK"


      Test objective
      Test objective
         "Check that the IUT notifies the authorised relevant (subscribed) application
         "Check that the IUT notifies the authorised relevant (subscribed) application
@@ -95,7 +95,7 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vPOST containing
               the IUT entity receives a vPOST containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services",
                  Uri indicating value "/mec_service_mgmt/v1/applications/{APP_INSTANCE_ID}/services",
                  body containing
                  body containing
                     serName indicating value SERVICE_NAME
                     serName indicating value SERVICE_NAME
                  ;
                  ;
@@ -104,7 +104,7 @@ Package plat_mp1_app_services {
            }
            }
            then {
            then {
               // MEC 011, clause 7.15.3.4
               // MEC 011, clause 7.15.3.4
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "201 Created",
                  status_code set to "201 Created",
                  Location set to LOCATION,
                  Location set to LOCATION,
                  body containing
                  body containing
@@ -134,7 +134,7 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BV_003"
      TP Id "TP_MEC_PLAT_APPSAQ_003_OK"


      Test objective
      Test objective
         "Check that the IUT responds with the information on a specific service
         "Check that the IUT responds with the information on a specific service
@@ -162,13 +162,13 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vGET containing
               the IUT entity receives a vGET containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}"
                  Uri indicating value "/mec_service_mgmt/v1/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}"
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
            }
            }
            then {
            then {
               // MEC 011, clause 7.14.3.1
               // MEC 011, clause 7.14.3.1
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK"
                  status_code set to "200 OK"
                  body containing
                  body containing
                     ServiceInfo containing
                     ServiceInfo containing
@@ -183,7 +183,7 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BV_004" 
      TP Id "TP_MEC_PLAT_APPSAQ_004_OK"


      Test objective
      Test objective
         "Check that the IUT updates a service information for a given
         "Check that the IUT updates a service information for a given
@@ -212,7 +212,7 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vPUT containing
               the IUT entity receives a vPUT containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}",
                  Uri indicating value "/mec_service_mgmt/v1/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}",
                  If_Match indicating value PROPER_ETAG,
                  If_Match indicating value PROPER_ETAG,
                  body containing
                  body containing
                     version indicating value NEW_VERSION
                     version indicating value NEW_VERSION
@@ -222,7 +222,7 @@ Package plat_mp1_app_services {
            }
            }
            then {
            then {
               // MEC 011, clause 7.14.3.2
               // MEC 011, clause 7.14.3.2
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK"
                  status_code set to "200 OK"
                  body containing
                  body containing
                     ServiceInfo containing
                     ServiceInfo containing
@@ -237,14 +237,13 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BI_001"
      TP Id "TP_MEC_PLAT_APPSAQ_001_BR"


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


      Reference "ETSI GS MEC 011 V2.0.8, clause 7.15.3.1",
      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/ProblemDetails"


      Config Id Config_MEC_1
      Config Id Config_MEC_1


@@ -262,7 +261,7 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vGET containing
               the IUT entity receives a vGET containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services"
                  Uri indicating value "/mec_service_mgmt/v1/applications/{APP_INSTANCE_ID}/services"
                  query_parameters containing
                  query_parameters containing
                     // Wrong parameter name should trigger an error response.
                     // Wrong parameter name should trigger an error response.
                     instance_id indicating value any_value
                     instance_id indicating value any_value
@@ -272,13 +271,8 @@ Package plat_mp1_app_services {
            }
            }
            then {
            then {
               // MEC 011, clause 7.15.3.1
               // MEC 011, clause 7.15.3.1
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "400 Bad Request"
                  status_code set to "400 Bad Request"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               ;
               to the MEC_APP entity
               to the MEC_APP entity
            }
            }
@@ -287,14 +281,13 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BI_002"
      TP Id "TP_MEC_PLAT_APPSAQ_002_BI"


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


      Reference "ETSI GS MEC 011 V2.0.8, clause 7.15.3.1",
      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/ProblemDetails"


      Config Id Config_MEC_1
      Config Id Config_MEC_1


@@ -312,19 +305,14 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a GET containing
               the IUT entity receives a GET containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services"
                  Uri indicating value "/mec_service_mgmt/v1/applications/{APP_INSTANCE_ID}/services"
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
            }
            }
            then {
            then {
               // MEC 011, clause 7.15.3.1
               // MEC 011, clause 7.15.3.1
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "403 Forbidden"
                  status_code set to "403 Forbidden"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               ;
               to the MEC_APP entity
               to the MEC_APP entity
            }
            }
@@ -333,15 +321,14 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BI_003"
      TP Id "TP_MEC_PLAT_APPSAQ_003_NF"


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


      Reference "ETSI GS MEC 011 V2.0.8, clause 7.15.3.1",
      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/ProblemDetails"


      Config Id Config_MEC_1
      Config Id Config_MEC_1


@@ -349,8 +336,8 @@ Package plat_mp1_app_services {


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


@@ -359,19 +346,14 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vGET containing
               the IUT entity receives a vGET containing
                  Uri indicating value "/mp1/v1/applications/{UNKNOWN_APP_INSTANCE_ID}/services"
                  Uri indicating value "/mec_service_mgmt/v1/applications/{NON_EXISTENT_APP_INSTANCE_ID}/services"
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
            }
            }
            then {
            then {
               // MEC 011, clause 7.15.3.1
               // MEC 011, clause 7.15.3.1
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "404 Not Found"
                  status_code set to "404 Not Found"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               ;
               to the MEC_APP entity
               to the MEC_APP entity
            }
            }
@@ -380,14 +362,13 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BI_004"
      TP Id "TP_MEC_PLAT_APPSAQ_004_BR"


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


      Reference "ETSI GS MEC 011 V2.0.8, clause 7.15.3.4",
      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/ProblemDetails"


      Config Id Config_MEC_1
      Config Id Config_MEC_1


@@ -407,7 +388,7 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vPOST containing
               the IUT entity receives a vPOST containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services",
                  Uri indicating value "/mec_service_mgmt/v1/applications/{APP_INSTANCE_ID}/services",
                  body containing
                  body containing
                     // Wrong parameter name should trigger an error response.
                     // Wrong parameter name should trigger an error response.
                     Name indicating value SERVICE_NAME
                     Name indicating value SERVICE_NAME
@@ -417,13 +398,8 @@ Package plat_mp1_app_services {
            }
            }
            then {
            then {
               // MEC 011, clause 7.15.3.4
               // MEC 011, clause 7.15.3.4
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "400 Bad Request"
                  status_code set to "400 Bad Request"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               ;
               to the MEC_APP_Registrant entity
               to the MEC_APP_Registrant entity
            }
            }
@@ -432,14 +408,13 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BI_005"
      TP Id "TP_MEC_PLAT_APPSAQ_005_BI"


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


      Reference "ETSI GS MEC 011 V2.0.8, clause 7.15.3.4",
      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/ProblemDetails"


      Config Id Config_MEC_1
      Config Id Config_MEC_1


@@ -459,7 +434,7 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a POST containing
               the IUT entity receives a POST containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services",
                  Uri indicating value "/mec_service_mgmt/v1/applications/{APP_INSTANCE_ID}/services",
                  body containing
                  body containing
                     serName indicating value SERVICE_NAME
                     serName indicating value SERVICE_NAME
                  ;
                  ;
@@ -468,13 +443,8 @@ Package plat_mp1_app_services {
            }
            }
            then {
            then {
               // MEC 011, clause 7.15.3.4
               // MEC 011, clause 7.15.3.4
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "403 Forbidden"
                  status_code set to "403 Forbidden"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               ;
               to the MEC_APP_Registrant entity
               to the MEC_APP_Registrant entity
            }
            }
@@ -483,14 +453,13 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BI_006"
      TP Id "TP_MEC_PLAT_APPSAQ_006_NF"


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


      Reference "ETSI GS MEC 011 V2.0.8, clause 7.15.3.4",
      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/ProblemDetails"


      Config Id Config_MEC_1
      Config Id Config_MEC_1


@@ -498,8 +467,8 @@ Package plat_mp1_app_services {


      Initial conditions  with {
      Initial conditions  with {
         the IUT entity being_in idle_state and
         the IUT entity being_in idle_state and
         the IUT entity having a apps_instance containing
         the IUT entity "not" having a apps_instance containing
            instance_id indicating value APP_INSTANCE_ID
            instance_id indicating value NON_EXISTENT_APP_INSTANCE_ID
         ; and
         ; and
         the MEC_APP_Registrant 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
         the MEC_APP_Subscriber entity subscribed_to the MP1_SUBSCRIPTION_A
@@ -510,7 +479,7 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vPOST containing
               the IUT entity receives a vPOST containing
                  Uri indicating value "/mp1/v1/applications/{UNKNOWN_APP_INSTANCE_ID}/services",
                  Uri indicating value "/mec_service_mgmt/v1/applications/{NON_EXISTENT_APP_INSTANCE_ID}/services",
                  body containing
                  body containing
                     serName indicating value SERVICE_NAME
                     serName indicating value SERVICE_NAME
                  ;
                  ;
@@ -519,13 +488,8 @@ Package plat_mp1_app_services {
            }
            }
            then {
            then {
               // MEC 011, clause 7.15.3.4
               // MEC 011, clause 7.15.3.4
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "404 Not Found"
                  status_code set to "404 Not Found"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               ;
               to the MEC_APP_Registrant entity
               to the MEC_APP_Registrant entity
            }
            }
@@ -534,14 +498,13 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BI_007"
      TP Id "TP_MEC_PLAT_APPSAQ_007_BI"


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


      Reference "ETSI GS MEC 011 V2.0.8, clause 7.14.3.1",
      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/ProblemDetails"


      Config Id Config_MEC_1
      Config Id Config_MEC_1


@@ -562,19 +525,14 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a GET containing
               the IUT entity receives a GET containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}"
                  Uri indicating value "/mec_service_mgmt/v1/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}"
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
            }
            }
            then {
            then {
               // MEC 011, clause 7.14.3.1
               // MEC 011, clause 7.14.3.1
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "403 Forbidden"
                  status_code set to "403 Forbidden"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               ;
               to the MEC_APP entity
               to the MEC_APP entity
            }
            }
@@ -583,14 +541,13 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BI_008"
      TP Id "TP_MEC_PLAT_APPSAQ_008_NF"


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


      Reference "ETSI GS MEC 011 V2.0.8, clause 7.14.3.1",
      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/ProblemDetails"


      Config Id Config_MEC_1
      Config Id Config_MEC_1


@@ -601,8 +558,8 @@ Package plat_mp1_app_services {
         the IUT entity having a apps_instance containing
         the IUT entity having a apps_instance containing
            instance_id indicating value APP_INSTANCE_ID
            instance_id indicating value APP_INSTANCE_ID
         ; and
         ; and
         the IUT entity having a services_running containing  
         the IUT entity "not" having a services_running containing
            service_id indicating value SERVICE_ID
            service_id indicating value NON_EXISTENT_SERVICE_ID
         ;
         ;
      }
      }


@@ -611,19 +568,14 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vGET containing
               the IUT entity receives a vGET containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services/{UNKNOWN_SERVICE_ID}"
                  Uri indicating value "/mec_service_mgmt/v1/applications/{APP_INSTANCE_ID}/services/{NON_EXISTENT_SERVICE_ID}"
               ;
               ;
               from the MEC_APP entity
               from the MEC_APP entity
            }
            }
            then {
            then {
               // MEC 011, clause 7.14.3.1
               // MEC 011, clause 7.14.3.1
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "404 Not Found"
                  status_code set to "404 Not Found"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               ;
               to the MEC_APP entity
               to the MEC_APP entity
            }
            }
@@ -632,15 +584,13 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BI_009" 
      TP Id "TP_MEC_PLAT_APPSAQ_009_BR"


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


      Reference "ETSI GS MEC 011 V2.0.8, clause 7.14.3.2",
      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/ProblemDetails"



      Config Id Config_MEC_1
      Config Id Config_MEC_1


@@ -661,7 +611,7 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vPUT containing
               the IUT entity receives a vPUT containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}",
                  Uri indicating value "/mec_service_mgmt/v1/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}",
                  If_Match indicating value PROPER_ETAG,
                  If_Match indicating value PROPER_ETAG,
                  body containing
                  body containing
                     // Wrong parameter name should trigger an error response.
                     // Wrong parameter name should trigger an error response.
@@ -672,13 +622,8 @@ Package plat_mp1_app_services {
            }
            }
            then {
            then {
               // MEC 011, clause 7.14.3.2
               // MEC 011, clause 7.14.3.2
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "400 Bad Request"
                  status_code set to "400 Bad Request"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               ;
               to the MEC_APP entity
               to the MEC_APP entity
            }
            }
@@ -687,15 +632,13 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BI_010" 
      TP Id "TP_MEC_PLAT_APPSAQ_010_BI"


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


      Reference "ETSI GS MEC 011 V2.0.8, clause 7.14.3.2",
      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/ProblemDetails"



      Config Id Config_MEC_1
      Config Id Config_MEC_1


@@ -716,7 +659,7 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a PUT containing
               the IUT entity receives a PUT containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}",
                  Uri indicating value "/mec_service_mgmt/v1/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}",
                  If_Match indicating value PROPER_ETAG,
                  If_Match indicating value PROPER_ETAG,
                  body containing
                  body containing
                     version indicating value NEW_VERSION
                     version indicating value NEW_VERSION
@@ -726,13 +669,8 @@ Package plat_mp1_app_services {
            }
            }
            then {
            then {
               // MEC 011, clause 7.14.3.2
               // MEC 011, clause 7.14.3.2
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "403 Forbidden"
                  status_code set to "403 Forbidden"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               ;
               to the MEC_APP entity
               to the MEC_APP entity
            }
            }
@@ -741,15 +679,13 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BI_011" 
      TP Id "TP_MEC_PLAT_APPSAQ_011_NF"


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


      Reference "ETSI GS MEC 011 V2.0.8, clause 7.14.3.2",
      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/ProblemDetails"



      Config Id Config_MEC_1
      Config Id Config_MEC_1


@@ -760,8 +696,8 @@ Package plat_mp1_app_services {
         the IUT entity having a apps_instance containing
         the IUT entity having a apps_instance containing
            instance_id indicating value APP_INSTANCE_ID
            instance_id indicating value APP_INSTANCE_ID
         ; and
         ; and
         the IUT entity having a services_running containing  
         the IUT entity "not" having a services_running containing
            service_id indicating value SERVICE_ID
            service_id indicating value NON_EXISTENT_SERVICE_ID
         ;
         ;
      }
      }


@@ -770,7 +706,7 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vPUT containing
               the IUT entity receives a vPUT containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services/{UNKNOWN_SERVICE_ID}",
                  Uri indicating value "/mec_service_mgmt/v1/applications/{APP_INSTANCE_ID}/services/{NON_EXISTENT_SERVICE_ID}",
                  If_Match indicating value PROPER_ETAG,
                  If_Match indicating value PROPER_ETAG,
                  body containing
                  body containing
                     version indicating value NEW_VERSION
                     version indicating value NEW_VERSION
@@ -780,13 +716,8 @@ Package plat_mp1_app_services {
            }
            }
            then {
            then {
               // MEC 011, clause 7.14.3.2
               // MEC 011, clause 7.14.3.2
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "404 Not Found"
                  status_code set to "404 Not Found"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               ;
               to the MEC_APP entity
               to the MEC_APP entity
            }
            }
@@ -795,15 +726,13 @@ Package plat_mp1_app_services {




   Test Purpose {
   Test Purpose {
      TP Id "TP_MEC_PLAT_MP1_APPSAQ_BI_012" 
      TP Id "TP_MEC_PLAT_APPSAQ_012_PF"


      Test objective
      Test objective
         "Check that the IUT responds with an error when
         "Check that the IUT responds with an error when
         a request sent by a MEC Application doesn't comply with a required condition"
         a request sent by a MEC Application doesn't comply with a required condition"


      Reference "ETSI GS MEC 011 V2.0.8, clause 7.14.3.2",
      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/ProblemDetails"



      Config Id Config_MEC_1
      Config Id Config_MEC_1


@@ -824,7 +753,7 @@ Package plat_mp1_app_services {
         ensure that {
         ensure that {
            when {
            when {
               the IUT entity receives a vPUT containing
               the IUT entity receives a vPUT containing
                  Uri indicating value "/mp1/v1/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}",
                  Uri indicating value "/mec_service_mgmt/v1/applications/{APP_INSTANCE_ID}/services/{SERVICE_ID}",
                  If_Match indicating value INVALID_ETAG,
                  If_Match indicating value INVALID_ETAG,
                  body containing
                  body containing
                     version indicating value NEW_VERSION
                     version indicating value NEW_VERSION
@@ -834,13 +763,8 @@ Package plat_mp1_app_services {
            }
            }
            then {
            then {
               // MEC 011, clause 7.14.3.2
               // MEC 011, clause 7.14.3.2
               the IUT entity sends a HttpMsg containing
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "412 Precondition Failed"
                  status_code set to "412 Precondition Failed"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               ;
               to the MEC_APP entity
               to the MEC_APP entity
            }
            }
+83 −179

File changed.

Preview size limit exceeded, changes collapsed.

+40 −78

File changed.

Preview size limit exceeded, changes collapsed.

+99 −271

File changed.

Preview size limit exceeded, changes collapsed.

+125 −171

File changed.

Preview size limit exceeded, changes collapsed.

Loading