AtsMec_IoTAPI_TestControl.ttcn

module AtsMec_IoTAPI_TestControl {
  
  // LibMec/IoTAPI
  import from IoTAPI_Pics all;
  
  // LibMec
  import from LibMec_Pics all;
  
  // AtsMec_IoTAPI
  import from AtsMec_IoTAPI_TestCases all;
  
  control {

    if (PICS_IOT_API_SUPPORTED) {

      if (PICS_MEC_PLAT and PICS_SERVICES) {
        execute(TC_MEC_MEC033_IOTS_IOTDEV_001_OK_01());
        execute(TC_MEC_MEC033_IOTS_IOTDEV_001_OK_02());
        execute(TC_MEC_MEC033_IOTS_IOTDEV_001_OK_03());
        execute(TC_MEC_MEC033_IOTS_IOTDEV_001_OK_04());

        execute(TC_MEC_MEC033_IOTS_IOTDEV_002_OK());
        execute(TC_MEC_MEC033_IOTS_IOTDEV_002_BR());
       
        execute(TC_MEC_MEC033_IOTS_IOTDEV_003_OK());
        execute(TC_MEC_MEC033_IOTS_IOTDEV_003_NF());
       
        execute(TC_MEC_MEC033_IOTS_IOTDEV_004_OK());
        execute(TC_MEC_MEC033_IOTS_IOTDEV_004_NF());
        execute(TC_MEC_MEC033_IOTS_IOTDEV_004_BR());
       
        execute(TC_MEC_MEC033_IOTS_IOTDEV_005_OK());
        execute(TC_MEC_MEC033_IOTS_IOTDEV_005_NF());
      }
    }

  } // End of 'control' statement

} // End of module AtsMec_IoTAPI_TestControl