Commit 15517809 authored by Yann Garcia's avatar Yann Garcia
Browse files

Review typing for MEC 010-2 V3.1.1; Rebuild all test suites before starting...

Review typing for MEC 010-2 V3.1.1; Rebuild all test suites before starting reviewing and implementations
parent 1cfe472e
Loading
Loading
Loading
Loading
+0 −104
Original line number Diff line number Diff line
module AtsMec_TestControl {
  
  // LibMec/LocationAPI
  import from LocationAPI_Pics all;
  // LibMec/UEidentityAPI
  import from UEidentityAPI_Pics all;
  // LibMec/RnisAPI
  import from RnisAPI_Pics all;
  // LibMec/TrafficManagementAPI
  import from TrafficManagementAPI_Pics all;
  // LibMec/AppEnablementAPI
  import from EdgePlatformApplicationEnablementAPI_Pics all;
  // LibMec/UEAppInterfaceAPI
  import from UEAppInterfaceAPI_Pics all;
  
  // LibMec
  import from LibMec_Pics all;
  
  // AtsMec
  import from AtsMec_UEidentityAPI_TestCases all;
//  import from AtsMec_RadioNodeLocationAPI_TestCases all;
  import from AtsMec_RnisAPI_TestCases all;
  import from AtsMec_TrafficManagementAPI_TestCases all;
  import from AtsMec_EdgePlatformApplicationEnablementAPI_TestCases all;
  import from AtsMec_UEAppInterfaceAPI_TestCases all;
  
  control {
    
    if (PICS_MEC_PLAT and PICS_SERVICES) {
      if (PICS_UE_IDENTITY_API_SUPPORTED) {
        execute(TC_MEC_MEC014_SRV_UETAG_001_OK());
        execute(TC_MEC_MEC014_SRV_UETAG_001_BR());
        execute(TC_MEC_MEC014_SRV_UETAG_001_NF());
        execute(TC_MEC_MEC014_SRV_UETAG_002_OK());
        execute(TC_MEC_MEC014_SRV_UETAG_002_BR());
        execute(TC_MEC_MEC014_SRV_UETAG_002_PF());
      }
      if (PICS_LOCATION_API_SUPPORTED) {

        
//        execute(TC_MEC_PLAT_RLOC_001_OK());
//        execute(TC_MEC_PLAT_RLOC_001_NF());
      }
      
      if (PICS_APP_ENABLEMENT_API_SUPPORTED) {
        /*execute(TC_MEC_SRV_TRANS_001_OK());
        execute(TC_MEC_SRV_TRAF_001_OK());
        execute(TC_MEC_SRV_TRAF_002_OK());
        execute(TC_MEC_SRV_TRAF_003_OK());
        execute(TC_MEC_SRV_TRAF_001_NF());*/
      }
      
      if (PICS_ENABLE_UE_APP_CTX) {
        execute(TC_MEC_MEC016_MEO_UEAPPCTX_001_OK());
        execute(TC_MEC_MEC016_MEO_UEAPPCTX_001_BR());
        execute(TC_MEC_MEC016_MEO_UEAPPCTX_002_OK());
        execute(TC_MEC_MEC016_MEO_UEAPPCTX_002_BR());
        execute(TC_MEC_MEC016_MEO_UEAPPCTX_002_NF());
        execute(TC_MEC_MEC016_MEO_UEAPPCTX_003_OK());
        execute(TC_MEC_MEC016_MEO_UEAPPCTX_003_NF());
        execute(TC_MEC_MEC016_MEO_UEAPPS_001_OK());
        execute(TC_MEC_MEC016_MEO_UEAPPS_001_BR());
        execute(TC_MEC_MEC016_MEO_UEAPPS_001_NF());
      }
    }

    /*if (PICS_RNIS) {
      if (PICS_RNIS_NOTIFICATIONS) {
        execute(TC_MEC_MEC012_SRV_RNIS_001_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_002_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_003_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_004_OK());
      }
      if (PICS_RNIS_ALL_SUBSCRIPTIONS) {
        execute(TC_MEC_MEC012_SRV_RNIS_011_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_012_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_011_BR());
        execute(TC_MEC_MEC012_SRV_RNIS_012_BR());
      }
      if (PICS_RNIS_QUERY) {
        execute(TC_MEC_MEC012_SRV_RNIS_016_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_016_BR());
        execute(TC_MEC_MEC012_SRV_RNIS_016_NF());
        execute(TC_MEC_MEC012_SRV_RNIS_017_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_017_BR());
        execute(TC_MEC_MEC012_SRV_RNIS_017_NF());
        execute(TC_MEC_MEC012_SRV_RNIS_018_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_018_BR());
        execute(TC_MEC_MEC012_SRV_RNIS_018_NF());
        execute(TC_MEC_MEC012_SRV_RNIS_019_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_019_BR());
        execute(TC_MEC_MEC012_SRV_RNIS_019_NF());
      }
      }*/

    if (PICS_MEC_PLAT and PICS_BWMANAGEMENT_API_SUPPORTED) {
      execute(TC_MEC_MEC015_SRV_TM_001_OK());
      execute(TC_MEC_MEC015_SRV_TM_002_OK());
      execute(TC_MEC_MEC015_SRV_TM_002_BR());
      execute(TC_MEC_MEC015_SRV_TM_002_NF());
    }
  } // End of 'control' statement

} // End of module AtsMec_TestControl 
+0 −641

