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

Started MEC046 TPs; Bug fixed on MEC045 TPs

parent e717e236
Loading
Loading
Loading
Loading
+26 −12
Original line number Original line Diff line number Diff line
@@ -1352,20 +1352,24 @@ Package MEC_MEC030_SRV_V2X {
                            provChgUuUniSubscription containing
                            provChgUuUniSubscription containing
                                subscriptionType indicating value "ProvChgUuUniSubscription",
                                subscriptionType indicating value "ProvChgUuUniSubscription",
                                callbackReference indicating value CALLBACK_SUBSCRIPTION,
                                callbackReference indicating value CALLBACK_SUBSCRIPTION,
                                filterCriteria indicating value FILTER_CRITERIA;;;
                                filterCriteria indicating value FILTER_CRITERIA,
                                expiryDeadline indicating value EXPIRY_TIMEOUT;;;
                    from the MEC_APP entity
                    from the MEC_APP entity
                }
                }
                then {
                then {
                    // MEC 030 Clause 7.8.3.4
                    // MEC 030 Clause 7.8.3.4
                    the IUT entity sends a HTTP_RESPONSE containing
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "201 Created" containing
                        status_code set to "201 Created",
                        headers containing
                            Location set to "/vis/v2/subscriptions/{SUBSCRIPTION_ID}";,
                        body containing
                        body containing
                            provChgUuUniSubscription containing
                            provChgUuUniSubscription containing
                                subscriptionType indicating value "ProvChgUuUniSubscription",
                                subscriptionType indicating value "ProvChgUuUniSubscription",
                                callbackReference indicating value CALLBACK_SUBSCRIPTION,
                                callbackReference indicating value CALLBACK_SUBSCRIPTION,
                                filterCriteria indicating value FILTER_CRITERIA,
                                filterCriteria indicating value FILTER_CRITERIA,
                                expiryDeadline indicating value EXPIRY_TIMEOUT,
                                _links containing
                                _links containing
                                    self indicating value HREF_SUBSCRIPTION;;;;;
                                    self indicating value HREF_SUBSCRIPTION;;;;
                   to the MEC_APP entity
                   to the MEC_APP entity
                   and the IUT entity sends a vPOST containing
                   and the IUT entity sends a vPOST containing
                       Uri set to CALLBACK_URL 
                       Uri set to CALLBACK_URL 
@@ -1414,14 +1418,16 @@ Package MEC_MEC030_SRV_V2X {
                then {
                then {
                    // MEC 030 Clause 7.8.3.4
                    // MEC 030 Clause 7.8.3.4
                    the IUT entity sends a HTTP_RESPONSE containing
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "201 Created" containing
                        status_code set to "201 Created",
                        headers containing
                            Location set to "/vis/v2/subscriptions/{SUBSCRIPTION_ID}";,
                        body containing
                        body containing
                            provChgUuMbmsSubscription containing
                            provChgUuMbmsSubscription containing
                                subscriptionType indicating value "ProvChgUuMbmsSubscription",
                                subscriptionType indicating value "ProvChgUuMbmsSubscription",
                                callbackReference indicating value CALLBACK_SUBSCRIPTION,
                                callbackReference indicating value CALLBACK_SUBSCRIPTION,
                                filterCriteria indicating value FILTER_CRITERIA,
                                filterCriteria indicating value FILTER_CRITERIA,
                                _links containing
                                _links containing
                                    self indicating value HREF_SUBSCRIPTION;;;;;
                                    self indicating value HREF_SUBSCRIPTION;;;;
                   to the MEC_APP entity
                   to the MEC_APP entity
                   and the IUT entity sends a vPOST containing
                   and the IUT entity sends a vPOST containing
                       Uri set to CALLBACK_URL 
                       Uri set to CALLBACK_URL 
@@ -1470,14 +1476,16 @@ Package MEC_MEC030_SRV_V2X {
                then {
                then {
                    // MEC 030 Clause 7.8.3.4
                    // MEC 030 Clause 7.8.3.4
                    the IUT entity sends a HTTP_RESPONSE containing
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "201 Created" containing
                        status_code set to "201 Created",
                        headers containing
                            Location set to "/vis/v2/subscriptions/{SUBSCRIPTION_ID}";,
                        body containing
                        body containing
                            provChgPc5Subscription containing
                            provChgPc5Subscription containing
                                subscriptionType indicating value "ProvChgPc5Subscription",
                                subscriptionType indicating value "ProvChgPc5Subscription",
                                callbackReference indicating value CALLBACK_SUBSCRIPTION,
                                callbackReference indicating value CALLBACK_SUBSCRIPTION,
                                filterCriteria indicating value FILTER_CRITERIA,
                                filterCriteria indicating value FILTER_CRITERIA,
                                _links containing
                                _links containing
                                    self indicating value HREF_SUBSCRIPTION;;;;;
                                    self indicating value HREF_SUBSCRIPTION;;;;
                   to the MEC_APP entity
                   to the MEC_APP entity
                   and the IUT entity sends a vPOST containing
                   and the IUT entity sends a vPOST containing
                       Uri set to CALLBACK_URL 
                       Uri set to CALLBACK_URL 
@@ -1526,14 +1534,16 @@ Package MEC_MEC030_SRV_V2X {
                then {
                then {
                    // MEC 030 Clause 7.8.3.4
                    // MEC 030 Clause 7.8.3.4
                    the IUT entity sends a HTTP_RESPONSE containing
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "201 Created" containing
                        status_code set to "201 Created",
                        headers containing
                            Location set to "/vis/v2/subscriptions/{SUBSCRIPTION_ID}";,
                        body containing
                        body containing
                            v2xMsgSubscription containing
                            v2xMsgSubscription containing
                                subscriptionType indicating value "V2xMsgSubscription",
                                subscriptionType indicating value "V2xMsgSubscription",
                                callbackReference indicating value CALLBACK_SUBSCRIPTION,
                                callbackReference indicating value CALLBACK_SUBSCRIPTION,
                                filterCriteria indicating value FILTER_CRITERIA,
                                filterCriteria indicating value FILTER_CRITERIA,
                                _links containing
                                _links containing
                                    self indicating value HREF_SUBSCRIPTION;;;;;
                                    self indicating value HREF_SUBSCRIPTION;;;;
                   to the MEC_APP entity
                   to the MEC_APP entity
                   and the IUT entity sends a vPOST containing
                   and the IUT entity sends a vPOST containing
                       Uri set to CALLBACK_URL 
                       Uri set to CALLBACK_URL 
@@ -1584,14 +1594,16 @@ Package MEC_MEC030_SRV_V2X {
                then {
                then {
                    // MEC 030 Clause 7.8.3.4
                    // MEC 030 Clause 7.8.3.4
                    the IUT entity sends a HTTP_RESPONSE containing
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "201 Created" containing
                        status_code set to "201 Created",
                        headers containing
                            Location set to "/vis/v2/subscriptions/{SUBSCRIPTION_ID}";,
                        body containing
                        body containing
                            predQosSubscription containing
                            predQosSubscription containing
                                subscriptionType indicating value "PredQosSubscription",
                                subscriptionType indicating value "PredQosSubscription",
                                callbackReference indicating value CALLBACK_SUBSCRIPTION,
                                callbackReference indicating value CALLBACK_SUBSCRIPTION,
                                filterCriteria indicating value FILTER_CRITERIA,
                                filterCriteria indicating value FILTER_CRITERIA,
                                _links containing
                                _links containing
                                    self indicating value HREF_SUBSCRIPTION;;;;;
                                    self indicating value HREF_SUBSCRIPTION;;;;
                   to the MEC_APP entity
                   to the MEC_APP entity
               }
               }
            }
            }
@@ -2659,7 +2671,9 @@ Package MEC_MEC030_SRV_V2X {
                }
                }
                then {
                then {
                    the IUT entity sends a HTTP_RESPONSE containing
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "201 Created"
                        status_code set to "201 Created",
                        headers containing
                            Location set to "/vis/v2/subscriptions/{SUBSCRIPTION_ID}";,
                        body containing
                        body containing
                            predQosSubscription containing
                            predQosSubscription containing
                                subscriptionType indicating value "PredQosSubscription",
                                subscriptionType indicating value "PredQosSubscription",
+75 −0
Original line number Original line Diff line number Diff line
@@ -773,4 +773,79 @@ Package MEC_MEC045_SRV_QOS_EVENT_SUB_NOT {
    }
    }




    Test Purpose {
        TP Id "TP_MEC_MEC045_SRV_QOS_EVENT_SUB_NOT_005_OK"

        Test objective
            "Check that the IUT terminates notifications when the expiry timer expires"

        Reference
            "ETSI GS MEC 045 3.1.1 Clause 5.2.2",
            "ETSI GS MEC 013 3.1.1 Clause 6.4.1",
            "ETSI GS MEC 013 3.1.1 Clause 7.3.3.4"

        Config Id Config_MEC_8

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
            the IUT entity being_in idle_state
        }

        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vPOST containing
                        uri indicating value "qms/v1/subscriptions"
                        body containing
                            qoSMeasurementSubscription containing
                                subscriptionType indicating value "QoSEventSubscription",
                                callbackReference indicating value CALLBACK_URL,
                                users containing
                                    elem0 indicating value ACR_SOME_IP;,
                                flowInfo containing
                                    flowFilter containing
                                        sourceIp indicating value ACR_SOME_IP;;,
                                reportTrigger containing
                                    metricType indicating value "THROUGHPUT";,
                                measuringPeriod indicating value MEASURINGING_PERIOD,
                                expiryDeadline indicating value EXPIRY_TIMEOUT;;;
                    from the MEC_APP entity
                }
                then {
                    // MEC 045, clause 7.3.3.4
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "201 Created",
                        headers containing
                            Location set to "/qms/v1/subscriptions/{SUBSCRIPTION_ID}";,
                        body containing
                            qoSMeasurementSubscription containing
                                _links containing 
                                    self containing
                                        href set to HREF_VALUE;,
                                subscriptionType indicating value "QoSEventSubscription",
                                callbackReference indicating value CALLBACK_URL,
                                users containing
                                    elem0 indicating value ACR_SOME_IP;,
                                flowInfo containing
                                    flowFilter containing
                                        sourceIp indicating value ACR_SOME_IP;;,
                                reportTrigger containing
                                    metricType indicating value "THROUGHPUT";,
                                measuringPeriod indicating value MEASURINGING_PERIOD,
                                expiryDeadline indicating value EXPIRY_TIMEOUT;;;;
                    to the MEC_APP entity
                    and the IUT entity sends a vPOST containing
                        Uri set to CALLBACK_URL 
                        body containing
                            testNotification containing
                                notificationType indicating value "TestNotification",
                                _links indicating value LINKS;;;
                    to the MEC_APP entity
                    and the IUT entity doNotSendNotificationAfterTimerExpiry
                }
            }
    }


} // End of Package MEC_MEC045_SRV_QOS_EVENT_SUB_NOT
} // End of Package MEC_MEC045_SRV_QOS_EVENT_SUB_NOT
 No newline at end of file
+79 −0
Original line number Original line Diff line number Diff line
@@ -1009,4 +1009,83 @@ Package MEC_MEC045_SRV_QOS_MEAS_SUB_NOT {
    }
    }




    Test Purpose {
        TP Id "TP_MEC_MEC045_SRV_QOS_MEAS_SUB_NOT_005_OK"

        Test objective
            "Check that the IUT terminates notifications when the expiry timer expires"

        Reference
            "ETSI GS MEC 045 3.1.1 Clause 5.2.2",
            "ETSI GS MEC 013 3.1.1 Clause 6.4.1",
            "ETSI GS MEC 013 3.1.1 Clause 7.3.3.4"

        Config Id Config_MEC_8

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
            the IUT entity being_in idle_state
        }

        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vPOST containing
                        uri indicating value "qms/v1/subscriptions"
                        body containing
                            qoSMeasurementSubscription containing
                                subscriptionType indicating value "QoSMeasureSubscription",
                                requestTestNotification indicating value true,
                                callbackReference indicating value CALLBACK_URL,
                                users containing
                                    elem0 indicating value ACR_SOME_IP;,
                                flowInfo containing
                                    flowFilter containing
                                        sourceIp indicating value ACR_SOME_IP;;,
                                reportingInterval indicating value REPORTING_INTERVAL,
                                metricType containing
                                    elem0 indicating value "LATENCY",
                                    elem1 indicating value "THROUGHPUT";,
                                expiryDeadline indicating value EXPIRY_TIMEOUT;;;
                    from the MEC_APP entity
                }
                then {
                    // MEC 045, clause 7.3.3.4
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "201 Created",
                        headers containing
                            Location set to "/qms/v1/subscriptions/{SUBSCRIPTION_ID}";,
                        body containing
                            qoSMeasurementSubscription containing
                                _links containing 
                                    self containing
                                        href set to HREF_VALUE;,
                                subscriptionType indicating value "QoSMeasureSubscription",
                                callbackReference indicating value CALLBACK_URL,
                                users containing
                                    elem0 indicating value ACR_SOME_IP;,
                                flowInfo containing
                                    flowFilter containing
                                        sourceIp indicating value ACR_SOME_IP;;,
                                reportingInterval indicating value REPORTING_INTERVAL,
                                metricType containing
                                    elem0 indicating value "LATENCY",
                                    elem1 indicating value "THROUGHPUT";,
                                expiryDeadline indicating value EXPIRY_TIMEOUT;;;;
                    to the MEC_APP entity
                    and the IUT entity sends a vPOST containing
                        Uri set to CALLBACK_URL 
                        body containing
                            testNotification containing
                                notificationType indicating value "TestNotification",
                                timeStamp indicating value any_value,
                                _links indicating value LINKS;;;
                    to the MEC_APP entity
                    and the IUT entity doNotSendNotificationAfterTimerExpiry
                }
            }
    }


} // End of Package MEC_MEC045_SRV_QOS_MEAS_SUB_NOT
} // End of Package MEC_MEC045_SRV_QOS_MEAS_SUB_NOT
 No newline at end of file
