module ItsPki_TestControl {
  
  // LibItsPki
  import from LibItsPki_Pics all;
  
  // AtsPki
  import from ItsPki_TestCases all;
  
  control {
    
    if (PICS_IUT_ITS_S_ROLE) {
      if (PICS_SECPKI_ENROLMENT) {
        execute(TC_SECPKI_ITSS_ENR_01_BV());
        execute(TC_SECPKI_ITSS_ENR_02_BV());
        if (PICS_SECPKI_REENROLMENT) {
          execute(TC_SECPKI_ITSS_ENR_03_BV());
          execute(TC_SECPKI_ITSS_ENR_06_BV());
          execute(TC_SECPKI_ITSS_ENR_12_BV());
        }
        if (PICS_SECPKI_CRL) {
          execute(TC_SECPKI_ITSS_ENR_04_BV())
          }
        execute(TC_SECPKI_ITSS_ENR_05_BV());
        execute(TC_SECPKI_ITSS_ENR_07_BV());
        execute(TC_SECPKI_ITSS_ENR_08_BV());
        execute(TC_SECPKI_ITSS_ENR_09_BV());
        execute(TC_SECPKI_ITSS_ENR_10_BV());
        execute(TC_SECPKI_ITSS_ENR_11_BV());
        
        execute(TC_SECPKI_ITSS_ENR_RECV_01_BV());
        execute(TC_SECPKI_ITSS_ENR_RECV_02_BV());
      }

      if (PICS_SECPKI_AUTHORIZATION) {
        // TODO
      }
    }
    
    if (PICS_IUT_EA_ROLE) {
      execute(TC_SECPKI_EA_ENR_RCV_01_BV());
      execute(TC_SECPKI_EA_ENR_RCV_02_BI_01());
      execute(TC_SECPKI_EA_ENR_RCV_02_BI_02());
      execute(TC_SECPKI_EA_ENR_RCV_05_BI());
      execute(TC_SECPKI_EA_ENR_RCV_06_BI());
      execute(TC_SECPKI_EA_ENR_RCV_07_BI());
      execute(TC_SECPKI_EA_ENR_RCV_08_BI());
      execute(TC_SECPKI_EA_ENR_RCV_09_BI());
      execute(TC_SECPKI_EA_ENR_RCV_10_BI());
      execute(TC_SECPKI_EA_ENR_RCV_11_BI());
      execute(TC_SECPKI_EA_ENR_RCV_12_BI());
      execute(TC_SECPKI_EA_ENR_RCV_13_BI());
      
      execute(TC_SECPKI_EA_ENR_01_BV());
      execute(TC_SECPKI_EA_ENR_02_BV());
      execute(TC_SECPKI_EA_ENR_03_BV());
      execute(TC_SECPKI_EA_ENR_04_BV());
      execute(TC_SECPKI_EA_ENR_05_BV());
      execute(TC_SECPKI_EA_ENR_06_BV());
      execute(TC_SECPKI_EA_ENR_07_BV());
      execute(TC_SECPKI_EA_ENR_08_BV());
      execute(TC_SECPKI_EA_ENR_09_BV());
      execute(TC_SECPKI_EA_ENR_10_BV());
      execute(TC_SECPKI_EA_ENR_11_BV());
      execute(TC_SECPKI_EA_ENR_12_BV());

      execute(TC_SECPKI_EA_AUTHVAL_RCV_01_BV());
      execute(TC_SECPKI_EA_AUTHVAL_RCV_02_BI());
    }

    if (PICS_IUT_AA_ROLE) {
      execute(TC_SECPKI_AA_AUTH_RCV_01_BV());
      if (PICS_PKI_AUTH_POP) {
        execute(TC_SECPKI_AA_AUTH_RCV_02_BV());
      }
      execute(TC_SECPKI_AA_AUTH_RCV_03_BI());
      execute(TC_SECPKI_AA_AUTH_RCV_04_BI());
      execute(TC_SECPKI_AA_AUTH_RCV_05_BI());
      execute(TC_SECPKI_AA_AUTH_RCV_06_BI());
      execute(TC_SECPKI_AA_AUTH_RCV_07_BI());
      execute(TC_SECPKI_AA_AUTH_RCV_08_BI());
      execute(TC_SECPKI_AA_AUTH_RCV_09_BI());
      execute(TC_SECPKI_AA_AUTH_RCV_10_BI());
      execute(TC_SECPKI_AA_AUTH_RCV_11_BI());
      execute(TC_SECPKI_AA_AUTH_RCV_12_BI());
      execute(TC_SECPKI_AA_AUTH_RCV_13_BI());
      execute(TC_SECPKI_AA_AUTH_RCV_14_BI());

      execute(TC_SECPKI_AA_AUTHVAL_01_BV());
    }

    if (PICS_IUT_CA_ROLE) {
     execute(TC_RCA_CTLGEN_01_BV());

     execute(TC_RCA_CRLGEN_02_BV());
    }

  } // End of 'control' statement

}  // End of module module ItsPki_TestControl