Commit 88e06919 authored by YannGarcia's avatar YannGarcia
Browse files

Create MEC-040 TPs

parent 6132362d
Loading
Loading
Loading
Loading
+554 −0
Original line number Diff line number Diff line
/*
Copyright (c) ETSI 2018-2021.
Released under BSD 3-clause license. For more information visit https://forge.etsi.org/legal-matters
*/

Package MEC_MEC040_SRV_FED_ENA_MEO {

    import all from MEC_Common;

    Test Purpose {
        TP Id "TP_MEC_MEC040_SRV_FED_ENA_MEO_001_OK_01"

        Test objective
            "Check that the IUT responds with a list of all available systemInfo when requested by a MEC Orchestrator"

        Reference "ETSI GS MEC 040 V3.1.1, clause 7.3.3.1",
                  "https://forge.etsi.org/rep/mec/gs040-fed-enablement-api"

        Config Id Config_MEC_7

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
           the IUT entity being_in idle_state and
           the IUT isRegistered to the MEC_FED and
           the MEC_FED entity having a systemInfoList containing
              systemInfo1 indicating value SYSTEM_ID_1,
              systemInfoN indicating value SYSTEM_ID_N
           ;
        }

        // MEC 040 Clause 6.2.2   Type: SystemInfo
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info"
                    ;
                    from the MEC_FED entity
                }
                then {
                    // MEC 040 Clause 7.3.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK",
                        body containing
                            systemInfoList containing
                                systemInfo0 containing
                                    systemId indicating value SYSTEM_ID_1,
                                    systemName indicating value any_value,
                                    systemProvider indicating value any_value
                                ;,
                                systemInfoN containing
                                    systemId indicating value SYSTEM_ID_N,
                                    systemName indicating value any_value,
                                    systemProvider indicating value any_value
                                ;
                            ;
                        ;
                    ;
                    to the MEC_FED entity
                }
            }
    } // End of TP_MEC_MEC040_SRV_FED_ENA_MEO_001_OK_01


    Test Purpose {
        TP Id "TP_MEC_MEC040_SRV_FED_ENA_MEO_001_OK_02"

        Test objective
            "Check that the IUT responds with a selection of all available systemInfo when requested by a MEC Orchestrator"

        Reference "ETSI GS MEC 040 V3.1.1, clause 7.3.3.1",
                  "https://forge.etsi.org/rep/mec/gs040-fed-enablement-api"

        Config Id Config_MEC_7

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
           the IUT entity being_in idle_state and
           the IUT isRegistered to the MEC_FED and
           the MEC_FED entity having a systemInfoList containing
              systemInfo1 indicating value SYSTEM_ID_1,
              systemInfoN indicating value SYSTEM_ID_N
           ;
        }

        // MEC 040 Clause 6.2.2   Type: SystemInfo
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        query_parameters containing
                            systemId indicating value SYSTEM_ID_1,
                            systemName indicating value SYSTEM_NAME_3
                        ;
                    ;
                    from the MEC_FED entity
                }
                then {
                    // MEC 040 Clause 7.3.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK",
                        body containing
                            systemInfoList containing
                                systemInfo1 containing
                                    systemId indicating value SYSTEM_ID_1,
                                    systemName indicating value any_value,
                                    systemProvider indicating value any_value
                                ;,
                                systemInfo3 containing
                                    systemId indicating value any_value,
                                    systemName indicating value SYSTEM_NAME_3,
                                    systemProvider indicating value any_value
                                ;
                            ;
                        ;
                    ;
                    to the MEC_FED entity
                }
            }
    } // End of TP_MEC_MEC040_SRV_FED_ENA_MEO_001_OK_02


    Test Purpose {
        TP Id "TP_MEC_MEC040_SRV_FED_ENA_MEO_001_NF"

        Test objective
            "Check that the IUT responds with an error when selection is not applicable"

        Reference "ETSI GS MEC 040 V3.1.1, clause 7.3.3.1",
                  "https://forge.etsi.org/rep/mec/gs040-fed-enablement-api"

        Config Id Config_MEC_7

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
           the IUT entity being_in idle_state and
           the IUT isRegistered to the MEC_FED and
           the MEC_FED entity having a systemInfoList containing
              systemInfo1 indicating value SYSTEM_ID_1,
              systemInfoN indicating value SYSTEM_ID_N
           ;
        }

        // MEC 040 Clause 6.2.2   Type: SystemInfo
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        query_parameters containing
                            systemId indicating value SYSTEM_ID_UNKNOWN
                        ;
                    ;
                    from the MEC_FED entity
                }
                then {
                    // MEC 040 Clause 7.3.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "404 Not Found"
                    ;
                    to the MEC_FED entity
                }
            }
    } // End of TP_MEC_MEC040_SRV_FED_ENA_MEO_001_NF


    Test Purpose {
        TP Id "TP_MEC_MEC040_SRV_FED_ENA_MEO_002_OK_01"

        Test objective
            "Check that the IUT creates a new systemInfo when requested by a MEC Orchestrator"

        Reference "ETSI GS MEC 040 V3.1.1, clause 7.3.3.4",
                  "https://forge.etsi.org/rep/mec/gs040-fed-enablement-api"

        Config Id Config_MEC_7

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
           the IUT entity being_in idle_state and
           the IUT isRegistered to the MEC_FED and
           the MEC_FED entity not having a systemInfoList containing
              systemInfo1 indicating value SYSTEM_ID_1
           ;
        }

        // MEC 040 Clause 6.2.2   Type: SystemInfo
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vPOST containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        body containing
                            systemInfo containing
                                systemId indicating value SYSTEM_ID_1,
                                systemName indicating value SYSTEM_NAME_1,
                                systemProvider indicating value SYSTEM_PROV_1
                            ;
                        ;
                    ;
                    from the MEC_FED entity
                }
                then {
                    // MEC 040 Clause 7.3.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "201 Created",
                        body containing
                            systemInfo containing
                                systemId indicating value SYSTEM_ID_1,
                                systemName indicating value SYSTEM_NAME_1,
                                systemProvider indicating value SYSTEM_PROV_1
                            ;
                        ;
                    ;
                    to the MEC_FED entity
                }
            }
    } // End of TP_MEC_MEC040_SRV_FED_ENA_MEO_002_OK_01


    Test Purpose {
        TP Id "TP_MEC_MEC040_SRV_FED_ENA_MEO_002_BR"

        Test objective
            "Check that the IUT responds with an error on creating an existing systemInfo"

        Reference "ETSI GS MEC 040 V3.1.1, clause 7.3.3.4",
                  "https://forge.etsi.org/rep/mec/gs040-fed-enablement-api"

        Config Id Config_MEC_7

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
           the IUT entity being_in idle_state and
           the IUT isRegistered to the MEC_FED and
           the MEC_FED entity having a systemInfoList containing
              systemInfo1 indicating value SYSTEM_ID_1
           ;
        }

        // MEC 040 Clause 6.2.2   Type: SystemInfo
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vPOST containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info",
                        body containing
                            systemInfo containing
                                systemId indicating value SYSTEM_ID_1,
                                systemName indicating value SYSTEM_NAME_1,
                                systemProvider indicating value SYSTEM_PROV_1
                            ;
                        ;
                    ;
                    from the MEC_FED entity
                }
                then {
                    // MEC 040 Clause 7.3.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "400 Bad Request"
                    ;
                    to the MEC_FED entity
                }
            }
    } // End of TP_MEC_MEC040_SRV_FED_ENA_MEO_002_BR


    Test Purpose {
        TP Id "TP_MEC_MEC040_SRV_FED_ENA_MEO_003_OK_01"

        Test objective
            "Check that the IUT responds with a selection of all available systemInfo when requested by a MEC Orchestrator"

        Reference "ETSI GS MEC 040 V3.1.1, clause 7.4.3.1",
                  "https://forge.etsi.org/rep/mec/gs040-fed-enablement-api"

        Config Id Config_MEC_7

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
           the IUT entity being_in idle_state and
           the IUT isRegistered to the MEC_FED and
           the MEC_FED entity having a systemInfoList containing
              systemInfo1 indicating value SYSTEM_ID_1,
              systemInfoN indicating value SYSTEM_ID_N
           ;
        }

        // MEC 040 Clause 6.2.2   Type: SystemInfo
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info/{SYSTEM_ID_1}"
                    ;
                    from the MEC_FED entity
                }
                then {
                    // MEC 040 Clause 7.3.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK",
                        body containing
                            systemInfo containing
                                systemId indicating value SYSTEM_ID_1,
                                systemName indicating value any_value,
                                systemProvider indicating value any_value
                            ;
                        ;
                    ;
                    to the MEC_FED entity
                }
            }
    } // End of TP_MEC_MEC040_SRV_FED_ENA_MEO_003_OK_01


    Test Purpose {
        TP Id "TP_MEC_MEC040_SRV_FED_ENA_MEO_003_NF"

        Test objective
            "Check that the IUT responds with an error when it receives a request for returning a systemInfo  referred with a wrong systemId"

        Reference "ETSI GS MEC 040 V3.1.1, clause 7.4.3.1",
                  "https://forge.etsi.org/rep/mec/gs040-fed-enablement-api"

        Config Id Config_MEC_7

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
           the IUT entity being_in idle_state and
           the IUT isRegistered to the MEC_FED and
           the MEC_FED entity having a systemInfoList containing
              systemInfo1 indicating value SYSTEM_ID_1,
              systemInfoN indicating value SYSTEM_ID_N
           ;
        }

        // MEC 040 Clause 6.2.2   Type: SystemInfo
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vGET containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info/{SYSTEM_ID_UNKNOWN}"
                    ;
                    from the MEC_FED entity
                }
                then {
                    // MEC 040 Clause 7.3.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "404 Not Found"
                    ;
                    to the MEC_FED entity
                }
            }
    } // End of TP_MEC_MEC040_SRV_FED_ENA_MEO_003_NF


    Test Purpose {
        TP Id "TP_MEC_MEC040_SRV_FED_ENA_MEO_004_OK_01"

        Test objective
            "Check that the IUT updates the systemInfo when requested by a MEC Orchestrator"

        Reference "ETSI GS MEC 040 V3.1.1, clause 7.4.3.3",
                  "https://forge.etsi.org/rep/mec/gs040-fed-enablement-api"

        Config Id Config_MEC_7

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
           the IUT entity being_in idle_state and
           the IUT isRegistered to the MEC_FED and
           the MEC_FED entity having a systemInfoList containing
              systemInfo1 indicating value SYSTEM_ID_1
           ;
        }

        // MEC 040 Clause 6.2.2   Type: SystemInfo
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vPATCH containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info/{SYSTEM_ID_1}"
                        body containing
                            SystemInfoUpdate containing
                                systemName indicating value SYSTEM_NAME_1,
                                endpoint indicating value NEW_ENDPOINT_1
                            ;
                        ;
                    ;
                    from the MEC_FED entity
                }
                then {
                    // MEC 040 Clause 7.3.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "200 OK",
                        body containing
                            systemInfo containing
                                systemId indicating value SYSTEM_ID_1,
                                systemName indicating value any_value,
                                systemProvider indicating value SYSTEM_ID_NEW_1
                            ;
                        ;
                    ;
                    to the MEC_FED entity
                }
            }
    } // End of TP_MEC_MEC040_SRV_FED_ENA_MEO_004_OK_01


    Test Purpose {
        TP Id "TP_MEC_MEC040_SRV_FED_ENA_MEO_004_NF"

        Test objective
            "Check that the IUT responds with an error when requested to update an unknown systemInfo"

        Reference "ETSI GS MEC 040 V3.1.1, clause 7.4.3.3",
                  "https://forge.etsi.org/rep/mec/gs040-fed-enablement-api"

        Config Id Config_MEC_7

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
           the IUT entity being_in idle_state and
           the IUT isRegistered to the MEC_FED and
           the MEC_FED entity having a systemInfoList containing
              systemInfo1 indicating value SYSTEM_ID_1
           ;
        }

        // MEC 040 Clause 6.2.2   Type: SystemInfo
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vPATCH containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info/{SYSTEM_ID_UNKNOWN}"
                        body containing
                            SystemInfoUpdate containing
                                systemName indicating value SYSTEM_NAME_1,
                                endpoint indicating value NEW_ENDPOINT_1
                            ;
                        ;
                    ;
                    from the MEC_FED entity
                }
                then {
                    // MEC 040 Clause 7.3.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "404 Not Found"
                    ;
                    to the MEC_FED entity
                }
            }
    } // End of TP_MEC_MEC040_SRV_FED_ENA_MEO_004_NF


    Test Purpose {
        TP Id "TP_MEC_MEC040_SRV_FED_ENA_MEO_005_OK_01"

        Test objective
            "Check that the IUT deletes the systemInfo when requested by a MEC Orchestrator"

        Reference "ETSI GS MEC 040 V3.1.1, clause 7.4.3.3",
                  "https://forge.etsi.org/rep/mec/gs040-fed-enablement-api"

        Config Id Config_MEC_7

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
           the IUT entity being_in idle_state and
           the IUT isRegistered to the MEC_FED and
           the MEC_FED entity having a systemInfoList containing
              systemInfo1 indicating value SYSTEM_ID_1
           ;
        }

        // MEC 040 Clause 6.2.2   Type: SystemInfo
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vDELETE containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info/{SYSTEM_ID_1}"
                        body containing
                            SystemInfoUpdate containing
                                systemName indicating value SYSTEM_NAME_1,
                                endpoint indicating value NEW_ENDPOINT_1
                            ;
                        ;
                    ;
                    from the MEC_FED entity
                }
                then {
                    // MEC 040 Clause 7.3.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "204 No Content"
                    ;
                    to the MEC_FED entity
                }
            }
    } // End of TP_MEC_MEC040_SRV_FED_ENA_MEO_005_OK_01


    Test Purpose {
        TP Id "TP_MEC_MEC040_SRV_FED_ENA_MEO_005_NF"

        Test objective
            "Check that the IUT responds with an error when requested to delete an unknown systemInfo"

        Reference "ETSI GS MEC 040 V3.1.1, clause 7.4.3.4,
                  "https://forge.etsi.org/rep/mec/gs040-fed-enablement-api"

        Config Id Config_MEC_7

        PICS Selection PIC_MEC_PLAT and PIC_SERVICES

        Initial conditions  with {
           the IUT entity being_in idle_state and
           the IUT isRegistered to the MEC_FED and
           the MEC_FED entity having a systemInfoList containing
              systemInfo1 indicating value SYSTEM_ID_1
           ;
        }

        // MEC 040 Clause 6.2.2   Type: SystemInfo
        Expected behaviour
            ensure that {
                when {
                    the IUT entity receives a vDELETE containing
                        uri indicating value "fed_enablement/v1/fed_resources/system_info/{SYSTEM_ID_UNKNOWN}"
                    ;
                    from the MEC_FED entity
                }
                then {
                    // MEC 040 Clause 7.3.3.1
                    the IUT entity sends a HTTP_RESPONSE containing
                        status_code set to "404 Not Found"
                    ;
                    to the MEC_FED entity
                }
            }
    } // End of TP_MEC_MEC040_SRV_FED_ENA_MEO_005_NF


} // End of Package MEC_MEC040_SRV_FED_ENA
+9 −0
Original line number Diff line number Diff line
@@ -42,6 +42,7 @@ Package MEC_Common {
      - RNIS_SERVER
      - AMS_CLIENT
      - AMS_SERVER
      - MEC_FED
      ;
      events:
      - services_running      // services available in the IUT
@@ -52,6 +53,7 @@ Package MEC_Common {
      - sends                 // component sends an HTTP response
      - being_in
      - having
      - isRegistered
      // Idle state: The MEC platform has services running and MEC Application 
      // is authorized to consume services
      - idle_state 
@@ -176,6 +178,7 @@ Package MEC_Common {
      Component Type MecSystemComponent with gate p of type apiPort;
      Component Type MecGenericProvider with gate p of type apiPort;
      Component Type MecGenericConsumer with gate p of type apiPort;
      Component Type MecFederator with gate p of type apiPort;

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

      Test Configuration Config_MEC_7 containing
         Tester component Mec_Orchestrator of type MecOrchestrator
         SUT component IUT of type MecFederator
         connection between Mec_Orchestrator.p and IUT.p
      ;

   }
}