+9 −9
Original line number Original line Diff line number Diff line
@@ -18,7 +18,7 @@ Package MEC_MEC045_SRV_QOSLOOKUP {
    import all from MEC_Common;
    import all from MEC_Common;


    Test Purpose {
    Test Purpose {
        TP Id "TP_MEC_MEC045_SRV_LOOKUP_001_OK"
        TP Id "TP_MEC_MEC045_SRV_QOSLOOKUP_001_OK"


        Test objective
        Test objective
            "Check that the IUT responds with the list of QoS measurement subscriptions when queried by a MEC Application"
            "Check that the IUT responds with the list of QoS measurement subscriptions when queried by a MEC Application"
@@ -59,7 +59,7 @@ Package MEC_MEC045_SRV_QOSLOOKUP {




    Test Purpose {
    Test Purpose {
        TP Id "TP_MEC_MEC045_SRV_LOOKUP_001_BR"
        TP Id "TP_MEC_MEC045_SRV_QOSLOOKUP_001_BR"


        Test objective
        Test objective
            "Check that the IUT responds with an error when a request with incorrect parameters is sent by a MEC Application"
            "Check that the IUT responds with an error when a request with incorrect parameters is sent by a MEC Application"
@@ -97,7 +97,7 @@ Package MEC_MEC045_SRV_QOSLOOKUP {




    Test Purpose {
    Test Purpose {
        TP Id "TP_MEC_MEC045_SRV_LOOKUP_001_NF"
        TP Id "TP_MEC_MEC045_SRV_QOSLOOKUP_001_NF"


        Test objective
        Test objective
            "Check that the IUT responds with an error when no subscription are created"
            "Check that the IUT responds with an error when no subscription are created"
@@ -134,7 +134,7 @@ Package MEC_MEC045_SRV_QOSLOOKUP {




    Test Purpose {
    Test Purpose {
        TP Id "TP_MEC_MEC045_SRV_LOOKUP_002_OK_01"
        TP Id "TP_MEC_MEC045_SRV_QOSLOOKUP_002_OK_01"


        Test objective
        Test objective
            "Check that the IUT responds with the list of QoS measurement subscriptions when queried by a MEC Application - Filter on subscriptionId"
            "Check that the IUT responds with the list of QoS measurement subscriptions when queried by a MEC Application - Filter on subscriptionId"
@@ -183,7 +183,7 @@ Package MEC_MEC045_SRV_QOSLOOKUP {




    Test Purpose {
    Test Purpose {
        TP Id "TP_MEC_MEC045_SRV_LOOKUP_002_OK_02"
        TP Id "TP_MEC_MEC045_SRV_QOSLOOKUP_002_OK_02"


        Test objective
        Test objective
            "Check that the IUT responds with the list of QoS measurement subscriptions when queried by a MEC Application - Filter on subscriptionId"
            "Check that the IUT responds with the list of QoS measurement subscriptions when queried by a MEC Application - Filter on subscriptionId"
@@ -234,7 +234,7 @@ Package MEC_MEC045_SRV_QOSLOOKUP {




    Test Purpose {
    Test Purpose {
        TP Id "TP_MEC_MEC045_SRV_LOOKUP_002_NF_01"
        TP Id "TP_MEC_MEC045_SRV_QOSLOOKUP_002_NF_01"


        Test objective
        Test objective
            "Check that the IUT responds with with an error when no subscription matches with the filter - Filter on subscriptionType"
            "Check that the IUT responds with with an error when no subscription matches with the filter - Filter on subscriptionType"
@@ -278,7 +278,7 @@ Package MEC_MEC045_SRV_QOSLOOKUP {




    Test Purpose {
    Test Purpose {
        TP Id "TP_MEC_MEC045_SRV_LOOKUP_002_NF_02"
        TP Id "TP_MEC_MEC045_SRV_QOSLOOKUP_002_NF_02"


        Test objective
        Test objective
            "Check that the IUT responds with with an error when no subscription matches with the filter - Filter on subscriptionId"
            "Check that the IUT responds with with an error when no subscription matches with the filter - Filter on subscriptionId"
@@ -322,7 +322,7 @@ Package MEC_MEC045_SRV_QOSLOOKUP {




    Test Purpose {
    Test Purpose {
        TP Id "TP_MEC_MEC045_SRV_LOOKUP_003_OK"
        TP Id "TP_MEC_MEC045_SRV_QOSLOOKUP_003_OK"


        Test objective
        Test objective
            "Check that the IUT responds with a QoS measurement subscription when queried by a MEC Application"
            "Check that the IUT responds with a QoS measurement subscription when queried by a MEC Application"
@@ -368,7 +368,7 @@ Package MEC_MEC045_SRV_QOSLOOKUP {




    Test Purpose {
    Test Purpose {
        TP Id "TP_MEC_MEC045_SRV_LOOKUP_003_NF"
        TP Id "TP_MEC_MEC045_SRV_QOSLOOKUP_003_NF"


        Test objective
        Test objective
            "Check that the IUT responds with an error when a request for an URI that cannot be mapped to a valid resource URI is sent by a MEC Application"
            "Check that the IUT responds with an error when a request for an URI that cannot be mapped to a valid resource URI is sent by a MEC Application"
+189 −0
Original line number Original line Diff line number Diff line
/*
Copyright (c) ETSI 2025.

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_MEC046_SRV_SENSDISCOVERY {

    import all from MEC_Common;


    Test Purpose {
        TP Id "TP_MEC_MEC046_SRV_SENSDISCOVERY_001_OK_01"

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

        Reference
            "ETSI GS MEC 045 3.1.1 Clause 5.3.2",
            "ETSI GS MEC 013 3.1.1 Clause 6.2.1",
            "ETSI GS MEC 013 3.1.1 Clause 7.3.3.1"

        Config Id Config_MEC_8

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
            the IUT entity being_in idle_state and
            the IUT entity having several discoveredSensors
        }

        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "sens/v1/queries/sensor_discovery";
                    from the MEC_APP entity
                }
                then {
                    // MEC 045, clause 7.3.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK"
                        body containing
                            sensorDiscoveryInfoList containing
                                sensorDiscoveryInfo containing
                                    sensorIdentifier indicating value any_value,
                                    sensorType indicating value any_value,
                                    sensorPropertyList indicating value any_value,
                                    sensorPosition indicating value any_value;;;;
                    to the MEC_APP entity
                }
            }
    }


    Test Purpose {
        TP Id "TP_MEC_MEC046_SRV_SENSDISCOVERY_001_OK_02"

        Test objective
            "Check that the IUT responds with the list of SensorDiscoveryInfo when queried by a MEC Application - Using type filter"

        Reference
            "ETSI GS MEC 045 3.1.1 Clause 5.3.2",
            "ETSI GS MEC 013 3.1.1 Clause 6.2.1",
            "ETSI GS MEC 013 3.1.1 Clause 7.3.3.1"

        Config Id Config_MEC_8

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
            the IUT entity being_in idle_state and
            the IUT entity having several discoveredSensors
        }

        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "sens/v1/queries/sensor_discovery",
                        query_parameters containing
                            sensorInfo containing
                                type_ indicating value SENSOR_TYPE;;;
                    from the MEC_APP entity
                }
                then {
                    // MEC 045, clause 7.3.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK"
                        body containing
                            sensorDiscoveryInfoList containing
                                sensorDiscoveryInfo containing
                                    sensorIdentifier indicating value any_value,
                                    sensorType indicating value SENSOR_TYPE,
                                    sensorPropertyList indicating value any_value,
                                    sensorPosition indicating value any_value;;;;
                    to the MEC_APP entity
                }
            }
    }


    Test Purpose {
        TP Id "TP_MEC_MEC046_SRV_SENSDISCOVERY_001_BR"

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

        Reference
            "ETSI GS MEC 045 3.1.1 Clause 5.3.4",
            "ETSI GS MEC 013 3.1.1 Clause 6.2.2",
            "ETSI GS MEC 013 3.1.1 Clause 7.6.3.1"

        Config Id Config_MEC_8

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
            the IUT entity being_in idle_state and
            the IUT entity having several discoveredSensors
        }

        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "sens/v1/queries/sensor_discovery",
                        query_parameters containing
                            sensorInfo containing
                                type_ set to omit;;; // Invalid filter
                    from the MEC_APP entity
                }
                then {
                    // MEC 045, clause 7.3.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_MEC046_SRV_SENSDISCOVERY_001_NF"

        Test objective
            "Check that the IUT responds with an error when the IUT does not have sensor(s)"

        Reference
            "ETSI GS MEC 045 3.1.1 Clause 5.3.4",
            "ETSI GS MEC 013 3.1.1 Clause 6.2.2",
            "ETSI GS MEC 013 3.1.1 Clause 7.6.3.1"

        Config Id Config_MEC_8

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
            the IUT entity being_in idle_state and
            the IUT entity not having discoveredSensors
        }

        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "sens/v1/queries/sensor_discovery"; 
                    from the MEC_APP entity
                }
                then {
                    // MEC 045, clause 7.3.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "404 Not Found";
                    to the MEC_APP entity
                }
            }
    }


}
Loading