Commit 60b714c9 authored by Yann Garcia's avatar Yann Garcia
Browse files

Finalised MEC046 TPs

parent c6b56fe0
Loading
Loading
Loading
Loading
+246 −4
Original line number Diff line number Diff line
@@ -29,7 +29,7 @@ Package MEC_MEC046_SRV_SENSDISCOVERY {
            "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
        Config Id Config_MEC_9

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

@@ -73,7 +73,7 @@ Package MEC_MEC046_SRV_SENSDISCOVERY {
            "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
        Config Id Config_MEC_9

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

@@ -120,7 +120,7 @@ Package MEC_MEC046_SRV_SENSDISCOVERY {
            "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
        Config Id Config_MEC_9

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

@@ -160,7 +160,7 @@ Package MEC_MEC046_SRV_SENSDISCOVERY {
            "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
        Config Id Config_MEC_9

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

@@ -186,4 +186,246 @@ Package MEC_MEC046_SRV_SENSDISCOVERY {
    }


    Test Purpose {
        TP Id "TP_MEC_MEC046_SRV_SENSDISCOVERY_002_OK_01"

        Test objective
            "Check that the IUT responds with the list of subscriptions when queried by a MEC Application - No query parameters"

        Reference
            "ETSI GS MEC 045 3.1.1 Clause 5.3.3",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.4",
            "ETSI GS MEC 013 3.1.1 Clause 7.4.3.1"

        Config Id Config_MEC_9

        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 and
            the IUT entity having several registeredDiscoverySubscriptions
        }

        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "sens/v1/subscriptions/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
                            SubscriptionLinkList indicating value any_value;;
                    to the MEC_APP entity
                }
            }
    }


    Test Purpose {
        TP Id "TP_MEC_MEC046_SRV_SENSDISCOVERY_002_OK_02"

        Test objective
            "Check that the IUT responds with the list of subscriptions when queried by a MEC Application - With query parameters"

        Reference
            "ETSI GS MEC 045 3.1.1 Clause 5.3.3",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.4",
            "ETSI GS MEC 013 3.1.1 Clause 7.4.3.1"

        Config Id Config_MEC_9

        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 and
            the IUT entity having several registeredDiscoverySubscriptions
        }

        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "sens/v1/subscriptions/sensor_discovery",
                        query_parameters containing
                            sensorIdentifier indicating value SENSOR_IDENTIFIER;;
                    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
                            SubscriptionLinkList indicating value any_value;;
                    to the MEC_APP entity
                }
            }
    }


    Test Purpose {
        TP Id "TP_MEC_MEC046_SRV_SENSDISCOVERY_002_BR"

        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 045 3.1.1 Clause 5.3.3",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.4",
            "ETSI GS MEC 013 3.1.1 Clause 7.4.3.1"

        Config Id Config_MEC_9

        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 and
            the IUT entity having several registeredDiscoverySubscriptions
        }

        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "sens/v1/subscriptions/sensor_di"; // Wrong URL
                    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_002_NF"

        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 045 3.1.1 Clause 5.3.3",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.4",
            "ETSI GS MEC 013 3.1.1 Clause 7.4.3.1"

        Config Id Config_MEC_9

        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 and
            the IUT entity having not registeredDiscoverySubscriptions
        }

        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "sens/v1/subscriptions/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
                }
            }
    }


    Test Purpose {
        TP Id "TP_MEC_MEC046_SRV_SENSDISCOVERY_003_OK"

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

        Reference
            "ETSI GS MEC 045 3.1.1 Clause 5.3.3",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.1",
            "ETSI GS MEC 013 3.1.1 Clause 7.5.3.1"

        Config Id Config_MEC_9

        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 and
            the IUT entity having a sensor_discovery_event_subscription containing
                href indicating value HREF_VALUE;
        }

        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "sens/v1/subscriptions/sensor_discovery/{SUBSCRIPTION_ID}";
                    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
                            sensorDiscoveryEventSubscription containing
                                _links containing 
                                    self containing
                                        href set to HREF_VALUE;,
                                subscriptionType indicating value "SensorDiscoveryEventSubscription",
                                callbackReference indicating value CALLBACK_URL;;;;
                    to the MEC_APP entity
                }
            }
    }


    Test Purpose {
        TP Id "TP_MEC_MEC046_SRV_SENSDISCOVERY_003_NF"

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

        Reference
            "ETSI GS MEC 045 3.1.1 Clause 5.3.3",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.1",
            "ETSI GS MEC 013 3.1.1 Clause 7.5.3.1"

        Config Id Config_MEC_9

        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 and
            the IUT entity having several registeredDiscoverySubscriptions
        }

        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "sens/v1/subscriptions/sensor_discovery/{UNKNOWN_SUBSCRIPTION_ID}";
                    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
                }
            }
    }


}
+107 −118

File changed.

Preview size limit exceeded, changes collapsed.

+1087 −0

File changed.

Preview size limit exceeded, changes collapsed.

+11 −0
Original line number Diff line number Diff line
@@ -94,6 +94,10 @@ Package MEC_Common {
            - havingV2xMsgDistributionServerMqtt
            - doNotSendNotificationAfterTimerExpiry
            - removeTheSubscriptionWhenNumberOfReportsIsReached
            - discoveredSensors
            - registeredSensorStatusSubscriptions
            - registeredSensorDataSubscriptions
            - registeredDiscoverySubscriptions
            ;
    }

@@ -213,6 +217,7 @@ Package MEC_Common {
        Component Type MecGenericConsumer with gate p of type apiPort;
        Component Type MecFederator with gate p of type apiPort;
        Component Type MecQmS with gate p of type apiPort;
        Component Type MecSeShSrv with gate p of type apiPort;

        Test Configuration Config_MEC_1 containing
            Tester component MEC_App of type MecAppComponent
@@ -262,5 +267,11 @@ Package MEC_Common {
            connection between MEC_App.p and IUT.p
        ;

        Test Configuration Config_MEC_9 containing 
            Tester component MEC_App of type MecAppComponent
            SUT component IUT of type MecSeShSrv
            connection between MEC_App.p and IUT.p
        ;

    }
}