File deleted.

Preview size limit exceeded, changes collapsed.

+0 −103
Original line number Diff line number Diff line
module AtsMec_TestControl {
  
  // LibMec/LocationAPI
  import from LocationAPI_Pics all;
  // LibMec/UEidentityAPI
  import from UEidentityAPI_Pics all;
  // LibMec/RnisAPI
  import from RnisAPI_Pics all;
  // LibMec/TrafficManagementAPI
  import from TrafficManagementAPI_Pics all;
  // LibMec/AppEnablementAPI
  import from EdgePlatformApplicationEnablementAPI_Pics all;
  // LibMec/UEAppInterfaceAPI
  import from UEAppInterfaceAPI_Pics all;
  
  // LibMec
  import from LibMec_Pics all;
  
  // AtsMec
  import from AtsMec_UEidentityAPI_TestCases all;
//  import from AtsMec_RadioNodeLocationAPI_TestCases all;
  import from AtsMec_RnisAPI_TestCases all;
  import from AtsMec_TrafficManagementAPI_TestCases all;
  import from AtsMec_EdgePlatformApplicationEnablementAPI_TestCases all;
  import from AtsMec_UEAppInterfaceAPI_TestCases all;
  
  control {
    
    if (PICS_MEC_PLAT and PICS_SERVICES) {
      if (PICS_UE_IDENTITY_API_SUPPORTED) {
        execute(TC_MEC_MEC014_SRV_UETAG_001_OK());
        execute(TC_MEC_MEC014_SRV_UETAG_001_BR());
        execute(TC_MEC_MEC014_SRV_UETAG_001_NF());
        execute(TC_MEC_MEC014_SRV_UETAG_002_OK());
        execute(TC_MEC_MEC014_SRV_UETAG_002_BR());
        execute(TC_MEC_MEC014_SRV_UETAG_002_PF());
      }
      if (PICS_LOCATION_API_SUPPORTED) {
        
//        execute(TC_MEC_PLAT_RLOC_001_OK());
//        execute(TC_MEC_PLAT_RLOC_001_NF());
      }
      
      if (PICS_APP_ENABLEMENT_API_SUPPORTED) {
        /*execute(TC_MEC_SRV_TRANS_001_OK());
        execute(TC_MEC_SRV_TRAF_001_OK());
        execute(TC_MEC_SRV_TRAF_002_OK());
        execute(TC_MEC_SRV_TRAF_003_OK());
        execute(TC_MEC_SRV_TRAF_001_NF());*/
      }
      
      if (PICS_ENABLE_UE_APP_CTX) {
        execute(TC_MEC_MEC016_MEO_UEAPPCTX_001_OK());
        execute(TC_MEC_MEC016_MEO_UEAPPCTX_001_BR());
        execute(TC_MEC_MEC016_MEO_UEAPPCTX_002_OK());
        execute(TC_MEC_MEC016_MEO_UEAPPCTX_002_BR());
        execute(TC_MEC_MEC016_MEO_UEAPPCTX_002_NF());
        execute(TC_MEC_MEC016_MEO_UEAPPCTX_003_OK());
        execute(TC_MEC_MEC016_MEO_UEAPPCTX_003_NF());
        execute(TC_MEC_MEC016_MEO_UEAPPS_001_OK());
        execute(TC_MEC_MEC016_MEO_UEAPPS_001_BR());
        execute(TC_MEC_MEC016_MEO_UEAPPS_001_NF());
      }
    }

    /*if (PICS_RNIS) {
      if (PICS_RNIS_NOTIFICATIONS) {
        execute(TC_MEC_MEC012_SRV_RNIS_001_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_002_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_003_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_004_OK());
      }
      if (PICS_RNIS_ALL_SUBSCRIPTIONS) {
        execute(TC_MEC_MEC012_SRV_RNIS_011_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_012_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_011_BR());
        execute(TC_MEC_MEC012_SRV_RNIS_012_BR());
      }
      if (PICS_RNIS_QUERY) {
        execute(TC_MEC_MEC012_SRV_RNIS_016_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_016_BR());
        execute(TC_MEC_MEC012_SRV_RNIS_016_NF());
        execute(TC_MEC_MEC012_SRV_RNIS_017_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_017_BR());
        execute(TC_MEC_MEC012_SRV_RNIS_017_NF());
        execute(TC_MEC_MEC012_SRV_RNIS_018_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_018_BR());
        execute(TC_MEC_MEC012_SRV_RNIS_018_NF());
        execute(TC_MEC_MEC012_SRV_RNIS_019_OK());
        execute(TC_MEC_MEC012_SRV_RNIS_019_BR());
        execute(TC_MEC_MEC012_SRV_RNIS_019_NF());
      }
      }*/

    if (PICS_MEC_PLAT and PICS_BWMANAGEMENT_API_SUPPORTED) {
      execute(TC_MEC_MEC015_SRV_TM_001_OK());
      execute(TC_MEC_MEC015_SRV_TM_002_OK());
      execute(TC_MEC_MEC015_SRV_TM_002_BR());
      execute(TC_MEC_MEC015_SRV_TM_002_NF());
    }
  } // End of 'control' statement

} // End of module AtsMec_TestControl 
+23 −11
Original line number Diff line number Diff line
@@ -131,7 +131,7 @@ module AtsMec_ApplicationPackageLifecycleAndOperationGrantingAPI_TestCases {
                                                                                                                          PX_APP_INSTANCE_ID,
                                                                                                                          PX_APP_LCM_OP_OCC_ID,
                                                                                                                          PX_APP_ID,
                                                                                                                          INVALID_OPERATE,
                                                                                                                          -,
                                                                                                                          m_grant_request_link(
                                                                                                                                               m_link_type(""), // TODO
                                                                                                                                               m_link_type("")  // TODO
@@ -1136,7 +1136,7 @@ module AtsMec_ApplicationPackageLifecycleAndOperationGrantingAPI_TestCases {
                                                       m_http_message_body_json(
                                                                                m_body_json_app_pkg_info_modification(
                                                                                                                      m_app_pkg_info_modification(
                                                                                                                                                  UNKNOWN
                                                                                                                                                  DISABLED
                            ))))));

      f_selfOrClientSyncAndVerdict(c_prDone, e_success);
