Commit 23307850 authored by Filipe Ferreira's avatar Filipe Ferreira
Browse files

MEC 016 negative test cases.

parent a62faa79
Loading
Loading
Loading
Loading
+508 −2
Original line number Diff line number Diff line
@@ -82,7 +82,8 @@ Package sys_mx2_ue_apps_context {
         "Check that the IUT updates the application callback reference
         when commanded by an UE Application"

      Reference "ETSI GS MEC 016 V2.1.1, clause 7.5.3.2"
      Reference "ETSI GS MEC 016 V2.1.1, clause 7.5.3.2",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/AppContext"

      Config Id Config_MEC_4

@@ -102,9 +103,11 @@ Package sys_mx2_ue_apps_context {
               the IUT entity receives a vPUT containing
                  Uri indicating value "mx2/v2/app_contexts/{CONTEXT_ID}"
                  body containing
                     AppContext containing
                        callbackReference indicating value some_uri
                     ;
                  ;
               ;
               from the UE_APP entity
            }
            then {
@@ -157,4 +160,507 @@ Package sys_mx2_ue_apps_context {
         }
   }


   Test Purpose {
      TP Id "TP_MEC_SYS_MX2_APPCTX_BI_001"

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

      Reference "ETSI GS MEC 016 V2.1.1, clause 7.4.3.4",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/AppContext",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ProblemDetails"

      Config Id Config_MEC_4

      PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state
      }

      // MEC 016, clause 5.1.3
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPOST containing
                  Uri indicating value "mx2/v2/app_contexts",
                  body containing
                     AppContext containing
                        appInfo containing
                           // Wrong parameter name should trigger an error response.
                           app set to APP_NAME
                        ;
                     ;
                  ;
               ;
               from the UE_APP entity
            }
            then {
               // MEC 016, clause 7.4.3.4
               the IUT entity sends a HttpMsg containing
                  status_code set to "400 Bad Request"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               to the UE_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_SYS_MX2_APPCTX_BI_002"

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

      Reference "ETSI GS MEC 016 V2.1.1, clause 7.4.3.4",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/AppContext",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ProblemDetails"

      Config Id Config_MEC_4

      PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state
      }

      // MEC 016, clause 5.1.3
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a HttpMsg containing
                  Uri indicating value "mx2/v2/app_contexts",
                  // Invalid token should trigger an error response.
                  headers set to vHeadersInvalidToken,
                  body containing
                     AppContext containing
                        appInfo containing
                           appName set to APP_NAME
                        ;
                     ;
                  ;
               ;
               from the UE_APP entity
            }
            then {
               // MEC 016, clause 7.4.3.4
               the IUT entity sends a HttpMsg containing
                  status_code set to "401 Unauthorized"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               to the UE_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_SYS_MX2_APPCTX_BI_003"

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

      Reference "ETSI GS MEC 016 V2.1.1, clause 7.4.3.4",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/AppContext",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ProblemDetails"

      Config Id Config_MEC_4

      PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state
      }

      // MEC 016, clause 5.1.3
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a POST containing
                  Uri indicating value "mx2/v2/app_contexts",
                  body containing
                     AppContext containing
                        appInfo containing
                           appName set to APP_NAME
                        ;
                     ;
                  ;
               ;
               from the UE_APP entity
            }
            then {
               // MEC 016, clause 7.4.3.4
               the IUT entity sends a HttpMsg containing
                  status_code set to "403 Forbidden"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               to the UE_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_SYS_MX2_APPCTX_BI_004"

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

      Reference "ETSI GS MEC 016 V2.1.1, clause 7.5.3.2",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/AppContext",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ProblemDetails"

      Config Id Config_MEC_4

      PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appContext containing
            contextId indicating value CONTEXT_ID
         ;
      }

      // MEC 016, clause 5.1.5
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPUT containing
                  Uri indicating value "mx2/v2/app_contexts/{CONTEXT_ID}"
                  body containing
                     AppContext containing
                        // A parameter not legible for update should trigger an error response.
                        associateUeAppId indicating value some_value
                     ;
                  ;
               ;
               from the UE_APP entity
            }
            then {
               // MEC 017, clause 7.5.3.2
               the IUT entity sends a HttpMsg containing
                  status_code set to "400 Bad Request"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               to the UE_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_SYS_MX2_APPCTX_BI_005"

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

      Reference "ETSI GS MEC 016 V2.1.1, clause 7.5.3.2",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/AppContext",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ProblemDetails"

      Config Id Config_MEC_4

      PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appContext containing
            contextId indicating value CONTEXT_ID
         ;
      }

      // MEC 016, clause 5.1.5
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPUT containing
                  Uri indicating value "mx2/v2/app_contexts/{CONTEXT_ID}",
                  // Invalid token should trigger an error response.
                  headers set to vHeadersInvalidToken,
                  body containing
                     AppContext containing
                        callbackReference indicating value some_uri
                     ;
                  ;
               ;
               from the UE_APP entity
            }
            then {
               // MEC 017, clause 7.5.3.2
               the IUT entity sends a HttpMsg containing
                  status_code set to "401 Unauthorized"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               to the UE_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_SYS_MX2_APPCTX_BI_006"

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

      Reference "ETSI GS MEC 016 V2.1.1, clause 7.5.3.2",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/AppContext",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ProblemDetails"

      Config Id Config_MEC_4

      PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appContext containing
            contextId indicating value CONTEXT_ID
         ;
      }

      // MEC 016, clause 5.1.5
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a PUT containing
                  Uri indicating value "mx2/v2/app_contexts/{CONTEXT_ID}"
                  body containing
                     AppContext containing
                        callbackReference indicating value some_uri
                     ;
                  ;
               ;
               from the UE_APP entity
            }
            then {
               // MEC 017, clause 7.5.3.2
               the IUT entity sends a HttpMsg containing
                  status_code set to "403 Forbidden"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               to the UE_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_SYS_MX2_APPCTX_BI_007"

      Test objective
         "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 016 V2.1.1, clause 7.5.3.2",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/AppContext",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ProblemDetails"

      Config Id Config_MEC_4

      PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appContext containing
            contextId indicating value CONTEXT_ID
         ;
      }

      // MEC 016, clause 5.1.5
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPUT containing
                  Uri indicating value "mx2/v2/app_contexts/{UNKNOWN_CONTEXT_ID}",
                  body containing
                     AppContext containing
                        callbackReference indicating value some_uri
                     ;
                  ;
               ;
               from the UE_APP entity
            }
            then {
               // MEC 017, clause 7.5.3.2
               the IUT entity sends a HttpMsg containing
                  status_code set to "404 Not Found"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               to the UE_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_SYS_MX2_APPCTX_BI_008"

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

      Reference "ETSI GS MEC 016 V2.1.1, clause 7.5.3.5"

      Config Id Config_MEC_4

      PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appContext containing
            contextId indicating value CONTEXT_ID
         ;
      }

      // MEC 016, clause 5.1.4
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a iDELETE containing
                  Uri indicating value "mx2/v2/app_contexts/{CONTEXT_ID}"
               ;
               from the UE_APP entity
            }
            then {
               // MEC 016, clause 7.5.3.5
               the IUT entity sends a HttpMsg containing
                  status_code set to "401 Unauthorized"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               to the UE_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_SYS_MX2_APPCTX_BI_009"

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

      Reference "ETSI GS MEC 016 V2.1.1, clause 7.5.3.5",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ProblemDetails"

      Config Id Config_MEC_4

      PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appContext containing
            contextId indicating value CONTEXT_ID
         ;
      }

      // MEC 016, clause 5.1.4
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a DELETE containing
                  Uri indicating value "mx2/v2/app_contexts/{CONTEXT_ID}"
               ;
               from the UE_APP entity
            }
            then {
               // MEC 016, clause 7.5.3.5
               the IUT entity sends a HttpMsg containing
                  status_code set to "403 Forbidden"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               to the UE_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_SYS_MX2_APPCTX_BI_010"

      Test objective
         "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 016 V2.1.1, clause 7.5.3.5",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ProblemDetails"

      Config Id Config_MEC_4

      PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appContext containing
            contextId indicating value CONTEXT_ID
         ;
      }

      // MEC 016, clause 5.1.4
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vDELETE containing
                  Uri indicating value "mx2/v2/app_contexts/{UNKNOWN_CONTEXT_ID}"
               ;
               from the UE_APP entity
            }
            then {
               // MEC 016, clause 7.5.3.5
               the IUT entity sends a HttpMsg containing
                  status_code set to "404 Not Found"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               to the UE_APP entity
            }
         }
   }
}
+200 −0
Original line number Diff line number Diff line
@@ -72,4 +72,204 @@ Package sys_mx2_ue_applications {
         }
   }


   Test Purpose {
      TP Id "TP_MEC_SYS_MX2_UEAPPS_BI_001"
   
      Test objective
         "Check that the IUT responds with an error when
         a request with incorrect parameters is sent by a MEC Application"
   
      Reference "ETSI GS MEC 016 V2.1.1, clause 7.3.3.1",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ProblemDetails"
   
      Config Id Config_MEC_4
   
      PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appInfo containing
            appName indicating value APP_NAME
         ;
      }
   
      // MEC 016, clause 5.1.2
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vGET containing
                  Uri indicating value "mx2/v2/app_list",
                  query_parameters containing
                     appName indicating value APP_NAME,
                     // Wrong name should trigger an error response.
                     serviceCont indicating value INVALID_VALUE
                  ;
               ;
               from the UE_APP entity
            }
            then {
               // MEC 016, clause 7.3.3.1
               the IUT entity sends a HttpMsg containing
                  status_code set to "400 Bad Request"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               to the UE_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_SYS_MX2_UEAPPS_BI_002"
   
      Test objective
         "Check that the IUT responds with an error when
         a non-authenticated request is sent by a MEC Application"
   
      Reference "ETSI GS MEC 016 V2.1.1, clause 7.3.3.1",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ProblemDetails"
   
      Config Id Config_MEC_4
   
      PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appInfo containing
            appName indicating value APP_NAME
         ;
      }
   
      // MEC 016, clause 5.1.2
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a HttpMsg containing
                  Uri indicating value "mx2/v2/app_list",
                  // Invalid token should trigger an error response.
                  headers set to vHeadersInvalidToken,
                  query_parameters containing
                     appName indicating value APP_NAME
                  ;
               ;
               from the UE_APP entity
            }
            then {
               // MEC 016, clause 7.3.3.1
               the IUT entity sends a HttpMsg containing
                  status_code set to "401 Unauthorized"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               to the UE_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_SYS_MX2_UEAPPS_BI_003"
   
      Test objective
         "Check that the IUT responds with an error when
         an unauthorised request is sent by a MEC Application"
   
      Reference "ETSI GS MEC 016 V2.1.1, clause 7.3.3.1",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ProblemDetails"
   
      Config Id Config_MEC_4
   
      PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appInfo containing
            appName indicating value APP_NAME
         ;
      }
   
      // MEC 016, clause 5.1.2
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a GET containing
                  Uri indicating value "mx2/v2/app_list",
                  query_parameters containing
                     appName indicating value APP_NAME
                  ;
               ;
               from the UE_APP entity
            }
            then {
               // MEC 016, clause 7.3.3.1
               the IUT entity sends a HttpMsg containing
                  status_code set to "403 Forbidden"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               to the UE_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_SYS_MX2_UEAPPS_BI_004"
   
      Test objective
         "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 016 V2.1.1, clause 7.3.3.1",
         "https://forge.etsi.org/gitlab/mec/gs016-ue-app-api/blob/master/UEAppInterfaceApi.yaml#/definitions/ProblemDetails"
   
      Config Id Config_MEC_4
   
      PICS Selection PIC_MEC_SYSTEM and PIC_SERVICES

      Initial conditions  with {
         the IUT entity being_in idle_state and
         the UE_APP entity having a appInfo containing
            appName indicating value APP_NAME
         ;
      }
   
      // MEC 016, clause 5.1.2
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vGET containing
                  Uri indicating value "mx2/v2/app_list",
                  query_parameters containing
                     // Wrong value should trigger an error response.
                     appName indicating value UNKNOWN_APP_NAME
                  ;
               ;
               from the UE_APP entity
            }
            then {
               // MEC 016, clause 7.3.3.1
               the IUT entity sends a HttpMsg containing
                  status_code set to "404 Not Found"
                  body containing
                     ProblemDetails containing
                        detail set to any_value
                     ;
                  ; 
               ;
               to the UE_APP entity
            }
         }
   }
}