AtsMec_V2XInformationServiceAPI_TestCases.ttcn 177 KB
Newer Older
            log("*** " & testcasename() & ": PASS: IUT successfully registers subscription ***");
            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_v2x_msg_subscription(v_v2x_msg_subscription);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC030_SRV_V2X_008_OK_04

    /**
     * @desc Check that the IUT responds with an error when a request with incorrect parameters is sent by a MEC Application
     * @see https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC030/SRV/V2XInformationService.tplan2
     */
    testcase TC_MEC_MEC030_SRV_V2X_008_BR() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var HttpMessage v_response;
        var V2xMsgSubscription v_v2x_msg_subscription;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_v2x_msg_subscription(v_v2x_msg_subscription);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_get(
                                                        PICS_ROOT_API & PX_ME_V2X_URI & "/subscriptions/" & v_v2x_msg_subscription.links.self_,
                                                        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 a 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_v2x_msg_subscription(v_v2x_msg_subscription);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC030_SRV_V2X_008_BR

    /**
     * @desc Check that the IUT responds with an error when a request with incorrect parameters is sent by a MEC Application
     * @see https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC030/SRV/V2XInformationService.tplan2
     */
    testcase TC_MEC_MEC030_SRV_V2X_008_NF() 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_V2X_INFORMATION_SERVICE_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_V2X_INFORMATION_SERVICE_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_V2X_URI & "/subscriptions/invalid_links",
                                                        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 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_MEC030_SRV_V2X_008_NF

    /**
     * @desc Check that the IUT responds with the request of updating subscription information when queried by a MEC Application
     * @see https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC030/SRV/V2XInformationService.tplan2
     */
    testcase TC_MEC_MEC030_SRV_V2X_009_OK_01() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var HttpMessage v_response;
        var ProvChgUuUniSubscription v_prov_chg_uu_uni_subscription;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_prov_uu_uni_subscription(v_prov_chg_uu_uni_subscription);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_put(
                                                        PICS_ROOT_API & PX_ME_V2X_URI & "/subscriptions/" & v_prov_chg_uu_uni_subscription.links.self_,
                                                        v_headers,
                                                         m_http_message_body_json(
                                                                                  m_body_json_prov_chg_uu_uni_subscription(
                                                                                                                           m_prov_chg_uu_uni_subscription(
                                                                                                                                                          PX_PROV_UU_UNI_SUB_CALLBACK,
                                                                                                                                                          m_prov_chg_uu_uni_filter_criteria(
                                                                                                                                                                                            m_location_info(
                                                                                                                                                                                                            m_ecgi(
                                                                                                                                                                                                                   PX_CELL_ID,m_plmn(PX_MCC, PX_MNC)
                                                                                                                                                                                                                   ),
                                                                                                                                                                                                            m_location_info_geo_area(
                                                                                                                                                                                                                                     43.77,
                                                                                                                                                                                                                                     10.46
                                                                                                                                                                                                                                     )),
                                                                                                                                                                                            m_v2x_application_server(
                                                                                                                                                                                                                     oct2char(unichar2oct(PX_V2X_SERVER_IP_ADDRESS, "UTF-8")),
                                                                                                                                                                                                                     oct2char(unichar2oct(PX_V2X_SERVER_UDP_PORT, "UTF-8"))
                                                                                                                                                                                                                     )),
                                                                                                                                                          v_prov_chg_uu_uni_subscription.links
                                                                                                                                                          ))))));
        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_prov_chg_uu_uni_subscription(
                                                                                                                                       mw_prov_chg_uu_uni_subscription(
                                                                                                                                                                       PX_PROV_UU_UNI_SUB_CALLBACK,
                                                                                                                                                                       -,
                                                                                                                                                                       v_prov_chg_uu_uni_subscription.links
                                                                                                                                                                       )))))) {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully registers subscription ***");
            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_prov_uu_uni_subscription(v_prov_chg_uu_uni_subscription);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC030_SRV_V2X_009_OK_01

    /**
     * @desc Check that the IUT responds with the request of updating subscription information when queried by a MEC Application
     * @see https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC030/SRV/V2XInformationService.tplan2
     */
    testcase TC_MEC_MEC030_SRV_V2X_009_OK_02() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var HttpMessage v_response;
        var ProvChgUuMbmsSubscription v_prov_chg_uu_mbms_subscription;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_prov_uu_mbms_subscription(v_prov_chg_uu_mbms_subscription);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_put(
                                                        PICS_ROOT_API & PX_ME_V2X_URI & "/subscriptions/" & v_prov_chg_uu_mbms_subscription.links.self_,
                                                        v_headers,
                                                         m_http_message_body_json(
                                                                                  m_body_json_prov_chg_uu_mbms_subscription(
                                                                                                                            m_prov_chg_uu_mbms_subscription(
                                                                                                                                                            PX_PROV_UU_MBMS_SUB_CALLBACK,
                                                                                                                                                            m_prov_chg_uu_mbms_filter_criteria(
                                                                                                                                                                                               m_location_info(
                                                                                                                                                                                                               m_ecgi(
                                                                                                                                                                                                                      PX_CELL_ID,m_plmn(PX_MCC, PX_MNC)
                                                                                                                                                                                                                      ),
                                                                                                                                                                                                               m_location_info_geo_area(
                                                                                                                                                                                                                                        43.77,
                                                                                                                                                                                                                                        10.46
                                                                                                                                                                                                                                        )),
                                                                                                                                                                                               m_v2x_server_usd(
                                                                                                                                                                                                                { PX_V2X_MBMS_SERVICE_ID },
                                                                                                                                                                                                                m_sdp_info(
                                                                                                                                                                                                                           PX_V2X_MC_SERVER,
                                                                                                                                                                                                                           PX_V2X_MC_PORT
                                                                                                                                                                                                                           ),
                                                                                                                                                                                                                m_tmgi(
                                                                                                                                                                                                                       PX_V2X_SERVICE_AREA_ID,
                                                                                                                                                                                                                       PX_MCC,
                                                                                                                                                                                                                       PX_MNC
                                                                                                                                                                                                                       ))),
                                                                                                                                                            v_prov_chg_uu_mbms_subscription.links
))))));
        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_prov_chg_uu_mbms_subscription(
                                                                                                                                        mw_prov_chg_uu_mbms_subscription(
                                                                                                                                                                         PX_PROV_UU_MBMS_SUB_CALLBACK,
                                                                                                                                                                         -,
                                                                                                                                                                         v_prov_chg_uu_mbms_subscription.links
                                                                                                                                                                         )))))) {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully registers subscription ***");
            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_prov_uu_mbms_subscription(v_prov_chg_uu_mbms_subscription);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC030_SRV_V2X_009_OK_02

    /**
     * @desc Check that the IUT responds with the request of updating subscription information when queried by a MEC Application
     * @see https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC030/SRV/V2XInformationService.tplan2
     */
    testcase TC_MEC_MEC030_SRV_V2X_009_OK_03() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var HttpMessage v_response;
        var ProvChgPc5Subscription v_prov_chg_pc5_subscription;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_prov_pc5_subscription(v_prov_chg_pc5_subscription);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_put(
                                                        PICS_ROOT_API & PX_ME_V2X_URI & "/subscriptions/" & v_prov_chg_pc5_subscription.links.self_,
                                                        v_headers,
                                                         m_http_message_body_json(
                                                                                  m_body_json_prov_chg_pc5_subscription(
                                                                                                                        m_prov_chg_pc5_subscription(
                                                                                                                                                            PX_PROV_PC5_SUB_CALLBACK,
                                                                                                                                                            m_filter_criteria(
                                                                                                                                                                              PX_V2X_DST_LAYER_2_ID,
                                                                                                                                                                              m_location_info(
                                                                                                                                                                                              m_ecgi(
                                                                                                                                                                                                     PX_CELL_ID,m_plmn(PX_MCC, PX_MNC)
                                                                                                                                                                                                     ),
                                                                                                                                                                                              m_location_info_geo_area(
                                                                                                                                                                                                                       43.77,
                                                                                                                                                                                                                       10.46
                                                                                                                                                                                                                       ))),
                                                                                                                                                            v_prov_chg_pc5_subscription.links
                                                                                                                                                    ))))));
        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_prov_chg_pc5_subscription(
                                                                                                                                       mw_prov_chg_pc5_subscription(
                                                                                                                                                                       PX_PROV_PC5_SUB_CALLBACK,
                                                                                                                                                                       -,
                                                                                                                                                                       v_prov_chg_pc5_subscription.links
                                                                                                                                                                       )))))) {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully registers subscription ***");
            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_prov_pc5_subscription(v_prov_chg_pc5_subscription);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC030_SRV_V2X_009_OK_03

    /**
     * @desc Check that the IUT responds with the request of updating subscription information when queried by a MEC Application
     * @see https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC030/SRV/V2XInformationService.tplan2
     */
    testcase TC_MEC_MEC030_SRV_V2X_009_OK_04() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var HttpMessage v_response;
        var V2xMsgSubscription v_v2x_msg_subscription;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_v2x_msg_subscription(v_v2x_msg_subscription);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_put(
                                                        PICS_ROOT_API & PX_ME_V2X_URI & "/subscriptions/" & v_v2x_msg_subscription.links.self_,
                                                        v_headers,
                                                         m_http_message_body_json(
                                                                                  m_body_json_v2x_msg_subscription(
                                                                                                                   m_v2x_msg_subscription(
                                                                                                                                          PX_PROV_V2X_SUB_CALLBACK,
                                                                                                                                          m_v2x_msg_subscription_filter_criteria,
                                                                                                                                          v_v2x_msg_subscription.links
                                                                                                                                          ))))));
        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_v2x_msg_subscription(
                                                                                                                               mw_v2x_msg_subscription(
                                                                                                                                                       PX_PROV_V2X_SUB_CALLBACK,
                                                                                                                                                       -,
                                                                                                                                                       v_v2x_msg_subscription.links
                                                                                                                                                       )))))) {
            tc_ac.stop;
            
            log("*** " & testcasename() & ": PASS: IUT successfully registers subscription ***");
            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_v2x_msg_subscription(v_v2x_msg_subscription);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC030_SRV_V2X_009_OK_04

    /**
     * @desc Check that the IUT responds with an error when a request with incorrect parameters is sent by a MEC Application
     * @see https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC030/SRV/V2XInformationService.tplan2
     */
    testcase TC_MEC_MEC030_SRV_V2X_009_BR() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var ProvChgUuUniSubscription v_prov_chg_uu_uni_subscription;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_prov_uu_uni_subscription(v_prov_chg_uu_uni_subscription);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_put(
                                                        PICS_ROOT_API & PX_ME_V2X_URI & "/subscriptions/" & v_prov_chg_uu_uni_subscription.links.self_,
                                                        v_headers,
                                                         m_http_message_body_json(
                                                                                  m_body_json_prov_chg_uu_uni_subscription(
                                                                                                                           m_prov_chg_uu_uni_subscription_invalid(
                                                                                                                                                          PX_PROV_UU_UNI_SUB_CALLBACK,
                                                                                                                                                          m_prov_chg_uu_uni_filter_criteria(
                                                                                                                                                                                            m_location_info(
                                                                                                                                                                                                            m_ecgi(
                                                                                                                                                                                                                   PX_CELL_ID,m_plmn(PX_MCC, PX_MNC)
                                                                                                                                                                                                                   ),
                                                                                                                                                                                                            m_location_info_geo_area(
                                                                                                                                                                                                                                     43.72,
                                                                                                                                                                                                                                     10.41
                                                                                                                                                                                                                                     )),
                                                                                                                                                                                            m_v2x_application_server(
                                                                                                                                                                                                                     oct2char(unichar2oct(PX_V2X_SERVER_IP_ADDRESS, "UTF-8")),
                                                                                                                                                                                                                     oct2char(unichar2oct(PX_V2X_SERVER_UDP_PORT, "UTF-8"))
                                                                                                                                                                                                                     )),
                                                                                                                                                          v_prov_chg_uu_uni_subscription.links
                                                                                                                                                                  ))))));
        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 a 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_prov_uu_uni_subscription(v_prov_chg_uu_uni_subscription);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC030_SRV_V2X_009_BR

    /**
     * @desc Check that the IUT responds with an error when a request with incorrect parameters is sent by a MEC Application
     * @see https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC030/SRV/V2XInformationService.tplan2
     */
    testcase TC_MEC_MEC030_SRV_V2X_009_NF() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var ProvChgUuUniSubscription v_prov_chg_uu_uni_subscription;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_prov_uu_uni_subscription(v_prov_chg_uu_uni_subscription);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_put(
                                                        PICS_ROOT_API & PX_ME_V2X_URI & "/subscriptions/invalid_links",
                                                        v_headers,
                                                        m_http_message_body_json(
                                                                                 m_body_json_prov_chg_uu_uni_subscription(
                                                                                                                          m_prov_chg_uu_uni_subscription_invalid(
                                                                                                                                                                 PX_PROV_UU_UNI_SUB_CALLBACK,
                                                                                                                                                                 m_prov_chg_uu_uni_filter_criteria(
                                                                                                                                                                                                   m_location_info(
                                                                                                                                                                                                                   m_ecgi(
                                                                                                                                                                                                                          PX_CELL_ID,m_plmn(PX_MCC, PX_MNC)
                                                                                                                                                                                                                          ),
                                                                                                                                                                                                                   m_location_info_geo_area(
                                                                                                                                                                                                                                            43.72,
                                                                                                                                                                                                                                            10.41
                                                                                                                                                                                                                                            )),
                                                                                                                                                                                                   m_v2x_application_server(
                                                                                                                                                                                                                            oct2char(unichar2oct(PX_V2X_SERVER_IP_ADDRESS, "UTF-8")),
                                                                                                                                                                                                                            oct2char(unichar2oct(PX_V2X_SERVER_UDP_PORT, "UTF-8"))
                                                                                                                                                                                                                            )),
                                                                                                                                                                 v_prov_chg_uu_uni_subscription.links
                                                                                                                                                                 ))))));
        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 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_prov_uu_uni_subscription(v_prov_chg_uu_uni_subscription);
        f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC030_SRV_V2X_009_NF

    /**
     * @desc Check that the IUT responds with the request of removing subscription information when queried by a MEC Application
     * @see https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC030/SRV/V2XInformationService.tplan2
     */
    testcase TC_MEC_MEC030_SRV_V2X_010_OK_01() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var HttpMessage v_response;
        var ProvChgUuUniSubscription v_prov_chg_uu_uni_subscription;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_prov_uu_uni_subscription(v_prov_chg_uu_uni_subscription);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_delete(
                                                           PICS_ROOT_API & PX_ME_V2X_URI & "/subscriptions/" & v_prov_chg_uu_uni_subscription.links.self_,
                                                           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 removes subscription ***");
            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_MEC030_SRV_V2X_010_OK_01

    /**
     * @desc Check that the IUT responds with the request of removing subscription information when queried by a MEC Application
     * @see https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC030/SRV/V2XInformationService.tplan2
     */
    testcase TC_MEC_MEC030_SRV_V2X_010_OK_02() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var HttpMessage v_response;
        var ProvChgUuMbmsSubscription v_prov_chg_uu_mbms_subscription;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_prov_uu_mbms_subscription(v_prov_chg_uu_mbms_subscription);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_delete(
                                                           PICS_ROOT_API & PX_ME_V2X_URI & "/subscriptions/" & v_prov_chg_uu_mbms_subscription.links.self_,
                                                           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 removes subscription ***");
            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_MEC030_SRV_V2X_010_OK_02

    /**
     * @desc Check that the IUT responds with the request of removing subscription information when queried by a MEC Application
     * @see https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC030/SRV/V2XInformationService.tplan2
     */
    testcase TC_MEC_MEC030_SRV_V2X_010_OK_03() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var HttpMessage v_response;
        var ProvChgPc5Subscription v_prov_chg_pc5_subscription;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_prov_pc5_subscription(v_prov_chg_pc5_subscription);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_delete(
                                                           PICS_ROOT_API & PX_ME_V2X_URI & "/subscriptions/" & v_prov_chg_pc5_subscription.links.self_,
                                                           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 removes subscription ***");
            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_MEC030_SRV_V2X_010_OK_03

    /**
     * @desc Check that the IUT responds with the request of removing subscription information when queried by a MEC Application
     * @see https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC030/SRV/V2XInformationService.tplan2
     */
    testcase TC_MEC_MEC030_SRV_V2X_010_OK_04() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var HttpMessage v_response;
        var V2xMsgSubscription v_v2x_msg_subscription;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_v2x_msg_subscription(v_v2x_msg_subscription);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_delete(
                                                           PICS_ROOT_API & PX_ME_V2X_URI & "/subscriptions/" & v_v2x_msg_subscription.links.self_,
                                                           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 registers subscription ***");
            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_MEC030_SRV_V2X_010_OK_04

    /**
     * @desc Check that the IUT responds with an error when a request with incorrect parameters is sent by a MEC Application
     * @see https://forge.etsi.org/rep/mec/gs030-vis-api/blob/master/MEC030_V2XInformationService.yaml
     * @see https://forge.etsi.org/rep/mec/gs032p2-test-purposes/blob/v2.2.1-dev/Test%20Purposes/MEC030/SRV/V2XInformationService.tplan2
     */
    testcase TC_MEC_MEC030_SRV_V2X_010_NF() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var ProvChgUuUniSubscription v_prov_chg_uu_uni_subscription;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_V2X_INFORMATION_SERVICE_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_V2X_INFORMATION_SERVICE_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_delete(
                                                           PICS_ROOT_API & PX_ME_V2X_URI & "/subscriptions/invalid_links",
                                                           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 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_MEC030_SRV_V2X_010_NF

  } // End of group me_app_role

} // End of module AtsMec_V2XInformationServiceAPI_TestCases