AtsMec_LocationAPI_TestCases.ttcn 257 KB
Newer Older
      // Test Body
      tc_ac.start;
      alt {
        [] httpPort.receive(
                            mw_http_response(
                                             mw_http_response_ok(
                                                                 mw_http_message_body_json(
                                                                                           mw_body_json_notification_subscription_list(
                                                                                                                                       mw_notification_subscription_list(
                                                                                                                                                                         -,
                                                                                                                                                                         {
                                                                                                                                                                            *, 
                                                                                                                                                                            mw_subscription(
                                                                                                                                                                                            "ZoneLocationEventSubscription.", 
                                                                                                                                                                                            v_zone_location_event_notification.links_.self_.href
                                                                                                                                                                                            ), 
                                                                                                                                                                            *
                                                                                                                                                                         }
                            )))))) {
          tc_ac.stop;
          
          log("*** " & testcasename() & ": PASS: IUT successfully responds with the correct ZoneSubscription ***");
          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_zone_location_event_subscription(v_subscription_id);
      f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC013_SRV_UEZONELOOK_003_OK_01
    
    /**
     * @desc Check that the IUT responds with the subscription when queried by a MEC Application - Zone status Event
     */
    testcase TC_MEC_MEC013_SRV_UEZONELOOK_003_OK_02() runs on HttpComponent system HttpTestAdapter {
      // Local variables
      var Headers v_headers;
      var ZoneStatusNotification v_zone_status_notification;
      var charstring v_subscription_id;
      
      // Test control
      if (not(PICS_MEC_PLAT) or not(PICS_SERVICES) or not(PICS_LOCATION_API_SUPPORTED)) {
          log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_SERVICES and PICS_LOCATION_API_SUPPORTED required for executing the TC ***");
          setverdict(inconc);
          stop;
      }
      
      // Test component configuration
      f_cf_01_http_up();
      
      // Test adapter configuration
      
      // Preamble
      f_create_zone_status_subscription(v_zone_status_notification, v_subscription_id);
      f_init_default_headers_list(-, -, v_headers);
      httpPort.send(
                    m_http_request(
                                    m_http_request_get(
                                                        PICS_ROOT_API & PX_LOC_API_ZONES_SUB_URI & "/" & v_subscription_id,
                                                        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_notification_subscription_list(
                                                                                                                                       mw_notification_subscription_list(
                                                                                                                                                                         -,
                                                                                                                                                                         {
                                                                                                                                                                            *, 
                                                                                                                                                                            mw_subscription(
                                                                                                                                                                                            "ZoneLocationEventSubscription.", 
                                                                                                                                                                                            v_zone_status_notification.links_.self_.href
                                                                                                                                                                                            ), 
                                                                                                                                                                            *
                                                                                                                                                                         }
                            )))))) {
          tc_ac.stop;
          
          log("*** " & testcasename() & ": PASS: IUT successfully responds with the correct ZoneSubscription ***");
          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_zone_status_subscription(v_subscription_id);
      f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC013_SRV_UEZONELOOK_003_OK_02
    
    /**
     * @desc Check that the IUT responds with an error when the non existing subscription is queried by a MEC Application
     */
    testcase TC_MEC_MEC013_SRV_UEZONELOOK_003_NF() runs on HttpComponent system HttpTestAdapter {
      // Local variables
      var Headers v_headers;
      
      // Test control
      if (not(PICS_MEC_PLAT) or not(PICS_SERVICES) or not(PICS_LOCATION_API_SUPPORTED)) {
          log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_SERVICES and PICS_LOCATION_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_LOC_API_ZONES_SUB_URI & "/" & PX_NON_EXISTENT_SUBSCRIPTION_ID,
                                                        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 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_MEC013_SRV_UEZONELOOK_003_NF
    
  } // End of group ueZoneLook
     * @desc Check that the IUT acknowledges the creation of UE zone subscription request when commanded by a MEC Application
YannGarcia's avatar
YannGarcia committed
     */
    testcase TC_MEC_MEC013_SRV_UEZONESUB_001_OK_01_01() runs on HttpComponent system HttpTestAdapter {
YannGarcia's avatar
YannGarcia committed
      // Local variables
      var Headers v_headers;
      var HttpMessage v_response;
      var charstring v_subscription_id;
      
YannGarcia's avatar
YannGarcia committed
      // Test control
      if (not(PICS_MEC_PLAT) or not(PICS_SERVICES) or not(PICS_LOCATION_API_SUPPORTED)) {
          log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_SERVICES and PICS_LOCATION_API_SUPPORTED required for executing the TC ***");
          setverdict(inconc);
          stop;
YannGarcia's avatar
YannGarcia committed
      }
YannGarcia's avatar
YannGarcia committed
      // Test component configuration
      f_cf_01_http_up();
YannGarcia's avatar
YannGarcia committed
      // Test adapter configuration
YannGarcia's avatar
YannGarcia committed
      // Preamble
      f_init_default_headers_list(-, -, v_headers);
      httpPort.send(
                    m_http_request(
                                    m_http_request_post(
                                                        PICS_ROOT_API & PX_LOC_API_ZONES_SUB_URI,
                                                        v_headers,
                                                        m_http_message_body_json(
                                                                                 m_body_json_zone_location_event_subscription(
                                                                                                                              m_zone_location_event_subscription(
                                                                                                                                                                PX_CALLBACK_REF_URL,
                                                                                                                                                                PX_CLIENT_ID,
                                                                                                                                                                PX_ZONE_ID
                    ))))));
YannGarcia's avatar
YannGarcia committed
      f_selfOrClientSyncAndVerdict(c_prDone, e_success);
YannGarcia's avatar
YannGarcia committed
      // Test Body
      tc_ac.start;
YannGarcia's avatar
YannGarcia committed
        [] httpPort.receive(
                            mw_http_response(
                                              mw_http_response_201_created(
YannGarcia's avatar
YannGarcia committed
                                                                          mw_http_message_body_json(
                                                                                                    mw_body_json_zone_location_event_notification(
                                                                                                                                                  mw_zone_location_event_notification(
                                                                                                                                                                                      // FIXME
                            )))))) -> value v_response {
YannGarcia's avatar
YannGarcia committed
          tc_ac.stop;
          
          // Check HTTP Location header
          if (f_check_headers(v_response.response.header) == false) {
            log("*** " & testcasename() & ": FAIL: IUT failed in Distance subscription  ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
          } else {
            var charstring_list v_header_location;
            f_get_header(v_response.response.header, "Location", v_header_location);
            v_subscription_id := regexp(
                                        v_header_location[0],
                                        "?+" & PX_LOC_API_ZONES_SUB_URI & "/(?*)",
                                        0
                                        );
            log("*** " & testcasename() & ": PASS: IUT successfully responds with a zoneLocationEventSubscription, SubscriptionId: ", v_subscription_id," ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
YannGarcia's avatar
YannGarcia committed
        }
        [] tc_ac.timeout {
          log("*** " & testcasename() & ": INCONC: Expected message not received ***");
          f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
        }
      } // End of 'alt' statement
YannGarcia's avatar
YannGarcia committed
      // Postamble
      f_delete_zone_location_event_subscription(v_subscription_id);
YannGarcia's avatar
YannGarcia committed
      f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC013_SRV_UEZONESUB_001_OK_01_01
     * @desc Check that the IUT acknowledges the creation of UE zone subscription request when commanded by a MEC Application
YannGarcia's avatar
YannGarcia committed
     */
    testcase TC_MEC_MEC013_SRV_UEZONESUB_001_OK_01_02() runs on HttpComponent system HttpTestAdapter {
YannGarcia's avatar
YannGarcia committed
      // Local variables
      var ZoneLocationEventNotification v_zone_location_event_notification;
      var charstring v_subscription_id;
      
YannGarcia's avatar
YannGarcia committed
      // Test control
      if (not(PICS_MEC_PLAT) or not(PICS_SERVICES) or not(PICS_LOCATION_API_SUPPORTED)) {
          log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_SERVICES and PICS_LOCATION_API_SUPPORTED required for executing the TC ***");
          setverdict(inconc);
          stop;
YannGarcia's avatar
YannGarcia committed
      }
YannGarcia's avatar
YannGarcia committed
      // Test component configuration
YannGarcia's avatar
YannGarcia committed
      // Test adapter configuration
YannGarcia's avatar
YannGarcia committed
      // Preamble
      f_create_zone_location_event_subscription(v_zone_location_event_notification, v_subscription_id);
YannGarcia's avatar
YannGarcia committed
      f_selfOrClientSyncAndVerdict(c_prDone, e_success);
YannGarcia's avatar
YannGarcia committed
      // Test Body
      tc_ac.start;
      alt {
        [] httpPort_notif.receive(
                                  mw_http_request(
                                                  mw_http_request_post(
                                                                        -, -,
                                                                        mw_http_message_body_json(
                                                                                                  mw_body_json_zone_location_event_notification(
                                                                                                                                                mw_zone_location_event_notification(
                                                                                                                                                                                    -,
                                                                                                                                                                                    v_zone_location_event_notification.links_
                            )))))) {
YannGarcia's avatar
YannGarcia committed
          tc_ac.stop;
          
          // Send response
          var Headers v_headers;
          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 responds with a zoneLocationEventNotification ***");
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
YannGarcia's avatar
YannGarcia committed
      // Postamble
      f_delete_zone_location_event_subscription(v_subscription_id);
      f_cf_01_http_notif_down();
    } // End of testcase TC_MEC_MEC013_SRV_UEZONESUB_001_OK_01_02
     * @desc Check that the IUT acknowledges the creation of UE zone subscription request when commanded by a MEC Application - OperationStatus constraint
YannGarcia's avatar
YannGarcia committed
     */
    testcase TC_MEC_MEC013_SRV_UEZONESUB_001_OK_02_01_01() runs on HttpComponent system HttpTestAdapter {
YannGarcia's avatar
YannGarcia committed
      // Local variables
      var Headers v_headers;
      var HttpMessage v_response;
      var charstring v_subscription_id;
      
YannGarcia's avatar
YannGarcia committed
      // Test control
      if (not(PICS_MEC_PLAT) or not(PICS_SERVICES) or not(PICS_LOCATION_API_SUPPORTED)) {
          log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_SERVICES and PICS_LOCATION_API_SUPPORTED required for executing the TC ***");
          setverdict(inconc);
          stop;
YannGarcia's avatar
YannGarcia committed
      }
YannGarcia's avatar
YannGarcia committed
      // Test component configuration
      f_cf_01_http_up();
YannGarcia's avatar
YannGarcia committed
      // Test adapter configuration
YannGarcia's avatar
YannGarcia committed
      // Preamble
      f_init_default_headers_list(-, -, v_headers);
      httpPort.send(
                    m_http_request(
                                    m_http_request_post(
                                                        PICS_ROOT_API & PX_LOC_API_ZONES_SUB_URI,
                                                        v_headers,
                                                        m_http_message_body_json(
                                                                                 m_body_json_zone_status_subscription(
                                                                                                                      m_zone_status_subscription(
                                                                                                                                                 PX_AREA_SUB_CALLBACK_URI,
                                                                                                                                                -,
                                                                                                                                                PX_ZONE_ID,
                                                                                                                                                -, -, -, -, -, -, -,
                                                                                                                                                Serviceable
                    ))))));
YannGarcia's avatar
YannGarcia committed
      f_selfOrClientSyncAndVerdict(c_prDone, e_success);
YannGarcia's avatar
YannGarcia committed
      // Test Body
      tc_ac.start;
      alt {
        [] httpPort.receive(
                            mw_http_response(
                                             mw_http_response_201_created(
                                                                          mw_http_message_body_json(
                                                                                                    mw_body_json_zone_status_notification(
                                                                                                                                          mw_zone_status_notification(
                                                                                                                                                                      -, -,
                                                                                                                                                                      Serviceable
                            )))))) -> value v_response {
YannGarcia's avatar
YannGarcia committed
          tc_ac.stop;
          
          // Check HTTP Location header
          if (f_check_headers(v_response.response.header) == false) {
            log("*** " & testcasename() & ": FAIL: IUT failed in Distance subscription  ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
          } else {
            var charstring_list v_header_location;
            f_get_header(v_response.response.header, "Location", v_header_location);
            v_subscription_id := regexp(
                                        v_header_location[0],
                                        "?+" & PX_LOC_API_ZONES_SUB_URI & "/(?*)",
                                        0
                                        );
            log("*** " & testcasename() & ": PASS: IUT successfully responds with a zoneLocationEventSubscription, SubscriptionId: ", v_subscription_id," ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
YannGarcia's avatar
YannGarcia committed
        }
        [] tc_ac.timeout {
          log("*** " & testcasename() & ": INCONC: Expected message not received ***");
          f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
        }
      } // End of 'alt' statement
YannGarcia's avatar
YannGarcia committed
      // Postamble
      f_delete_zone_status_subscription(v_subscription_id);
YannGarcia's avatar
YannGarcia committed
      f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC013_SRV_UEZONESUB_001_OK_02_01_01
    
YannGarcia's avatar
YannGarcia committed
    /**
     * @desc Check that the IUT acknowledges the creation of UE zone subscription request when commanded by a MEC Application - OperationStatus constraint
YannGarcia's avatar
YannGarcia committed
     */
    testcase TC_MEC_MEC013_SRV_UEZONESUB_001_OK_02_01_02() runs on HttpComponent system HttpTestAdapter {
YannGarcia's avatar
YannGarcia committed
      // Local variables
      var ZoneStatusNotification v_zone_status_notification;
      var charstring v_subscription_id;
      
YannGarcia's avatar
YannGarcia committed
      // Test control
      if (not(PICS_MEC_PLAT) or not(PICS_SERVICES) or not(PICS_LOCATION_API_SUPPORTED)) {
          log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_SERVICES and PICS_LOCATION_API_SUPPORTED required for executing the TC ***");
          setverdict(inconc);
          stop;
YannGarcia's avatar
YannGarcia committed
      }
YannGarcia's avatar
YannGarcia committed
      // Test component configuration
YannGarcia's avatar
YannGarcia committed
      // Test adapter configuration
YannGarcia's avatar
YannGarcia committed
      // Preamble
      f_create_zone_status_subscription(v_zone_status_notification, v_subscription_id);
YannGarcia's avatar
YannGarcia committed
      f_selfOrClientSyncAndVerdict(c_prDone, e_success);
YannGarcia's avatar
YannGarcia committed
      // Test Body
      tc_ac.start;
      alt {
        [] httpPort_notif.receive(
                                  mw_http_request(
                                                  mw_http_request_post(
                                                                        -, -,
                                                                        mw_http_message_body_json(
                                                                                                  mw_body_json_zone_status_notification(
                                                                                                                                        mw_zone_status_notification(
                                                                                                                                                                    v_zone_status_notification.links_
                            )))))) {
YannGarcia's avatar
YannGarcia committed
          tc_ac.stop;
          
          // Send response
          var Headers v_headers;
          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 responds with a zoneLocationEventNotification ***");
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
YannGarcia's avatar
YannGarcia committed
      // Postamble
      f_delete_zone_status_subscription(v_subscription_id);
      f_cf_01_http_notif_down();
    } // End of testcase TC_MEC_MEC013_SRV_UEZONESUB_001_OK_02_01_02
     * @desc Check that the IUT acknowledges the creation of UE zone subscription request when commanded by a MEC Application - UserNumEvent constraint
YannGarcia's avatar
YannGarcia committed
     */
    testcase TC_MEC_MEC013_SRV_UEZONESUB_001_OK_02_02_01() runs on HttpComponent system HttpTestAdapter {
YannGarcia's avatar
YannGarcia committed
      // Local variables
      var Headers v_headers;
      var HttpMessage v_response;
      var charstring v_subscription_id;
      
YannGarcia's avatar
YannGarcia committed
      // Test control
      if (not(PICS_MEC_PLAT) or not(PICS_SERVICES) or not(PICS_LOCATION_API_SUPPORTED)) {
          log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_SERVICES and PICS_LOCATION_API_SUPPORTED required for executing the TC ***");
          setverdict(inconc);
          stop;
YannGarcia's avatar
YannGarcia committed
      }
YannGarcia's avatar
YannGarcia committed
      // Test component configuration
      f_cf_01_http_up();
YannGarcia's avatar
YannGarcia committed
      // Test adapter configuration
YannGarcia's avatar
YannGarcia committed
      // Preamble
      f_init_default_headers_list(-, -, v_headers);
      httpPort.send(
                    m_http_request(
                                    m_http_request_post(
                                                        PICS_ROOT_API & PX_LOC_API_ZONES_SUB_URI,
                                                        v_headers,
                                                        m_http_message_body_json(
                                                                                 m_body_json_zone_status_subscription(
                                                                                                                      m_zone_status_subscription(
                                                                                                                                                 PX_AREA_SUB_CALLBACK_URI,
                                                                                                                                                 -,
                                                                                                                                                 PX_ZONE_ID,
                                                                                                                                                 -, -, -, 
                                                                                                                                                 PX_UPPER_NUM_USER_THRESHOLD,
                                                                                                                                                 PX_LOWER_NUM_USER_THRESHOLD
                    ))))));
YannGarcia's avatar
YannGarcia committed
      f_selfOrClientSyncAndVerdict(c_prDone, e_success);
YannGarcia's avatar
YannGarcia committed
      // Test Body
      tc_ac.start;
      alt {
        [] httpPort.receive(
                            mw_http_response(
                                             mw_http_response_201_created(
                                                                          mw_http_message_body_json(
                                                                                                    mw_body_json_zone_status_notification(
                                                                                                                                          mw_zone_status_notification(
                                                                                                                                                                      // FIXME
                            )))))) -> value v_response {
YannGarcia's avatar
YannGarcia committed
          tc_ac.stop;
          
          // Check HTTP Location header
          if (f_check_headers(v_response.response.header) == false) {
            log("*** " & testcasename() & ": FAIL: IUT failed in Distance subscription  ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_error);
          } else {
            var charstring_list v_header_location;
            f_get_header(v_response.response.header, "Location", v_header_location);
            v_subscription_id := regexp(
                                        v_header_location[0],
                                        "?+" & PX_LOC_API_ZONES_SUB_URI & "/(?*)",
                                        0
                                        );
            log("*** " & testcasename() & ": PASS: IUT successfully responds with a zoneLocationEventSubscription, SubscriptionId: ", v_subscription_id," ***");
            f_selfOrClientSyncAndVerdict(c_tbDone, e_success);
          }
YannGarcia's avatar
YannGarcia committed
        }
        [] tc_ac.timeout {
          log("*** " & testcasename() & ": INCONC: Expected message not received ***");
          f_selfOrClientSyncAndVerdict(c_tbDone, e_timeout);
        }
      } // End of 'alt' statement
YannGarcia's avatar
YannGarcia committed
      // Postamble
      f_delete_zone_status_subscription(v_subscription_id);
YannGarcia's avatar
YannGarcia committed
      f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC013_SRV_UEZONESUB_001_OK_02_02_01
    
YannGarcia's avatar
YannGarcia committed
    /**
     * @desc Check that the IUT acknowledges the creation of UE zone subscription request when commanded by a MEC Application - UserNumEvent constraint
YannGarcia's avatar
YannGarcia committed
     */
    testcase TC_MEC_MEC013_SRV_UEZONESUB_001_OK_02_02_02() runs on HttpComponent system HttpTestAdapter {
YannGarcia's avatar
YannGarcia committed
      // Local variables
      var ZoneStatusNotification v_zone_status_notification;
      var charstring v_subscription_id;
      
YannGarcia's avatar
YannGarcia committed
      // Test control
      if (not(PICS_MEC_PLAT) or not(PICS_SERVICES) or not(PICS_LOCATION_API_SUPPORTED)) {
          log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_SERVICES and PICS_LOCATION_API_SUPPORTED required for executing the TC ***");
          setverdict(inconc);
          stop;
YannGarcia's avatar
YannGarcia committed
      }
YannGarcia's avatar
YannGarcia committed
      // Test component configuration
YannGarcia's avatar
YannGarcia committed
      // Test adapter configuration
YannGarcia's avatar
YannGarcia committed
      // Preamble
      f_create_zone_status_subscription(v_zone_status_notification, v_subscription_id, omit, PX_UPPER_NUM_USER_THRESHOLD, PX_LOWER_NUM_USER_THRESHOLD);
YannGarcia's avatar
YannGarcia committed
      f_selfOrClientSyncAndVerdict(c_prDone, e_success);
YannGarcia's avatar
YannGarcia committed
      // Test Body
      tc_ac.start;
      alt {
        [] httpPort_notif.receive(
                                  mw_http_request(
                                                  mw_http_request_post(
                                                                       -, -,
                                                                       mw_http_message_body_json(
                                                                                                 mw_body_json_zone_status_notification(
                                                                                                                                       v_zone_status_notification
                                  ))))) {
YannGarcia's avatar
YannGarcia committed
          tc_ac.stop;
          
          log("*** " & testcasename() & ": PASS: IUT successfully responds with a zoneLocationEventNotification ***");
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
YannGarcia's avatar
YannGarcia committed
      // Postamble
      f_delete_zone_status_subscription(v_subscription_id);
YannGarcia's avatar
YannGarcia committed
      f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC013_SRV_UEZONESUB_001_OK_02_02_02
    
YannGarcia's avatar
YannGarcia committed
    /**
     * @desc Check that the IUT responds with an error when a request with incorrect parameters is sent by a MEC Application - Neither callbackReference nor websockNotifConfig provided
YannGarcia's avatar
YannGarcia committed
     */
    testcase TC_MEC_MEC013_SRV_UEZONESUB_001_BR() runs on HttpComponent system HttpTestAdapter {
YannGarcia's avatar
YannGarcia committed
      // Local variables
      var Headers v_headers;
YannGarcia's avatar
YannGarcia committed
      // Test control
      if (not(PICS_MEC_PLAT) or not(PICS_SERVICES) or not(PICS_LOCATION_API_SUPPORTED)) {
          log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_SERVICES and PICS_LOCATION_API_SUPPORTED required for executing the TC ***");
          setverdict(inconc);
          stop;
YannGarcia's avatar
YannGarcia committed
      }
YannGarcia's avatar
YannGarcia committed
      // Test component configuration
      f_cf_01_http_up();
YannGarcia's avatar
YannGarcia committed
      // Test adapter configuration
YannGarcia's avatar
YannGarcia committed
      // Preamble
      f_init_default_headers_list(-, -, v_headers);
      httpPort.send(
                    m_http_request(
                                   m_http_request_post(
                                                       PICS_ROOT_API & PX_LOC_API_ZONES_SUB_URI,
YannGarcia's avatar
YannGarcia committed
                                                       v_headers,
                                                       m_http_message_body_json(
                                                                                m_body_json_zone_location_event_subscription(
                                                                                                                             m_zone_location_event_subscription(
                                                                                                                                                                "",
                                                                                                                                                                PX_CLIENT_ID,
                                                                                                                                                                PX_ZONE_ID
                    ))))));
YannGarcia's avatar
YannGarcia committed
      f_selfOrClientSyncAndVerdict(c_prDone, e_success);
YannGarcia's avatar
YannGarcia committed
      // Test Body
      tc_ac.start;
      alt {
        [] httpPort.receive(
                            mw_http_response(
                                              mw_http_response_400_bad_request
                            )) {
YannGarcia's avatar
YannGarcia committed
          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
YannGarcia's avatar
YannGarcia committed
      // Postamble
      f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC013_SRV_UEZONESUB_001_BR
    
YannGarcia's avatar
YannGarcia committed
    /**
     * @desc Check that the IUT acknowledges the change of UE area subscription request when commanded by a MEC Application
YannGarcia's avatar
YannGarcia committed
     */
    testcase TC_MEC_MEC013_SRV_UEZONESUB_002_OK_01() runs on HttpComponent system HttpTestAdapter {
YannGarcia's avatar
YannGarcia committed
      // Local variables
      var Headers v_headers;
      var ZoneLocationEventNotification v_zone_location_event_notification;
      var charstring v_subscription_id;
      
YannGarcia's avatar
YannGarcia committed
      // Test control
      if (not(PICS_MEC_PLAT) or not(PICS_SERVICES) or not(PICS_LOCATION_API_SUPPORTED)) {
          log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_SERVICES and PICS_LOCATION_API_SUPPORTED required for executing the TC ***");
          setverdict(inconc);
          stop;
YannGarcia's avatar
YannGarcia committed
      }
YannGarcia's avatar
YannGarcia committed
      // Test component configuration
      f_cf_01_http_up();
YannGarcia's avatar
YannGarcia committed
      // Test adapter configuration
YannGarcia's avatar
YannGarcia committed
      // Preamble
      f_create_zone_location_event_subscription(v_zone_location_event_notification, v_subscription_id);
YannGarcia's avatar
YannGarcia committed
      f_init_default_headers_list(-, -, v_headers);
      httpPort.send(
                    m_http_request(
                                    m_http_request_put(
                                                       PICS_ROOT_API & PX_LOC_API_ZONES_SUB_URI & v_subscription_id,
YannGarcia's avatar
YannGarcia committed
                                                       v_headers,
                                                       m_http_message_body_json(
                                                                                m_body_json_zone_location_event_subscription(
                                                                                                                             m_zone_location_event_subscription(
                                                                                                                                                                PX_UE_NEW_SUB_CALLBACK_URI,
                                                                                                                                                                PX_CLIENT_ID,
                                                                                                                                                                PX_ZONE_ID
                    ))))));
YannGarcia's avatar
YannGarcia committed
      f_selfOrClientSyncAndVerdict(c_prDone, e_success);
YannGarcia's avatar
YannGarcia committed
      // Test Body
      tc_ac.start;
      alt {
        [] httpPort.receive(
                            mw_http_response(
                                              mw_http_response_ok(
                                                                  mw_http_message_body_json(
                                                                                            mw_body_json_zone_location_event_subscription(
                                                                                                                                          mw_zone_location_event_subscription(
                                                                                                                                                                              PX_UE_NEW_SUB_CALLBACK_URI,
                                                                                                                                                                              PX_CLIENT_ID,
                                                                                                                                                                              PX_ZONE_ID
                            )))))) {
YannGarcia's avatar
YannGarcia committed
          tc_ac.stop;
          
          log("*** " & testcasename() & ": PASS: IUT successfully updates the zoneLocationEventSubscription ***");
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
YannGarcia's avatar
YannGarcia committed
      // Postamble
      f_delete_zone_location_event_subscription(v_subscription_id);
YannGarcia's avatar
YannGarcia committed
      f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC013_SRV_UEZONESUB_002_OK_01
    
YannGarcia's avatar
YannGarcia committed
    /**
     * @desc Check that the IUT acknowledges the change of UE area subscription request when commanded by a MEC Application
YannGarcia's avatar
YannGarcia committed
     */
    testcase TC_MEC_MEC013_SRV_UEZONESUB_002_OK_02() runs on HttpComponent system HttpTestAdapter {
YannGarcia's avatar
YannGarcia committed
      // Local variables
      var Headers v_headers;
      var ZoneStatusNotification v_zone_status_notification;
      var charstring v_subscription_id;
      
YannGarcia's avatar
YannGarcia committed
      // Test control
      if (not(PICS_MEC_PLAT) or not(PICS_SERVICES) or not(PICS_LOCATION_API_SUPPORTED)) {
          log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_SERVICES and PICS_LOCATION_API_SUPPORTED required for executing the TC ***");
          setverdict(inconc);
          stop;
YannGarcia's avatar
YannGarcia committed
      }
YannGarcia's avatar
YannGarcia committed
      // Test component configuration
      f_cf_01_http_up();
YannGarcia's avatar
YannGarcia committed
      // Test adapter configuration
YannGarcia's avatar
YannGarcia committed
      // Preamble
      f_create_zone_status_subscription(v_zone_status_notification, v_subscription_id);
YannGarcia's avatar
YannGarcia committed
      f_init_default_headers_list(-, -, v_headers);
      httpPort.send(
                    m_http_request(
                                    m_http_request_post(
                                                        PICS_ROOT_API & PX_LOC_API_ZONES_SUB_URI & v_subscription_id,
                                                        v_headers,
                                                        m_http_message_body_json(
                                                                                 m_body_json_zone_status_subscription(
                                                                                                                      m_zone_status_subscription(
                                                                                                                                                 PX_UE_NEW_SUB_CALLBACK_URI,
                                                                                                                                                 -,
                                                                                                                                                 PX_ZONE_ID
                    ))))));
YannGarcia's avatar
YannGarcia committed
      f_selfOrClientSyncAndVerdict(c_prDone, e_success);
YannGarcia's avatar
YannGarcia committed
      // Test Body
      tc_ac.start;
      alt {
        [] httpPort.receive(
                            mw_http_response(
                                             mw_http_response_ok(
                                                                 mw_http_message_body_json(
                                                                                           mw_body_json_zone_status_subscription(
                                                                                                                                 mw_zone_status_subscription(
                                                                                                                                                             PX_UE_NEW_SUB_CALLBACK_URI,
                                                                                                                                                             -,
                                                                                                                                                             PX_ZONE_ID
                            )))))) {
YannGarcia's avatar
YannGarcia committed
          tc_ac.stop;
          
          log("*** " & testcasename() & ": PASS: IUT successfully updates with a zoneStatusSubscription ***");
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
YannGarcia's avatar
YannGarcia committed
      // Postamble
      f_delete_zone_status_subscription(v_subscription_id);
YannGarcia's avatar
YannGarcia committed
      f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC013_SRV_UEZONESUB_002_OK_02
    
YannGarcia's avatar
YannGarcia committed
    /**
     * @desc Check that the IUT responds with an error when a request for an URI that cannot be mapped to a valid resource URI is sent by a MEC Application
     */
    testcase TC_MEC_MEC013_SRV_UEZONESUB_002_NF() runs on HttpComponent system HttpTestAdapter {
YannGarcia's avatar
YannGarcia committed
      // Local variables
      var Headers v_headers;
YannGarcia's avatar
YannGarcia committed
      // Test control
      if (not(PICS_MEC_PLAT) or not(PICS_SERVICES) or not(PICS_LOCATION_API_SUPPORTED)) {
          log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_SERVICES and PICS_LOCATION_API_SUPPORTED required for executing the TC ***");
          setverdict(inconc);
          stop;
YannGarcia's avatar
YannGarcia committed
      }
YannGarcia's avatar
YannGarcia committed
      // Test component configuration
      f_cf_01_http_up();
YannGarcia's avatar
YannGarcia committed
      // Test adapter configuration
YannGarcia's avatar
YannGarcia committed
      // Preamble
      f_init_default_headers_list(-, -, v_headers);
      httpPort.send(
                    m_http_request(
                                    m_http_request_put(
                                                       PICS_ROOT_API & PX_LOC_API_ZONES_SUB_URI & PX_NON_EXISTENT_SUBSCRIPTION_ID,
                                                       v_headers,
                                                       m_http_message_body_json(
                                                                                m_body_json_zone_location_event_subscription(
                                                                                                                             m_zone_location_event_subscription(
                                                                                                                                                                PX_UE_NEW_SUB_CALLBACK_URI,
                                                                                                                                                                PX_CLIENT_ID,
                                                                                                                                                                PX_ZONE_ID
                    ))))));
YannGarcia's avatar
YannGarcia committed
      f_selfOrClientSyncAndVerdict(c_prDone, e_success);
YannGarcia's avatar
YannGarcia committed
      // Test Body
      tc_ac.start;
      alt {
        [] httpPort.receive(
                            mw_http_response(
                                              mw_http_response_404_not_found
                            )) {
YannGarcia's avatar
YannGarcia committed
          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
YannGarcia's avatar
YannGarcia committed
      // Postamble
      f_cf_01_http_down();
    } // End of testcase TC_MEC_MEC013_SRV_UEZONESUB_002_NF
    /**
     * @desc Check that the IUT acknowledges the cancellation of UE area change notifications when commanded by a MEC Application
     */
    testcase TC_MEC_MEC013_SRV_UEZONESUB_003_OK() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        var ZoneLocationEventNotification v_zone_location_event_notification;
        var charstring v_subscription_id;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_SERVICES) or not(PICS_LOCATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_SERVICES and PICS_LOCATION_API_SUPPORTED required for executing the TC ***");
            setverdict(inconc);
            stop;
        }
        
        // Test component configuration
        f_cf_01_http_up();
        
        // Test adapter configuration
        
        // Preamble
        f_create_zone_location_event_subscription(v_zone_location_event_notification, v_subscription_id);
        f_init_default_headers_list(-, -, v_headers);
        httpPort.send(
                      m_http_request(
                                     m_http_request_delete(
                                                           PICS_ROOT_API & PX_LOC_API_ZONES_SUB_URI & "/" & v_subscription_id,
                                                           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 204 No Content ***");
            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_MEC013_SRV_UEZONESUB_003_OK
    
    /**
     * @desc Check that the IUT acknowledges the cancellation of UE information change notifications  when commanded by a MEC Application
     */
    testcase TC_MEC_MEC013_SRV_UEZONESUB_003_NF() runs on HttpComponent system HttpTestAdapter {
        // Local variables
        var Headers v_headers;
        
        // Test control
        if (not(PICS_MEC_PLAT) or not(PICS_SERVICES) or not(PICS_LOCATION_API_SUPPORTED)) {
            log("*** " & testcasename() & ": PICS_MEC_PLAT and PICS_SERVICES and PICS_LOCATION_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_LOC_API_ZONES_SUB_URI & "/" & PX_NON_EXISTENT_SUBSCRIPTION_ID,
                                                           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 404 Not Found ***");
            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_MEC013_SRV_UEZONESUB_003_NF
    
  } // End of group ueZoneSub
  
Yann Garcia's avatar
Yann Garcia committed
} // End of module AtsMec_LocationAPI_TestCases