Commit beb80271 authored by Yann Garcia's avatar Yann Garcia Committed by Miguel Angel Reina Ortega
Browse files

Validation of AtsMec_FederationEnablement

parent 7a62faa1
Loading
Loading
Loading
Loading
+27 −27
Original line number Diff line number Diff line
@@ -38,7 +38,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info"
                        uri indicating value "fed_enablement/v1/fed_resources/systems"
                    ;
                    from the MEC_FED entity
                }
@@ -102,7 +102,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        query_parameters containing
                            systemId indicating value SYSTEM_ID_1
                        ;
@@ -159,7 +159,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        query_parameters containing
                            systemId indicating value SYSTEM_ID_1,
                            systemId indicating value SYSTEM_ID_3
@@ -222,7 +222,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        query_parameters containing
                            systemId indicating value empty
                        ;
@@ -289,7 +289,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        query_parameters containing
                            systemName indicating value SYSTEM_NAME_1
                        ;
@@ -346,7 +346,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        query_parameters containing
                            systemName indicating value SYSTEM_NAME_1,
                            systemName indicating value SYSTEM_NAME_3
@@ -409,7 +409,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        query_parameters containing
                            systemName indicating value empty
                        ;
@@ -477,7 +477,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        query_parameters containing
                            systemProvider indicating value SYSTEM_PROVIDER_1
                        ;
@@ -534,7 +534,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        query_parameters containing
                            systemProvider indicating value SYSTEM_PROVIDER_1,
                            systemProvider indicating value SYSTEM_PROVIDER_3
@@ -597,7 +597,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        query_parameters containing
                            systemProvider indicating value empty
                        ;
@@ -665,7 +665,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        query_parameters containing
                            systemId indicating value SYSTEM_ID_1,
                            systemName indicating value SYSTEM_NAME_3
@@ -728,7 +728,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        query_parameters containing
                            systemId indicating value SYSTEM_ID_4
                        ;
@@ -776,7 +776,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        query_parameters containing
                            systemName indicating value SYSTEM_NAME_4
                        ;
@@ -824,7 +824,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        query_parameters containing
                            SystemProvider indicating value SYSTEM_PROVIDER_4
                        ;
@@ -870,7 +870,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v10/fed_resources/system_info",
                        uri indicating value "fed_enablement/v10/fed_resources/systems",
                        query_parameters containing
                            system indicating value any_value // Wrong query parameter: system instead of systemId
                    ;;
@@ -915,7 +915,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vPOST containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        body containing
                            systemInfo containing
                                systemId indicating value omit, // Shall be absent in POST request
@@ -972,7 +972,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vPOST containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        uri indicating value "fed_enablement/v1/fed_resources/systems",
                        body containing
                            systemInfo containing
                                systemId indicating value SYSTEM_ID_2, // Shall be absent in POST request
@@ -1024,7 +1024,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info/{SYSTEM_ID_2}"
                        uri indicating value "fed_enablement/v1/fed_resources/systems/{SYSTEM_ID_2}"
                    ;
                    from the MEC_FED entity
                }
@@ -1076,7 +1076,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info/{SYSTEM_ID_4}"
                        uri indicating value "fed_enablement/v1/fed_resources/systems/{SYSTEM_ID_4}"
                    ;
                    from the MEC_FED entity
                }
@@ -1121,7 +1121,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v10/fed_resources/system_info/{SYSTEM_ID_2}" // Inconsistant URI
                        uri indicating value "fed_enablement/v10/fed_resources/systems/{SYSTEM_ID_2}" // Inconsistant URI
                    ;
                    from the MEC_FED entity
                }
@@ -1166,7 +1166,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vPATCH containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info/{SYSTEM_ID_1}"
                        uri indicating value "fed_enablement/v1/fed_resources/systems/{SYSTEM_ID_1}"
                        body containing
                            SystemInfoUpdate containing
                                systemName indicating value omit,
@@ -1224,7 +1224,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vPATCH containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info/{SYSTEM_ID_1}"
                        uri indicating value "fed_enablement/v1/fed_resources/systems/{SYSTEM_ID_1}"
                        body containing
                            SystemInfoUpdate containing
                                systemName indicating value SYSTEM_NEW_NAME_1,
@@ -1282,7 +1282,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vPATCH containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info/{SYSTEM_ID_1}"
                        uri indicating value "fed_enablement/v1/fed_resources/systems/{SYSTEM_ID_1}"
                        body containing
                            SystemInfoUpdate containing
                                systemName indicating value SYSTEM_NEW_NAME_1,
@@ -1338,7 +1338,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vPATCH containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info/{SYSTEM_ID_2}"
                        uri indicating value "fed_enablement/v1/fed_resources/systems/{SYSTEM_ID_2}"
                        body containing
                            SystemInfoUpdate containing
                                systemName indicating value omit,
@@ -1387,7 +1387,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vPATCH containing
                        uri indicating value "fed_enablement/v10/fed_resources/system_info/{SYSTEM_ID_1}"
                        uri indicating value "fed_enablement/v10/fed_resources/systems/{SYSTEM_ID_1}"
                        body containing
                            SystemInfoUpdate containing // At least one attribute shall exist
                                systemName indicating value omit,
@@ -1436,7 +1436,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vDELETE containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info/{SYSTEM_ID_1}"
                        uri indicating value "fed_enablement/v1/fed_resources/systems/{SYSTEM_ID_1}"
                        body containing
                            SystemInfoUpdate containing
                                systemName indicating value SYSTEM_NAME_1,
@@ -1485,7 +1485,7 @@ Package MEC_MEC040_SRV_FED {
            ensure that {
                when {
                    the IUT entity receives a vDELETE containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info/{SYSTEM_ID_UNKNOWN}"
                        uri indicating value "fed_enablement/v1/fed_resources/systems/{SYSTEM_ID_UNKNOWN}"
                    ;
                    from the MEC_FED entity
                }