Commit b1f7544e authored by Yann Garcia's avatar Yann Garcia
Browse files

Terminate MEC030 omplementation

parent d36d709c
Loading
Loading
Loading
Loading
+614 −18
Original line number Diff line number Diff line
@@ -56,7 +56,7 @@ Package MEC_MEC030_SRV_V2X {
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK"
                  body containing
                     uuUnicastProvisioningInfo
                     uuUnicastProvisioningInfo set to any_value
                  ;
               ;
               to the MEC_APP entity
@@ -103,7 +103,7 @@ Package MEC_MEC030_SRV_V2X {
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK"
                  body containing
                     uuUnicastProvisioningInfo
                     uuUnicastProvisioningInfo set to any_value
                  ;
               ;
               to the MEC_APP entity
@@ -239,7 +239,7 @@ Package MEC_MEC030_SRV_V2X {
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK"
                  body containing
                     uuMbmsProvisioningInfo
                     uuMbmsProvisioningInfo set to any_value
                  ;
               ;
               to the MEC_APP entity
@@ -286,7 +286,7 @@ Package MEC_MEC030_SRV_V2X {
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK"
                  body containing
                     uuMbmsProvisioningInfo
                     uuMbmsProvisioningInfo set to any_value
                  ;
               ;
               to the MEC_APP entity
@@ -422,7 +422,7 @@ Package MEC_MEC030_SRV_V2X {
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK"
                  body containing
                     pc5ProvisioningInfo
                     pc5ProvisioningInfo set to any_value
                  ;
               ;
               to the MEC_APP entity
@@ -469,7 +469,7 @@ Package MEC_MEC030_SRV_V2X {
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK"
                  body containing
                     pc5ProvisioningInfo
                     pc5ProvisioningInfo set to any_value
                  ;
               ;
               to the MEC_APP entity
@@ -607,8 +607,8 @@ Package MEC_MEC030_SRV_V2X {
                  status_code set to "200 OK"
                  body containing
                     predictedQos containing
                        locationGranularity,
                        routes
                        locationGranularity set to any_value,
                        routes set to any_value
                     ;
                  ;
               ;
@@ -1668,4 +1668,600 @@ Package MEC_MEC030_SRV_V2X {
   }


   Test Purpose {
      TP Id "TP_MEC_MEC030_SRV_V2X_009_OK_01"

      Test objective
        "Check that the IUT responds with the requested of updating subscription
        when queried by a MEC Application"

      Reference "ETSI GS MEC 030 V2.1.1, clause 7.9.3.2",
                "https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml"

      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 provChgUuUniSubscription containing 
            _links containing
               self indicating value HREF_UU_UNI_SUBSCRIPTION
            ;
         ;
      }

      // MEC 030 Clause 6.3.2 Type: ProvChgUuUniSubscription
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPUT containing
                  uri indicating value "vis/v1/subscriptions",
                  body containing
                     provChgUuUniSubscription containing
                        subscriptionType indicating value "ProvChgUuUniSubscription",
                        callbackReference indicating value CALLBACK_UU_UNI_SUBSCRIPTION,
                        filterCriteria indicating value FILTER_UU_UNI_CRITERIA_1,
                        _links indicating value HREF_UU_UNI_SUBSCRIPTION
                     ;
                  ;
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 030 Clause 7.9.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK" containing
                  body containing
                     provChgUuUniSubscription containing
                        subscriptionType indicating value "ProvChgUuUniSubscription",
                        callbackReference indicating value CALLBACK_UU_UNI_SUBSCRIPTION,
                        filterCriteria indicating value FILTER_UU_UNI_CRITERIA_1,
                        _links indicating value HREF_UU_UNI_SUBSCRIPTION
                     ;
                  ;
               ;
               to the MEC_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_MEC030_SRV_V2X_009_OK_02"

      Test objective
        "Check that the IUT responds with the requested of updating subscription
        when queried by a MEC Application"

      Reference "ETSI GS MEC 030 V2.1.1, clause 7.9.3.2",
                "https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml"

      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 provChgUuMbmsSubscription containing 
            _links containing
               self indicating value HREF_UU_MBMS_SUBSCRIPTION
            ;
         ;
      }

      // MEC 030 Clause 6.3.3 Type: ProvChgUuMbmsSubscription
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPUT containing
                  uri indicating value "vis/v1/subscriptions",
                  body containing
                     provChgUuMbmsSubscription containing
                        subscriptionType indicating value "ProvChgUuMbmsSubscription",
                        callbackReference indicating value CALLBACK_UU_MBMS_SUBSCRIPTION,
                        filterCriteria indicating value FILTER_UU_MBMS_CRITERIA_1,
                        _links indicating value HREF_UU_MBMS_SUBSCRIPTION
                     ;
                  ;
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 030 Clause 7.9.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK" containing
                  body containing
                     provChgUuMbmsSubscription containing
                        subscriptionType indicating value "ProvChgUuMbmsSubscription",
                        callbackReference indicating value CALLBACK_UU_MBMS_SUBSCRIPTION,
                        filterCriteria indicating value FILTER_UU_MBMS_CRITERIA_1,
                        _links indicating value HREF_UU_MBMS_SUBSCRIPTION
                     ;
                  ;
               ;
               to the MEC_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_MEC030_SRV_V2X_009_OK_03"

      Test objective
        "Check that the IUT responds with the requested of updating subscription
        when queried by a MEC Application"

      Reference "ETSI GS MEC 030 V2.1.1, clause 7.9.3.2",
                "https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml"

      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 provChgPc5Subscription containing 
            _links containing
               self indicating value HREF_PC5_SUBSCRIPTION
            ;
         ;
      }

      // MEC 030 Clause 6.3.4 Type: ProvChgPc5Subscription
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPUT containing
                  uri indicating value "vis/v1/subscriptions",
                  body containing
                     provChgPc5Subscription containing
                        subscriptionType indicating value "ProvChgPc5Subscription",
                        callbackReference indicating value CALLBACK_PC5_SUBSCRIPTION,
                        filterCriteria indicating value FILTER_PC5_CRITERIA_1,
                        _links indicating value HREF_PC5_SUBSCRIPTION
                     ;
                  ;
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 030 Clause 7.9.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK" containing
                  body containing
                     provChgPc5Subscription containing
                        subscriptionType indicating value "ProvChgPc5Subscription",
                        callbackReference indicating value CALLBACK_PC5_SUBSCRIPTION,
                        filterCriteria indicating value FILTER_PC5_CRITERIA_1,
                        _links indicating value HREF_PC5_SUBSCRIPTION
                     ;
                  ;
               ;
               to the MEC_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_MEC030_SRV_V2X_009_OK_04"

      Test objective
        "Check that the IUT responds with the requested of updating subscription
        when queried by a MEC Application"

      Reference "ETSI GS MEC 030 V2.1.1, clause 7.9.3.2",
                "https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml"

      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 v2xMsgSubscription containing 
            _links containing
               self indicating value HREF_V2XMSG_SUBSCRIPTION
            ;
         ;
      }

      // MEC 030 Clause 6.3.5 Type: V2xMsgSubscription
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPUT containing
                  uri indicating value "vis/v1/subscriptions",
                  body containing
                     v2xMsgSubscription containing
                        subscriptionType indicating value "ProvChgPc5Subscription",
                        callbackReference indicating value CALLBACK_V2XMSG_SUBSCRIPTION,
                        filterCriteria indicating value FILTER_V2XMSG_CRITERIA_1,
                        _links indicating value HREF_V2XMSG_SUBSCRIPTION
                     ;
                  ;
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 030 Clause 7.9.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "200 OK" containing
                  body containing
                     v2xMsgSubscription containing
                        subscriptionType indicating value "V2xMsgSubscription",
                        callbackReference indicating value CALLBACK_V2XMSG_SUBSCRIPTION,
                        filterCriteria indicating value FILTER_V2XMSG_CRITERIA_1,
                        _links indicating value HREF_V2XMSG_SUBSCRIPTION
                     ;
                  ;
               ;
               to the MEC_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_MEC030_SRV_V2X_009_BR"

      Test objective
        "Check that the IUT responds with the requested of updating subscription
        when queried by a MEC Application"

      Reference "ETSI GS MEC 030 V2.1.1, clause 7.9.3.2",
                "https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml"

      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 provChgUuUniSubscription containing 
            _links containing
               self indicating value HREF_UU_UNI_SUBSCRIPTION
            ;
         ;
      }

      // MEC 030 Clause 6.3.2 Type: ProvChgUuUniSubscription
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPUT containing
                  uri indicating value "vis/v1/subscriptions",
                  body containing
                     provChgUuUniSubscription containing
                        subscriptionType indicating value "InvalidProvChgUuUniSubscription", // Invalid SubscriptionType
                        callbackReference indicating value CALLBACK_UU_UNI_SUBSCRIPTION,
                        filterCriteria indicating value FILTER_UU_UNI_CRITERIA_1,
                        _links indicating value HREF_UU_UNI_SUBSCRIPTION
                     ;
                  ;
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 030 Clause 7.9.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "400 Bad Request"
               ;
               to the MEC_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_MEC030_SRV_V2X_009_NF"

      Test objective
        "Check that the IUT responds with the requested of updating subscription
        when queried by a MEC Application"

      Reference "ETSI GS MEC 030 V2.1.1, clause 7.9.3.2",
                "https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml"

      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 provChgUuUniSubscription containing 
            _links containing
               self indicating value HREF_UU_UNI_SUBSCRIPTION
            ;
         ;
      }

      // MEC 030 Clause 6.3.2 Type: ProvChgUuUniSubscription
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vPUT containing
                  uri indicating value "vis/v1/subscriptions",
                  body containing
                     provChgUuUniSubscription containing
                        subscriptionType indicating value "ProvChgUuUniSubscription",
                        callbackReference indicating value CALLBACK_UU_UNI_SUBSCRIPTION,
                        filterCriteria indicating value FILTER_UU_UNI_CRITERIA_1,
                        _links indicating value HREF_UU_UNI_UNKNOWN_SUBSCRIPTION
                     ;
                  ;
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 030 Clause 7.9.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "404 Not Found"
               ;
               to the MEC_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_MEC030_SRV_V2X_010_OK_01"

      Test objective
        "Check that the IUT responds with the requested of updating subscription
        when queried by a MEC Application"

      Reference "ETSI GS MEC 030 V2.1.1, clause 7.9.3.2",
                "https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml"

      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 provChgUuUniSubscription containing 
            _links containing
               self indicating value HREF_UU_UNI_SUBSCRIPTION
            ;
         ;
      }

      // MEC 030 Clause 6.3.2 Type: ProvChgUuUniSubscription
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vDELETE containing
                  uri indicating value "vis/v1/subscriptions"
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 030 Clause 7.9.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "204 No Content"
               ;
               to the MEC_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_MEC030_SRV_V2X_010_OK_02"

      Test objective
        "Check that the IUT responds with the requested of updating subscription
        when queried by a MEC Application"

      Reference "ETSI GS MEC 030 V2.1.1, clause 7.9.3.2",
                "https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml"

      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 provChgUuMbmsSubscription containing 
            _links containing
               self indicating value HREF_UU_MBMS_SUBSCRIPTION
            ;
         ;
      }

      // MEC 030 Clause 6.3.3 Type: ProvChgUuMbmsSubscription
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vDELETE containing
                  uri indicating value "vis/v1/subscriptions"
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 030 Clause 7.9.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "204 No Content"
               ;
               to the MEC_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_MEC030_SRV_V2X_010_OK_03"

      Test objective
        "Check that the IUT responds with the requested of updating subscription
        when queried by a MEC Application"

      Reference "ETSI GS MEC 030 V2.1.1, clause 7.9.3.2",
                "https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml"

      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 provChgPc5Subscription containing 
            _links containing
               self indicating value HREF_PC5_SUBSCRIPTION
            ;
         ;
      }

      // MEC 030 Clause 6.3.4 Type: ProvChgPc5Subscription
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vDELETE containing
                  uri indicating value "vis/v1/subscriptions"
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 030 Clause 7.9.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "204 No Content"
               ;
               to the MEC_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_MEC030_SRV_V2X_010_OK_04"

      Test objective
        "Check that the IUT responds with the requested of updating subscription
        when queried by a MEC Application"

      Reference "ETSI GS MEC 030 V2.1.1, clause 7.9.3.2",
                "https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml"

      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 v2xMsgSubscription containing 
            _links containing
               self indicating value HREF_V2XMSG_SUBSCRIPTION
            ;
         ;
      }

      // MEC 030 Clause 6.3.5 Type: V2xMsgSubscription
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vDELETE containing
                  uri indicating value "vis/v1/subscriptions"
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 030 Clause 7.9.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "204 No Content"
               ;
               to the MEC_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_MEC030_SRV_V2X_010_BR"

      Test objective
        "Check that the IUT responds with the requested of updating subscription
        when queried by a MEC Application"

      Reference "ETSI GS MEC 030 V2.1.1, clause 7.9.3.2",
                "https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml"

      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 provChgUuUniSubscription containing 
            _links containing
               self indicating value HREF_UU_UNI_SUBSCRIPTION
            ;
         ;
      }

      // MEC 030 Clause 6.3.2 Type: ProvChgUuUniSubscription
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vDELETE containing
                  uri indicating value "vis/v1/subscriptions"
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 030 Clause 7.9.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "400 Bad Request"
               ;
               to the MEC_APP entity
            }
         }
   }


   Test Purpose {
      TP Id "TP_MEC_MEC030_SRV_V2X_010_NF"

      Test objective
        "Check that the IUT responds with the requested of updating subscription
        when queried by a MEC Application"

      Reference "ETSI GS MEC 030 V2.1.1, clause 7.9.3.2",
                "https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml"

      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 provChgUuUniSubscription containing 
            _links containing
               self indicating value HREF_UU_UNI_SUBSCRIPTION
            ;
         ;
      }

      // MEC 030 Clause 6.3.2 Type: ProvChgUuUniSubscription
      Expected behaviour
         ensure that {
            when {
               the IUT entity receives a vDELETE containing
                  uri indicating value "vis/v1/subscriptions"
               ;
               from the MEC_APP entity
            }
            then {
               // MEC 030 Clause 7.9.3.2
               the IUT entity sends a HTTP_RESPONSE containing
                  status_code set to "404 Not Found"
               ;
               to the MEC_APP entity
            }
         }
   }


}