@@ -2794,9 +2794,13 @@ module AtsMec_ApplicationPackageLifecycleAndOperationGrantingAPI_TestCases {
                                                       m_http_message_body_json(
                                                                                m_body_json_config_platform_for_app_request(
                                                                                                                            m_config_platform_for_app_request(
                                                                                                                                                              {
                                                                                                                                                                m_service_dependency(
                                                                                                                                                                                   "", "" // TODO Add PIXITs
                    )))))));
                                                                                                                                                                                     "", 
                                                                                                                                                                                     "" // TODO Add PIXITs
                                                                                                                                                                                     )
                                                                                                                                                              }
                    ))))));
      f_selfOrClientSyncAndVerdict(c_prDone, e_success);

      // Test Body
@@ -2847,9 +2851,13 @@ module AtsMec_ApplicationPackageLifecycleAndOperationGrantingAPI_TestCases {
                                                       m_http_message_body_json(
                                                                                m_body_json_config_platform_for_app_request(
                                                                                                                            m_config_platform_for_app_request(
                                                                                                                                                              {
                                                                                                                                                                m_service_dependency(
                                                                                                                                                                                   "", "" // TODO Add PIXITs
                    )))))));
                                                                                                                                                                                     "", 
                                                                                                                                                                                     "" // TODO Add PIXITs
                                                                                                                                                                                     )
                                                                                                                                                              }
                    ))))));
      f_selfOrClientSyncAndVerdict(c_prDone, e_success);

      // Test Body
@@ -2900,9 +2908,13 @@ module AtsMec_ApplicationPackageLifecycleAndOperationGrantingAPI_TestCases {
                                                       m_http_message_body_json(
                                                                                m_body_json_config_platform_for_app_request(
                                                                                                                            m_config_platform_for_app_request(
                                                                                                                                                              {
                                                                                                                                                                m_service_dependency(
                                                                                                                                                                                   "", "" // TODO Add PIXITs
                    )))))));
                                                                                                                                                                                     "", 
                                                                                                                                                                                     "" // TODO Add PIXITs
                                                                                                                                                                                     )
                                                                                                                                                              }
                    ))))));
      f_selfOrClientSyncAndVerdict(c_prDone, e_success);

      // Test Body
+18 −0
Original line number Diff line number Diff line
module AtsMec_ApplicationPackageLifecycleAndOperationGrantingAPI_TestControl {
  
  // LibMec/ApplicationPackageLifecycleAndOperationGrantingAPI
  import from ApplicationPackageLifecycleAndOperationGrantingAPI_Pics all;

  // LibMec
  import from LibMec_Pics all;
  
  // AtsMec
  import from AtsMec_ApplicationPackageLifecycleAndOperationGrantingAPI_TestCases all;
  
  control {
    
    if (PICS_MEC_PLAT and PICS_SERVICES) {
    }
  } // End of 'control' statement

} // End of module AtsMec_TestControl 
Loading