AtsMec_WlanInformationAPI_TestCases.ttcn 110 KB
Newer Older
YannGarcia's avatar
YannGarcia committed
                                                                                                                                             -, -,
                                                                                                                                             v_assoc_sta_subscription.links,
                                                                                                                                             12,
                                                                                                                                             m_time_stamp(
                                                                                                                                                          f_get_current_timestamp_utc() / 1000 + 30 // Expiry time: T + 30 seconds
                                                                                                                                                          )))))));
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_ac.start;
        alt {
          [] httpPort.receive(
                              mw_http_response(
                                               mw_http_response_ok(
                                                                   mw_http_message_body_json(
                                                                                             mw_body_json_assoc_sta_subscription(
                                                                                                                                 mw_assoc_sta_subscription(
                                                                                                                                                           v_assoc_sta_subscription.callbackReference,
                                                                                                                                                           ?,
YannGarcia's avatar
YannGarcia committed
                                                                                                                                                           -, -,
                                                                                                                                                           v_assoc_sta_subscription.links                                                                                                                              )))))) -> value v_response {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully responds to the AssocStatSubscription update ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_ac.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_delete_assoc_sta_subscription(v_response.response.body.json_body.assocStaSubscription);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC028_SRV_WAI_009_OK

    /**
     * @desc Check that the IUT responds with an error when an invalid field is set in the subscription modification request 
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
YannGarcia's avatar
YannGarcia committed
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/ExistingSub.tplan2
     */
    testcase TC_MEC_MEC028_SRV_WAI_009_BR() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var AssocStaSubscription v_assoc_sta_subscription;
        var Headers v_headers;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_assoc_sta_subscription(v_assoc_sta_subscription);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_put(
                                                        PICS_ROOT_API & PX_ME_WLAN_URI & "/subscriptions/unknown",
                                                        v_headers,
                                                        m_http_message_body_json(
                                                                                 m_body_json_assoc_sta_subscription(
                                                                                                                    m_assoc_sta_subscription(
                                                                                                                                             v_assoc_sta_subscription.callbackReference,
                                                                                                                                             m_ap_identity(
                                                                                                                                                           PX_MAC_ID
                                                                                                                                                           ),
                                                                                                                                             -, -,
                                                                                                                                             v_assoc_sta_subscription.links,
                                                                                                                                             12,
                                                                                                                                             m_time_stamp(
                                                                                                                                                          f_get_current_timestamp_utc() / 1000 + 30 // Expiry time: T + 30 seconds
                                                                                                                                                          )))))));
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_ac.start;
        alt {
          [] httpPort.receive(
                              mw_http_response(
                                               mw_http_response_400_bad_request
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully responds the correct error code ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_ac.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_delete_assoc_sta_subscription(v_assoc_sta_subscription);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC028_SRV_WAI_009_BR

    /**
     * @desc Check that the IUT responds with 204 when an existing subscription is correctly deleted
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
YannGarcia's avatar
YannGarcia committed
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/ExistingSub.tplan2
     */
    testcase TC_MEC_MEC028_SRV_WAI_010_OK() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var AssocStaSubscription v_assoc_sta_subscription;
        var Headers v_headers;
        var charstring v_uri;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
YannGarcia's avatar
YannGarcia committed
        f_create_assoc_sta_subscription(v_assoc_sta_subscription);
        f_init_default_headers_list(-, -, v_headers);
        v_uri := regexp(
                        oct2char(unichar2oct(v_assoc_sta_subscription.links.self_.href)),
                        "?+(" & PX_ME_WLAN_URI & "?*)",
                        0
                        );
        httpPort.send(
                      m_http_request(
                                     m_http_request_delete(
                                                           PICS_ROOT_API & v_uri,
                                                           v_headers
                                                           )
                                     )
                      );
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_ac.start;
        alt {
          [] httpPort.receive(
                              mw_http_response(
                                               mw_http_response_204_no_content
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully responds with an AssocStaSubscription ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_ac.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC028_SRV_WAI_010_OK

    /**
     * @desc Check that the IUT responds with an error when an not existing subscription cannot be deleted
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
YannGarcia's avatar
YannGarcia committed
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/ExistingSub.tplan2
     */
    testcase TC_MEC_MEC028_SRV_WAI_010_NF() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var AssocStaSubscription v_assoc_sta_subscription;
        var Headers v_headers;
        var charstring v_uri;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
YannGarcia's avatar
YannGarcia committed
        f_create_assoc_sta_subscription(v_assoc_sta_subscription);
        f_init_default_headers_list(-, -, v_headers);
        v_uri := regexp(
                        oct2char(unichar2oct(v_assoc_sta_subscription.links.self_.href)),
                        "?+(" & PX_ME_WLAN_URI & "?*)",
                        0
                        );
        httpPort.send(
                      m_http_request(
                                     m_http_request_delete(
                                                           PICS_ROOT_API & v_uri & "_Invalid",
                                                           v_headers
                                                           )
                                     )
                      );
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_ac.start;
        alt {
          [] httpPort.receive(
                              mw_http_response(
                                               mw_http_response_404_not_found
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully responds with an AssocStaSubscription ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_ac.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_delete_assoc_sta_subscription(v_assoc_sta_subscription);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC028_SRV_WAI_010_NF

    /**
     * @desc Check that the IUT sends a notification about WLAN event notification if the MEC service has an associated subscription and the event is generated
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
YannGarcia's avatar
YannGarcia committed
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/NotificationCallback.tplan2
     */
    testcase TC_MEC_MEC028_SRV_WAI_011_OK() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var AssocStaSubscription v_assoc_sta_subscription;
        var Headers v_headers;
        var HttpMessage v_response;
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_notif_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_assoc_sta_subscription(v_assoc_sta_subscription);
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_wait.start;
        alt {
          [] httpPort_notif.receive(
                                    mw_http_request(
                                    mw_http_request_post(
                                                         -,
                                                         -,
                                                         mw_http_message_body_json(
                                                                                   mw_body_json_assoc_sta_subscription(
                                                                                                                       mw_assoc_sta_subscription(
                                                                                                                                                 PX_ASSOC_STA_SUBSCRIPTION_CALLBACK,
                                                                                                                                                 -,
YannGarcia's avatar
YannGarcia committed
                                                                                                                                                 -, -,
                                                                                                                                                 ?
                                                                                                                                                 )))))) -> value v_response {
            tc_wait.stop;
            
            f_init_default_headers_list(-, -, v_headers);
            httpPort_notif.send(
                                m_http_response(
                                                m_http_response_ok_no_body(
                                                                           v_headers
                                                                           )));
            log("*** " & testcasename() & ": PASS: IUT successfully sends notification ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_wait.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_delete_assoc_sta_subscription(v_assoc_sta_subscription);
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_delete_assoc_sta_subscription(v_assoc_sta_subscription);
        f_cf_01_http_notif_down();
    } // End of testcase TC_MEC_MEC028_SRV_WAI_011_OK

YannGarcia's avatar
YannGarcia committed
    /**
     * @desc Check that the IUT responds with the list of WLAN Access Point
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/Measurement.tplan2
     */
    testcase TC_MEC_MEC028_SRV_WAI_012_OK() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var HttpMessage v_response;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_get(
                                                        PICS_ROOT_API & PX_ME_WLAN_QUERIES_URI & "/queries/measurements",
                                                        v_headers
                                                        )
                                     )
                      );
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_ac.start;
        alt {
          [] httpPort.receive(
                              mw_http_response(
                                               mw_http_response_ok(
                                                                   mw_http_message_body_json(
                                                                                             mw_body_json_wlan_measurement_config_link_list
                                                                                             )))) -> value v_response {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully responds with a list of measurement config ***");
YannGarcia's avatar
YannGarcia committed
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_ac.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC028_SRV_WAI_012_OK

    /**
     * @desc Check that the IUT responds with the list of WLAN Access Point
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/Measurement.tplan2
     */
    /*testcase TC_MEC_MEC028_SRV_WAI_012_BR() runs on HttpComponent system HttpTestAdapter {
YannGarcia's avatar
YannGarcia committed
        // Local variables
        var Headers v_headers;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_get(
                                                        PICS_ROOT_API & PX_ME_WLAN_QUERIES_URI & "/invalid_measurements",
YannGarcia's avatar
YannGarcia committed
                                                        v_headers
                                                        )
                                     )
                      );
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_ac.start;
        alt {
          [] httpPort.receive(
                              mw_http_response(
                                               mw_http_response_400_bad_request
                                               )) {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully responds with the correct error code ***");
YannGarcia's avatar
YannGarcia committed
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_ac.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_cf_01_http_down();
        }*/ // End of testcase TC_MEC_MEC028_SRV_WAI_012_BR
YannGarcia's avatar
YannGarcia committed

    /**
     * @desc Check that the IUT responds with the list of WLAN Access Point
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/Measurement.tplan2
     */
    testcase TC_MEC_MEC028_SRV_WAI_012_NF() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_get(
                                                        PICS_ROOT_API & PX_ME_WLAN_QUERIES_URI & "/invalid_measurements",
YannGarcia's avatar
YannGarcia committed
                                                        v_headers
                                                        )
                                     )
                      );
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_ac.start;
        alt {
          [] httpPort.receive(
                              mw_http_response(
                                               mw_http_response_404_not_found
                                               )) {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully responds with a list of ApInfo ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_ac.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC028_SRV_WAI_012_NF

    /**
     * @desc Check that the IUT responds with a new measurement configuration
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/Measurement.tplan2
     */
    testcase TC_MEC_MEC028_SRV_WAI_013_OK() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var HttpMessage v_response;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_post(
                                                         PICS_ROOT_API & PX_ME_WLAN_URI & "/measurements",
                                                         v_headers,
                                                         m_http_message_body_json(
                                                                                  m_body_json_wlan_measurement_config(
                                                                                                                      m_measurement_config(
                                                                                                                                           -,
                                                                                                                                           {
                                                                                                                                             m_sta_identity(
                                                                                                                                                            PX_MAC_ID,
                                                                                                                                                            )
                                                                                                                                             },
                                                                                                                                           PX_MEASUREMENT_ID,
                                                                                                                                           m_measurement_info(1000, 10)
                                                                                                                                           ))))));
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_ac.start;
        alt {
          [] httpPort.receive(
                              mw_http_response(
                                               mw_http_response_ok(
                                                                   mw_http_message_body_json(
                                                                                             mw_body_json_wlan_measurement_config(
                                                                                                                                  mw_measurement_config(
                                                                                                                                                        ?,
                                                                                                                                                        {mw_sta_identity(PX_MAC_ID,
                                                                                                                                                                         )},
                                                                                                                                                        PX_MEASUREMENT_ID,
                                                                                                                                                        mw_measurement_info
                                                                                                                                                        )))))) -> value v_response {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully responds with the new measurement config ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_ac.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_delete_measurement_config(v_response.response.body.json_body.measurementConfig);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC028_SRV_WAI_013_OK

    /**
     * @desc Check that the IUT responds with an error when an invalid request is sent
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/Measurement.tplan2
     */
    testcase TC_MEC_MEC028_SRV_WAI_013_BR() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_post(
                                                         PICS_ROOT_API & PX_ME_WLAN_URI & "/measurements",
                                                         v_headers,
                                                         m_http_message_body_json(
                                                                                  m_body_json_wlan_measurement_config(
                                                                                                                      m_measurement_config(
                                                                                                                                           -,
                                                                                                                                           {
                                                                                                                                             m_sta_identity(
                                                                                                                                                            PX_MAC_ID & ":00", // Invalid MAC address
                                                                                                                                                            )
                                                                                                                                             },
                                                                                                                                           PX_MEASUREMENT_ID,
                                                                                                                                           m_measurement_info(1000, 10)
                                                                                                                                           ))))));
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_ac.start;
        alt {
          [] httpPort.receive(
                              mw_http_response(
                                               mw_http_response_400_bad_request
                                               )) {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully with the correct error code ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_ac.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC028_SRV_WAI_013_BR

    /**
     * @desc Check that the IUT responds with an error when an invalid request is sent
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/Measurement.tplan2
     */
    /*testcase TC_MEC_MEC028_SRV_WAI_013_NF() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_post(
                                                         PICS_ROOT_API & PX_ME_WLAN_URI & "/Invalid_measurements",
                                                         v_headers,
                                                         m_http_message_body_json(
                                                                                  m_body_json_wlan_measurement_config(
                                                                                                                      m_measurement_config(
                                                                                                                                           -,
                                                                                                                                           {
                                                                                                                                             m_sta_identity(
                                                                                                                                                            PX_MAC_ID,
                                                                                                                                                            PX_SSID,
                                                                                                                                                            -,
                                                                                                                                                            PX_IP_ADDRESS
                                                                                                                                                            )
                                                                                                                                             },
                                                                                                                                           PX_MEASUREMENT_ID,
                                                                                                                                           m_measurement_info(1000, 10)
                                                                                                                                           ))))));
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_ac.start;
        alt {
          [] httpPort.receive(
                              mw_http_response(
                                               mw_http_response_404_not_found
                                               )) {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully with the correct error code ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_ac.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_cf_01_http_down();
        }*/ // End of testcase TC_MEC_MEC028_SRV_WAI_013_NF

    /**
     * @desc Check that the IUT responds with the specified measurement configuration
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/Measurement.tplan2
     */
    testcase TC_MEC_MEC028_SRV_WAI_014_OK() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var HttpMessage v_response;
        var MeasurementConfig v_measurement_config;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_measurement_config(v_measurement_config);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_get(
                                                        PICS_ROOT_API & PX_ME_WLAN_QUERIES_URI & "/measurements/" & v_measurement_config.links.self_.href,
                                                        v_headers
                                                        )
                                     )
                      );
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_ac.start;
        alt {
          [] httpPort.receive(
                              mw_http_response(
                                               mw_http_response_ok(
                                                                   mw_http_message_body_json(
                                                                                             mw_body_json_wlan_measurement_config(
                                                                                                                                  mw_measurement_config(
                                                                                                                                                        ?,
                                                                                                                                                        {
                                                                                                                                                          mw_sta_identity(
                                                                                                                                                                          PX_MAC_ID,
                                                                                                                                                                          )
                                                                                                                                                          },
                                                                                                                                                        PX_MEASUREMENT_ID,
                                                                                                                                                        mw_measurement_info
                                                                                                                                                        )))))) -> value v_response {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully responds with the new measurement config ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_ac.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_delete_measurement_config(v_response.response.body.json_body.measurementConfig);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC028_SRV_WAI_014_OK

    /**
     * @desc Check that the IUT responds with an error when an invalid request is sent
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/Measurement.tplan2
     */
    testcase TC_MEC_MEC028_SRV_WAI_014_NF() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var MeasurementConfig v_measurement_config;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_measurement_config(v_measurement_config);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_get(
                                                        PICS_ROOT_API & PX_ME_WLAN_QUERIES_URI & "/measurements/" & v_measurement_config.links.self_.href & "_Invalid",
                                                        v_headers
                                                        )
                                     )
                      );
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_ac.start;
        alt {
          [] httpPort.receive(
                              mw_http_response(
                                               mw_http_response_404_not_found
                                               )) {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT responds with the correct error code ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_ac.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_delete_measurement_config(v_measurement_config);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC028_SRV_WAI_014_NF

    /**
     * @desc Check that the IUT responds with the modified measurement configuration
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/Measurement.tplan2
     */
    testcase TC_MEC_MEC028_SRV_WAI_015_OK() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var HttpMessage v_response;
        var MeasurementConfig v_measurement_config;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_measurement_config(v_measurement_config);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_put(
                                                        PICS_ROOT_API & PX_ME_WLAN_URI & "/measurements" & v_measurement_config.links.self_.href,
                                                        v_headers,
                                                        m_http_message_body_json(
                                                                                 m_body_json_wlan_measurement_config(
                                                                                                                     m_measurement_config(
                                                                                                                                          -,
                                                                                                                                          {
                                                                                                                                            m_sta_identity(
                                                                                                                                                           PX_MAC_ID,
                                                                                                                                                           )
                                                                                                                                            },
                                                                                                                                          PX_MEASUREMENT_ID,
                                                                                                                                          m_measurement_info(2000, 20)
                                                                                                                                           ))))));
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_ac.start;
        alt {
          [] httpPort.receive(
                              mw_http_response(
                                               mw_http_response_ok(
                                                                   mw_http_message_body_json(
                                                                                             mw_body_json_wlan_measurement_config(
                                                                                                                                  mw_measurement_config(
                                                                                                                                                        ?,
                                                                                                                                                        {mw_sta_identity(
                                                                                                                                                                         PX_MAC_ID,
                                                                                                                                                                         {PX_SSID},
                                                                                                                                                                         -,
                                                                                                                                                                         {PX_IP_ADDRESS}
                                                                                                                                                                         )},
                                                                                                                                                        PX_MEASUREMENT_ID,
                                                                                                                                                        mw_measurement_info(2000, 20)
                                                                                                                                                        )))))) -> value v_response {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully responds with the new measurement config ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_ac.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_delete_measurement_config(v_response.response.body.json_body.measurementConfig);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC028_SRV_WAI_015_OK

    /**
     * @desc Check that the IUT responds with an error when an invalid request is sent
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/Measurement.tplan2
     */
    testcase TC_MEC_MEC028_SRV_WAI_015_NF() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var MeasurementConfig v_measurement_config;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_measurement_config(v_measurement_config);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_put(
                                                        PICS_ROOT_API & PX_ME_WLAN_URI & "/measurements" & v_measurement_config.links.self_.href & "_Invalid",
                                                        v_headers,
                                                        m_http_message_body_json(
                                                                                 m_body_json_wlan_measurement_config(
                                                                                                                     m_measurement_config(
                                                                                                                                          -,
                                                                                                                                          {
                                                                                                                                            m_sta_identity(
                                                                                                                                                           PX_MAC_ID,
                                                                                                                                                           )
                                                                                                                                            },
                                                                                                                                          PX_MEASUREMENT_ID,
                                                                                                                                          m_measurement_info(2000, 20)
                                                                                                                                           ))))));
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body
        tc_ac.start;
        alt {
          [] httpPort.receive(
                              mw_http_response(
                                               mw_http_response_404_not_found
                                               )) {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully responds with the new measurement config ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
          [] tc_ac.timeout {
            log("*** " & testcasename() & ": INCONC: Expected message not received ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
          }
        } // End of 'alt' statement
        
        // Postamble
        f_delete_measurement_config(v_measurement_config);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC028_SRV_WAI_015_NF

    /**
     * @desc Check that the IUT responds with with 204 when requested to delete the specified measurement configuration
     * @see https://forge.etsi.org/rep/mec/gs028-wai-api/blob/master/WlanInformationApi.json
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC028/SRV/WAI/Measurement.tplan2
     */
    testcase TC_MEC_MEC028_SRV_WAI_016_OK() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var MeasurementConfig v_measurement_config;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_WLAN_INFORMATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_WLAN_INFORMATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_measurement_config(v_measurement_config);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_delete(
                                                           PICS_ROOT_API & PX_ME_WLAN_URI & "/measurements" & v_measurement_config.links.self_.href,
                                                           v_headers
                                                           )));
        f_selfOrClientSyncAndVerdict(c_prDone, e_success);

        // Test Body