ItsPki_TestControl.ttcn 943 Bytes
Newer Older
module ItsPki_TestControl {
  
  // LibItsPki
  import from LibItsPki_Pics all;
  
  // AtsPki
  import from ItsPki_TestCases all;
  
  control {
    
    if (PICS_IUT_ITS_S_ROLE) {
      execute(TC_SEC_PKI_ITSS_ENR_BV_01());
    }
    
    if (PICS_IUT_EA_ROLE) {
      execute(TC_SEC_PKI_SND_EA_BV_01());
      execute(TC_SEC_PKI_SND_EA_BV_02());
      execute(TC_SEC_PKI_SND_EA_BV_03());
      execute(TC_SEC_PKI_SND_EA_BV_04());
      execute(TC_SEC_PKI_SND_EA_BV_05());
      execute(TC_SEC_PKI_SND_EA_BV_06());
      execute(TC_SEC_PKI_SND_EA_BV_07());
      execute(TC_SEC_PKI_SND_EA_BV_08());
      execute(TC_SEC_PKI_SND_EA_BV_09());
      execute(TC_SEC_PKI_SND_EA_BV_10());
   }
    
    if (PICS_IUT_AA_ROLE) {
      execute(TC_SEC_PKI_SND_AA_BV_01());
      execute(TC_SEC_PKI_SND_AA_BV_02());
      execute(TC_SEC_PKI_SND_AA_BV_03());
    }
    
  } // End of 'control' statement
  
}  // End of module module ItsPki_TestControl