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

TTF T027: TTCN-3 ATS MEC 013 review - TPs bugs fixed

parent 763cf366
Loading
Loading
Loading
Loading
+11 −15
Original line number Diff line number Diff line
@@ -55,7 +55,7 @@ Package MEC_MEC013_SRV_UEAREALOOK {
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.16.3.4
                    // MEC 013, clause 7.16.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK"
                        body containing
@@ -104,7 +104,7 @@ Package MEC_MEC013_SRV_UEAREALOOK {
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.16.3.4
                    // MEC 013, clause 7.16.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK"
                        body containing
@@ -168,7 +168,7 @@ Package MEC_MEC013_SRV_UEAREALOOK {
        Reference
            "ETSI GS MEC 013 3.1.1 Clause 6.3.8",
            "ETSI GS MEC 013 3.1.1 Clause 6.4.8",
            "ETSI GS MEC 013 3.1.1 Clause 7.17.3.2"
            "ETSI GS MEC 013 3.1.1 Clause 7.17.3.1"

        Config Id Config_MEC_1

@@ -189,19 +189,15 @@ Package MEC_MEC013_SRV_UEAREALOOK {
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.17.3.2
                    // MEC 013, clause 7.17.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK"
                        body containing
                            userAreaSubscription containing
                                subscriptionType indicating value "UserAreaSubscription",
                                clientCorrelator indicating value CLIENT_ID, 
                                callbackReference indicating value CALLBACK_URL,
                                _links indicating value LINKS,
                                areaDefine indicating value AREA,
                                addressList containing
                                    address indicating value ACR_SOME_IP;,
                                trackingAccuracy indicating value TRACKING_ACCURACY_THRESHOLD;;;
                            userAreaNotification containing
                                notificationType indicating value "UserAreaNotification",
                                address indicating value ACR_SOME_IP, 
                                userLocationEvent indicating value USER_LOCATION_EVENT,
                                _links indicating value LINKS;;;
                    to the MEC_APP entity
                }
            }
@@ -218,7 +214,7 @@ Package MEC_MEC013_SRV_UEAREALOOK {
        Reference
            "ETSI GS MEC 013 3.1.1 Clause 6.3.8",
            "ETSI GS MEC 013 3.1.1 Clause 6.4.8",
            "ETSI GS MEC 013 3.1.1 Clause 7.17.3.2"
            "ETSI GS MEC 013 3.1.1 Clause 7.17.3.1"

        Config Id Config_MEC_1

@@ -238,7 +234,7 @@ Package MEC_MEC013_SRV_UEAREALOOK {
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.17.3.2
                    // MEC 013, clause 7.17.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "404 Not Found";
                    to the MEC_APP entity
+6 −10
Original line number Diff line number Diff line
@@ -64,15 +64,11 @@ Package MEC_MEC013_SRV_UEAREASUB {
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "201 Created"
                        body containing
                            userAreaSubscription containing
                                subscriptionType indicating value "UserAreaSubscription",
                                clientCorrelator indicating value CLIENT_ID, 
                                callbackReference indicating value CALLBACK_URL,
                                _links indicating value LINKS,
                                areaDefine indicating value AREA,
                                addressList containing
                                    address indicating value ACR_SOME_IP;,
                                trackingAccuracy indicating value TRACKING_ACCURACY_THRESHOLD;;;
                            userAreaNotification containing
                                notificationType indicating value "UserAreaNotification",
                                address indicating value ACR_SOME_IP, 
                                userLocationEvent indicating value USER_LOCATION_EVENT,
                                _links indicating value LINKS;;;
                    to the MEC_APP entity
                    // MEC 013, clause 5.3.4
                    and the IUT entity sends a vPOST containing
@@ -109,7 +105,7 @@ Package MEC_MEC013_SRV_UEAREASUB {
            the IUT entity being_in idle_state
        }

        // MEC 013, clause 5.3.5
        // MEC 013, clause 5.3.11
        Expected behaviour
            ensure that {
                when {
+10 −10
Original line number Diff line number Diff line
@@ -70,10 +70,10 @@ Package MEC_MEC013_SRV_UEDISTLOOK {


    Test Purpose {
        TP Id "TP_MEC_MEC013_SRV_UEDISTLOOK_001_NF"
        TP Id "TP_MEC_MEC013_SRV_UEDISTLOOK_001_BR"

        Test objective
            "Check that the IUT responds with an error when a request with no subscription 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 - Invalid filter"

        Reference
            "ETSI GS MEC 013 3.1.1 Clause 5.3.2",
@@ -94,13 +94,13 @@ Package MEC_MEC013_SRV_UEDISTLOOK {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "location/v3/subscriptions/distance";
                        uri indicating value "location/v3/subscriptions/distance&event";
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.3.9.2
                    // MEC 013, clause 7.14.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "404 Not Found";
                        status_code set to "400 Bad Request";
                    to the MEC_APP entity
                }
            }
@@ -116,7 +116,7 @@ Package MEC_MEC013_SRV_UEDISTLOOK {
            "ETSI GS MEC 013 3.1.1 Clause 5.3.2",
            "ETSI GS MEC 013 3.1.1 Clause 6.3.9",
            "ETSI GS MEC 013 3.1.1 Clause 6.4.9",
            "ETSI GS MEC 013 3.1.1 Clause 7.16.3.1"
            "ETSI GS MEC 013 3.1.1 Clause 7.15.3.1"

        Config Id Config_MEC_1

@@ -140,7 +140,7 @@ Package MEC_MEC013_SRV_UEDISTLOOK {
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.14.3.1
                    // MEC 013, clause 7.15.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK"
                        body containing
@@ -164,13 +164,13 @@ Package MEC_MEC013_SRV_UEDISTLOOK {
        TP Id "TP_MEC_MEC013_SRV_UEDISTLOOK_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.9",
            "ETSI GS MEC 013 3.1.1 Clause 6.4.9",
            "ETSI GS MEC 013 3.1.1 Clause 7.16.3.1"
            "ETSI GS MEC 013 3.1.1 Clause 7.15.3.1"

        Config Id Config_MEC_1

@@ -191,7 +191,7 @@ Package MEC_MEC013_SRV_UEDISTLOOK {
                    from the MEC_APP entity
                }
                then {
                    // MEC 013, clause 7.14.3.1
                    // MEC 013, clause 7.15.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "404 Not Found";
                    to the MEC_APP entity
+1 −3
Original line number Diff line number Diff line
@@ -450,7 +450,6 @@ Package MEC_MEC013_SRV_UELOCSUB {
                            userLocationPeriodicSubscription containing
                                subscriptionType indicating value "UserLocationPeriodicSubscription",
                                clientCorrelator indicating value CLIENT_ID, 
                                callbackReference indicating value NEW_CALLBACK_URL,
                                address indicating value ACR_SOME_IP,
                                periodicEventInfo indicating value PERIODIC_EVENT_INFO;;;
                    from the MEC_APP entity
@@ -496,7 +495,6 @@ Package MEC_MEC013_SRV_UELOCSUB {
                            userLocationEventSubscription containing
                                subscriptionType indicating value "UserLocationEventSubscription",
                                clientCorrelator indicating value CLIENT_ID,
                                callbackReference indicating value NEW_CALLBACK_URL,
                                address indicating value ACR_SOME_IP;;;
                    from the MEC_APP entity
                }
+2 −2
Original line number Diff line number Diff line
@@ -13,7 +13,7 @@ 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_UELOCSUB {
Package MEC_MEC013_SRV_UETESTNOT {

    import all from MEC_Common;

Loading