Newer
Older
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
}
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_AUTHVAL_01_BV());
}
} // End of 'control' statement
} // End of module module ItsPki_TestControl