AtsMec_V2XInformationServiceAPI_TestControl.ttcn 2.59 KB
Newer Older
module AtsMec_V2XInformationServiceAPI_TestControl {

  // LibMec/LocationAPI
  import from V2XInformationServiceAPI_Pics all;

  // LibMec
  import from LibMec_Pics all;

  // AtsMec
  import from AtsMec_V2XInformationServiceAPI_TestCases all;

  control {

    if (PICS_MEC_PLAT and PICS_SERVICES) {
      execute(TC_MEC_MEC030_SRV_V2X_001_OK_01());
      execute(TC_MEC_MEC030_SRV_V2X_001_OK_02());
      execute(TC_MEC_MEC030_SRV_V2X_001_BR());
      execute(TC_MEC_MEC030_SRV_V2X_001_NF());

      execute(TC_MEC_MEC030_SRV_V2X_002_OK_01());
      execute(TC_MEC_MEC030_SRV_V2X_002_OK_02());
      execute(TC_MEC_MEC030_SRV_V2X_002_BR());
      execute(TC_MEC_MEC030_SRV_V2X_002_NF());

      execute(TC_MEC_MEC030_SRV_V2X_003_OK_01());
      execute(TC_MEC_MEC030_SRV_V2X_003_OK_02());
      execute(TC_MEC_MEC030_SRV_V2X_003_BR());
      execute(TC_MEC_MEC030_SRV_V2X_003_NF());

      execute(TC_MEC_MEC030_SRV_V2X_004_OK());
      execute(TC_MEC_MEC030_SRV_V2X_004_BR());
      execute(TC_MEC_MEC030_SRV_V2X_004_NF());

      execute(TC_MEC_MEC030_SRV_V2X_005_OK());
      execute(TC_MEC_MEC030_SRV_V2X_005_BR());
      execute(TC_MEC_MEC030_SRV_V2X_005_NF());

      execute(TC_MEC_MEC030_SRV_V2X_006_OK());
      execute(TC_MEC_MEC030_SRV_V2X_006_BR());

      execute(TC_MEC_MEC030_SRV_V2X_007_OK_01());
      execute(TC_MEC_MEC030_SRV_V2X_007_OK_02());
      execute(TC_MEC_MEC030_SRV_V2X_007_OK_03());
      execute(TC_MEC_MEC030_SRV_V2X_007_OK_04());
      execute(TC_MEC_MEC030_SRV_V2X_007_OK_05());
      execute(TC_MEC_MEC030_SRV_V2X_007_BR());

      execute(TC_MEC_MEC030_SRV_V2X_008_OK_01());
      execute(TC_MEC_MEC030_SRV_V2X_008_OK_02());
      execute(TC_MEC_MEC030_SRV_V2X_008_OK_03());
      execute(TC_MEC_MEC030_SRV_V2X_008_OK_04());
      execute(TC_MEC_MEC030_SRV_V2X_008_OK_05());
      execute(TC_MEC_MEC030_SRV_V2X_008_BR());

      execute(TC_MEC_MEC030_SRV_V2X_009_OK_01());
      execute(TC_MEC_MEC030_SRV_V2X_009_OK_02());
      execute(TC_MEC_MEC030_SRV_V2X_009_OK_03());
      execute(TC_MEC_MEC030_SRV_V2X_009_OK_04());
      execute(TC_MEC_MEC030_SRV_V2X_009_OK_05());
      execute(TC_MEC_MEC030_SRV_V2X_009_BR());
      execute(TC_MEC_MEC030_SRV_V2X_009_NF());

      execute(TC_MEC_MEC030_SRV_V2X_010_OK_01());
      execute(TC_MEC_MEC030_SRV_V2X_010_OK_02());
      execute(TC_MEC_MEC030_SRV_V2X_010_OK_03());
      execute(TC_MEC_MEC030_SRV_V2X_010_OK_04());
      execute(TC_MEC_MEC030_SRV_V2X_010_OK_05());
      execute(TC_MEC_MEC030_SRV_V2X_010_BR());
      execute(TC_MEC_MEC030_SRV_V2X_010_NF());
    }
  } // End of 'control' statement

} // End of module AtsMec_V2XInformationServiceAPI_TestControl