Commit 6079a327 authored by YannGarcia's avatar YannGarcia
Browse files

MEC013 TPs review - Step 2

parent 7a76373a
Loading
Loading
Loading
Loading
+471 −0
Original line number Diff line number Diff line
/*
Copyright (c) ETSI 2018-2023.

This software is subject to copyrights owned by ETSI. Non-exclusive permission
is hereby granted, free of charge, to copy, reproduce and amend this file
under the following conditions: It is provided "as is", without warranty of any
kind, expressed or implied.

ETSI shall never be liable for any claim, damages, or other liability arising
from its use or inability of use.This permission does not apply to any documentation
associated with this file for which ETSI keeps all rights reserved. The present
copyright notice shall be included in all copies of whole or part of this
file and shall not imply any sub-license right.
*/

Package MEC_MEC013_SRV_UEZONELOOK {

   import all from MEC_Common;


   /*
    * UE Area Subscribe (UEZONELOOK)
    */

    Test Purpose {
        TP Id "TP_MEC_MEC013_SRV_UEZONELOOK_001_OK_01"

        Test objective
            "Check that the IUT responds with a list zones when queried by a MEC Application"

        Reference
            "ETSI GS MEC 013 3.1.1 Clause 5.3.2",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.6",
            "ETSI GS MEC 013 3.1.1 Clause 7.11.3.1"

        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 ue_location containing 
                zoneId indicating value ZONE_ID;
        }

        // MEC 013, clause 5.3.2
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "location/v3/subscriptions/zones";
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.11.3.4
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK"
                        body containing
                            notificationSubscriptionList;;
                    to the MEC_APP entity
                }
            }
    }


    Test Purpose {
        TP Id "TP_MEC_MEC013_SRV_UEZONELOOK_002_OK_01"

        Test objective
            "Check that the IUT responds with the subscription when queried by a MEC Application - Zone location Event"

        Reference 
            "ETSI GS MEC 013 3.1.1 Clause 5.3.11",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.6",
            "ETSI GS MEC 013 3.1.1 Clause 7.11.3.1"

        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 subscriptions containing 
                subscriptionType indicating value "ZoneLocationEventSubscription",
                _links containing
                    self indicating value LINKS_SELF;,
                subscriptionId indicating value SUBSCRIPTION_ID; and
            the IUT entity having a subscriptions containing 
                subscriptionType indicating value "ZoneStatusSubscription",
                _links containing
                    self indicating value LINKS_SELF_1;,
                subscriptionId indicating value SUBSCRIPTION_ID_1;
        }

        // MEC 013, clause 5.3.2
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "location/v3/subscriptions/zones",
                        query_parameters containing
                            subscription_type indicating value "event";;
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.5.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK"
                        body containing
                            notificationSubscriptionList containing
                                subscription containing
                                    href indicating value any_value,
                                    subscriptionType indicating value "ZoneLocationEventSubscription";,
                                resourceURL indicating value LINKS_SELF;;;
                    to the MEC_APP entity
                }
            }
    }


    Test Purpose {
        TP Id "TP_MEC_MEC013_SRV_UEZONELOOK_002_OK_02"

        Test objective
            "Check that the IUT responds with the subscription when queried by a MEC Application - Zone Status"

        Reference 
            "ETSI GS MEC 013 3.1.1 Clause 5.3.11",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.7",
            "ETSI GS MEC 013 3.1.1 Clause 7.11.3.1"

        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 subscriptions containing 
                subscriptionType indicating value "ZoneStatusSubscription",
                _links containing
                    self indicating value LINKS_SELF;,
                subscriptionId indicating value SUBSCRIPTION_ID; and
            the IUT entity having a subscriptions containing 
                subscriptionType indicating value "ZoneLocationEventSubscription",
                _links containing
                    self indicating value LINKS_SELF_1;,
                subscriptionId indicating value SUBSCRIPTION_ID_1;
        }

        // MEC 013, clause 5.3.2
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "location/v3/subscriptions/zones",
                        query_parameters containing
                            subscription_type indicating value "status";;
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.5.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK"
                        body containing
                            notificationSubscriptionList containing
                                subscription containing
                                    href indicating value any_value,
                                    subscriptionType indicating value "ZoneStatusSubscription";,
                                resourceURL indicating value LINKS_SELF;;;
                    to the MEC_APP entity
                }
            }
    }


    Test Purpose {
        TP Id "TP_MEC_MEC013_SRV_UEZONELOOK_002_OK_03"

        Test objective
            "Check that the IUT responds with the subscription when queried by a MEC Application - UE location Event and address"

        Reference 
            "ETSI GS MEC 013 3.1.1 Clause 5.3.2",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.7",
            "ETSI GS MEC 013 3.1.1 Clause 7.11.3.1"

        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 subscriptions containing 
                subscriptionType indicating value "ZoneLocationEventSubscription",
                _links containing
                    self indicating value LINKS_SELF;,
                subscriptionId indicating value SUBSCRIPTION_ID; and
            the IUT entity having a subscriptions containing 
                subscriptionType indicating value "ZoneLocationEventSubscription",
                _links containing
                    self indicating value LINKS_SELF_1;,
                subscriptionId indicating value SUBSCRIPTION_ID_1; and
            the IUT entity having a subscriptions containing 
                subscriptionType indicating value "ZoneLocationEventSubscription",
                _links containing
                    self indicating value LINKS_SELF_2;,
                subscriptionId indicating value SUBSCRIPTION_ID_2,
                address indicating value ACR_SOME_IP;
        }

        // MEC 013, clause 5.3.2
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "location/v3/subscriptions/zones",
                        query_parameters containing
                            subscription_type indicating value "event",
                            address  indicating value ACR_SOME_IP;;
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.11.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK"
                        body containing
                            notificationSubscriptionList containing
                                subscription containing
                                    href indicating value any_value,
                                    subscriptionType indicating value "ZoneLocationEventSubscription";,
                                resourceURL indicating value LINKS_SELF_2;;;
                    to the MEC_APP entity
                }
            }
    }


    Test Purpose {
        TP Id "TP_MEC_MEC013_SRV_UEZONELOOK_002_BR"

        Test objective
            "Check that the IUT responds with an error when inconsistent request was sent by a MEC Application - Invalid filter"

        Reference 
            "ETSI GS MEC 013 3.1.1 Clause 5.3.2",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.3",
            "ETSI GS MEC 013 3.1.1 Clause 7.11.3.1"

        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 subscriptions containing 
                subscriptionType indicating value "ZoneLocationEventSubscription",
                _links containing
                    self indicating value LINKS_SELF;,
                subscriptionId indicating value SUBSCRIPTION_ID; and
            the IUT entity having a subscriptions containing 
                subscriptionType indicating value "ZoneLocationEventSubscription",
                _links containing
                    self indicating value LINKS_SELF_1;,
                subscriptionId indicating value SUBSCRIPTION_ID_1;
        }

        // MEC 013, clause 5.3.2
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "location/v3/subscriptions/zones",
                        query_parameters containing
                            subscription_type indicating value "dummy";;
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.11.3.1
                    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_MEC013_SRV_UEZONELOOK_002_NF"

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

        Reference 
            "ETSI GS MEC 013 3.1.1 Clause 5.3.2",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.3",
            "ETSI GS MEC 013 3.1.1 Clause 7.11.3.1"

        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 not having any subscriptions
        }

        // MEC 013, clause 5.3.2
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "location/v3/subscriptions/zones";
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.11.3.1
                    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_MEC013_SRV_UEZONELOOK_003_OK_01"

        Test objective
            "Check that the IUT responds with the subscription when queried by a MEC Application - Zone location Event"

        Reference 
            "ETSI GS MEC 013 3.1.1 Clause 5.3.11",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.6",
            "ETSI GS MEC 013 3.1.1 Clause 7.12.3.1"

        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 subscriptions containing 
                subscriptionType indicating value "ZoneLocationEventSubscription",
                _links containing
                    self indicating value LINKS_SELF;,
                subscriptionId indicating value SUBSCRIPTION_ID; and
            the IUT entity having a subscriptions containing 
                subscriptionType indicating value "ZoneStatusSubscription",
                _links containing
                    self indicating value LINKS_SELF_1;,
                subscriptionId indicating value SUBSCRIPTION_ID_1;
        }

        // MEC 013, clause 5.3.2
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "location/v3/subscriptions/zones/{SUBSCRIPTION_ID}",
                        query_parameters containing
                            subscription_type indicating value "event";;
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.12.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK"
                        body containing
                            zoneStatusSubscription containing
                                subscriptionType indicating value "ZoneLocationEventSubscription",
                                _links containing
                                    self indicating value LINKS_SELF;;;;
                    to the MEC_APP entity
                }
            }
    }


    Test Purpose {
        TP Id "TP_MEC_MEC013_SRV_UEZONELOOK_003_OK_02"

        Test objective
            "Check that the IUT responds with the subscription when queried by a MEC Application - Zone status Event"

        Reference 
            "ETSI GS MEC 013 3.1.1 Clause 5.3.11",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.7",
            "ETSI GS MEC 013 3.1.1 Clause 7.12.3.1"

        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 subscriptions containing 
                subscriptionType indicating value "ZoneStatusSubscription",
                _links containing
                    self indicating value LINKS_SELF;,
                subscriptionId indicating value SUBSCRIPTION_ID; and
            the IUT entity having a subscriptions containing 
                subscriptionType indicating value "ZoneLocationEventSubscription",
                _links containing
                    self indicating value LINKS_SELF_1;,
                subscriptionId indicating value SUBSCRIPTION_ID_1;
        }

        // MEC 013, clause 5.3.2
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "location/v3/subscriptions/zones/{SUBSCRIPTION_ID}",
                        query_parameters containing
                            subscription_type indicating value "event";;
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.12.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK"
                        body containing
                            zoneStatusSubscription containing
                                subscriptionType indicating value "ZoneStatusSubscription",
                                _links containing
                                    self indicating value LINKS_SELF;;;;
                    to the MEC_APP entity
                }
            }
    }


    Test Purpose {
        TP Id "TP_MEC_MEC013_SRV_UEZONELOOK_003_NF"

        Test objective
            "Check that the IUT responds with an error when the non existing subscription is queried by a MEC Application"

        Reference 
            "ETSI GS MEC 013 3.1.1 Clause 7.12.3.1"

        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 subscriptions containing 
                subscriptionType indicating value "ZoneLocationEventSubscription",
                subscriptionId indicating value SUBSCRIPTION_ID;
        }

        // MEC 013, clause 5.3.2
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "location/v3/subscriptions/zones/{NON_EXISTING_SUBSCRIPTION_ID}";
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.12.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "404 Not Found";
                    to the MEC_APP entity
                }
            }
    }


}
+440 −0

File added.

Preview size limit exceeded, changes collapsed.

+12 −12

File changed.

Contains only whitespace changes.

+14 −14

File changed.

Contains only whitespace changes.

+5 −5

File changed.

Contains only whitespace changes.